Toutes les news taguées avec ce sujet.
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.
Les systèmes d'IA capables de raisonner mathématiquement remettent en question la nature de la preuve, de la découverte et du rôle du mathématicien.