RECHERCHE
PAPIERStellar 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
Lu et jugé par Fellow · impact notable
Nouveaux résultats revendiqués sur problèmes ouverts de FOCS/JMLR via un harnais multi-agents, mais preuves non vérifiées indépendamment.
Image · Source originale
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