AlphaProof Nexus dans Science : 9 problèmes d'Erdős résolus
Le système de démonstration AlphaProof Nexus de Google DeepMind paraît dans Science : 9 des 353 problèmes ouverts d'Erdős résolus et 44 des 492 conjectures de l'OEIS prouvées.
Actualités et analyses : Mathématiques IA
6 articles vérifiés sur Mathématiques IA, les produits et le secteur.
Meta publie six articles de maths réalisés avec Muse Spark
Cinq des six nouveaux articles de mathématiques de Meta, réalisés avec le modèle Muse Spark, répondent à des questions publiées sans réponse jusqu'ici.
Le système multi-agent de Google résout cinq problèmes ouverts d’informatique théorique
Le système multi-agent Cogentic de Google, fondé sur Gemini, a résolu cinq problèmes ouverts d’apprentissage en ligne, d’enchères et de mécanismes, vérifiés par des experts.
Terence Tao : les bons problèmes de maths s'épuisent
Le mathématicien Terence Tao alerte : les bons problèmes ouverts sont exploités de façon non renouvelable par l'IA, poussant les chercheurs à taire leurs pistes de travail.
Terence Tao met en garde contre une crise de surabondance de preuves
Dans un article de douze pages sur arXiv, Terence Tao avertit que si l'IA résout des preuves de recherche pour quelques dizaines à quelques centaines de dollars, les mathématiques basculeront vers la surabondance.
OpenAI model cracks an 80-year Erdős geometry problem
An internal general reasoning model found an algebraic-number-theory construction that external mathematicians said is journal-worthy.