Cogentic: Multi-Agent Orchestration for Automated Proof Discovery

arXiv cs.AI · 1 oct, 06:00

Cogentic es un sistema multi-agente que utiliza modelos de lenguaje para descubrir pruebas matemáticas automáticamente en problemas abiertos de investigación. El sistema orquesta múltiples agentes probadores, verifica adversarialmente sus resultados y mantiene un registro de avances confirmados que se reutilizan en iteraciones posteriores. Con Gemini como modelo base, Cogentic ha producido resultados novedosos en cinco problemas abiertos de teoría de apuestas, aprendizaje online y teoría de mecanismos.