IA multi-agent
2 published articles
Mathématiques formelles
Comment un laboratoire chinois a surmonté le goulot d'étranglement de la preuve mathématique assistée par IA
Le cadre ToMap de l'Université de Nanjing atteint des résultats de pointe en auto-formalisation complète de preuves en identifiant l'étape de décomposition comme le goulot d'étranglement critique. En utilisant une évolution itérative et guidée par Pareto des décompositions de preuves, ToMap améliore la précision syntaxique et sémantique conjointe de 19 % sur le benchmark ProofFlowBench tout en réduisant les coûts en phase de test.
2026-07-30
Recherche en IA
Quatre personnalités, une réponse : pourquoi le raisonnement hétérogène vient de battre la meilleure IA au test le plus difficile de l’humanité
PoTRE divise l’inférence en quatre agents travaillant en parallèle, puis concilie leurs réponses de manière dynamique. Il atteint 49,92 % sur l’Examen Final de l’Humanité, surpassant le meilleur précédent officiel. L’approche fonctionne avec moins de tokens que les baselines mises à l’échelle.
2026-07-24