IA multiagente
2 published articles
Matemáticas formales
Cómo un laboratorio chino resolvió el cuello de botella en la demostración matemática impulsada por IA
El marco ToMap de la Universidad de Nankín logra resultados de vanguardia en la autoformalización completa de demostraciones al identificar el paso de descomposición como el cuello de botella crítico. Mediante la evolución iterativa guiada por Pareto de las descomposiciones de la demostración, ToMap eleva la precisión conjunta sintáctico-semántica en un 19% en el punto de referencia ProofFlowBench, al tiempo que reduce los costos en tiempo de prueba.
2026-07-30
Investigación en IA
Cuatro personalidades, una respuesta: por qué el razonamiento heterogéneo acaba de vencer a la mejor IA en la prueba más difícil de la humanidad
PoTRE divide la inferencia en cuatro agentes que trabajan en paralelo, luego reconcilia sus respuestas dinámicamente. Alcanzó un 49.92% en Humanity's Last Exam, superando el mejor resultado oficial anterior. El enfoque funciona con menos tokens que las líneas base escaladas.
2026-07-24