Image · Source originale
RECHERCHE
Stellar Colosseum : un harnais multi-agents pour la recherche longue durée en maths et informatique théorique
Un système multi-agents structure la production de preuves complexes et obtient de nouveaux résultats sur des problèmes ouverts issus de FOCS et JMLR.
arXiv cs.AI · cs.LG · cs.CL·Honghao Lin, David P. Woodruff, Yuan Deng, Jieming Mao·14 septembre 2026
Stellar Colosseum est un harnais agnostique au modèle qui organise la recherche de preuves mathématiques en explorant des stratégies alternatives, décomposant les plans de preuve en sous-problèmes et intégrant les retours de vérificateurs. Intégré au framework Teamwork de Google Antigravity, il atteint 71% de précision sur TCS-Bench avec Gemini 3.1 Pro et Gemini 3.7 Flash, et produit de nouveaux résultats sur des problèmes ouverts publiés à FOCS et JMLR.
Chaleur 0
Pertinence 55
Nouveauté 70