05:39
0
IA completa una prueba formal de CFSG de 40M líneas en 24 días
Según Guru Club, el 31 de octubre, el sistema de IA multiagente de Axiom completó la verificación formal de la Clasificación de Grupos Finitos Simples (CFSG), la mayor demostración matemática de la humanidad. La verificación, que tomó más de un siglo y 15,000 páginas escritas por más de 100 matemáticos líderes en todo el mundo, fue procesada por completo por el sistema de IA en solo 24 días. El esfuerzo generó una biblioteca de código Lean de más de 40 millones de líneas, ahora el proyecto de so
Más