Toutes les news taguées avec ce sujet.
Un fil de discussion questionne la fiabilité et la portée réelle des performances mathématiques attribuées à des modèles d'IA récents.
L'entreprise présente de nouveaux résultats sur des problèmes ouverts de longue date, en géométrie, cryptographie et théorie de la complexité.
Le mathématicien Terence Tao présente sa vision de l'impact de l'IA sur la recherche mathématique lors d'une conférence à l'ICM 2026.
Le mathématicien utilise l'IA pour tester un contre-exemple potentiel à une conjecture célèbre.
Un modèle Claude aurait généré un contre-exemple à un problème mathématique ouvert depuis des décennies, selon un tweet viral.
Un post Reddit relaie une affirmation selon laquelle GPT-5.6 aurait résolu un problème ouvert en optimisation convexe, dans la foulée de l'annonce d'OpenAI sur une preuve mathématique.
Un nouveau benchmark évalue la capacité des LLM à produire et vérifier des preuves de niveau universitaire à doctoral, au-delà des olympiades.
Un essai revient sur les capacités surprenantes des grands modèles de langage à résoudre des problèmes mathématiques avancés.
OpenAI affirme qu'un modèle GPT-5.6 a généré une preuve formelle d'un problème ouvert majeur en théorie des graphes, la CDC Conjecture.
Une méthode de feedback adaptatif ajuste dynamiquement la longueur du préfixe de solution fourni au modèle, doublant la précision de GRPO sur les problèmes mathématiques difficiles.
Le créateur de 3Blue1Brown analyse comment l'IA progresse plus vite en maths que dans d'autres domaines, et ce que cela révèle pour l'avenir.