L'analyse du Ramanujan Challenge révèle qu'une soumission a démontré l'une de ses conjectures ouvertes publiées en théorie des nombres

L'article arXiv compare modèles d'IA, systèmes de calcul formel et outils formels sur des formules de constantes de niveau recherche, et indique que sa notation assistée par IA a réduit les faux positifs sur les preuves en langage naturel de 23 % à 6 % face à un jugement LLM unique ; le résumé ne dit pas quel système a produit la preuve.