RECHERCHE
AI Co-Mathematician : accélérer la recherche mathématique avec des agents IA
Un environnement de travail agentique dédié aux mathématiciens obtient 48 % sur FrontierMath Tier 4, nouveau record toutes IA confondues.
arXiv cs.AI · cs.LG · cs.CL·Daniel Zheng, Ingrid von Glehn, Yori Zwols, Iuliya Beloshapka·7 mai 2026
Image · Source originale
L'AI co-mathematician est un workbench interactif permettant aux chercheurs d'exploiter des agents IA pour la recherche mathématique ouverte : idéation, recherche bibliographique, exploration computationnelle, démonstration de théorèmes et construction théorique. Le système gère l'incertitude, affine les intentions de l'utilisateur et conserve l'historique des hypothèses échouées dans un espace de travail asynchrone et persistant. Lors des premiers tests, il a permis de résoudre des problèmes ouverts et d'atteindre 48 % sur FrontierMath Tier 4, meilleur score enregistré à ce jour.
Chaleur 0
Pertinence 78
Nouveauté 75