Toutes les news taguées avec ce sujet.
Le mathématicien Terence Tao alerte sur le risque de voir les problèmes ouverts en maths épuisés par des IA sans réel apport conceptuel.
OpenAI publie une solution générée par IA à l'un des sept problèmes du millénaire, avec preuve formelle en Lean.
Un projet open source combine plusieurs moteurs de calcul avec vérification des résultats, exposé via un serveur MCP.
Dans une interview vidéo, le mathématicien Terence Tao détaille son usage concret des outils d'IA dans sa pratique de recherche.
Un article de synthèse examine comment l'IA transforme la recherche mathématique, entre outils de démonstration et nouveaux usages.
Google DeepMind combine optimisation ML et AlphaEvolve pour affiner la borne théorique de la multiplication de matrices, un problème vieux de plusieurs décennies.
Un essai avance que les performances des LLM en mathématiques reflètent surtout une capacité de récupération massive plutôt qu'un véritable raisonnement original.
Une ressource pédagogique visuelle pour comprendre le fonctionnement des réseaux de neurones par des calculs manuels.
Le mathématicien Timothy Gowers explore les forces et limites des LLM face à différents types de raisonnement mathématique.
Une étude de cas détaille comment un système de recherche IA a permis d'améliorer les bornes connues de la constante de Grothendieck.
Une étude analyse les compromis entre mode « réflexion » et mode concis lors de l'entraînement conjoint de LLM sur des problèmes mathématiques.
Un modèle Claude d'Anthropic aurait permis d'améliorer une borne mathématique associée à l'hypothèse de Riemann, selon un message publié sur X.
Un nouveau rapport de recherche examine comment Claude aborde des problèmes mathématiques complexes, avec un focus sur la fonction zêta de Riemann.
Des modèles d'IA aident désormais à résoudre des conjectures mathématiques restées ouvertes depuis des décennies, posées par le légendaire Paul Erdős.