Martes 27 de octubre de 2026 ·

Axiom Math publica una prueba en Lean de 43,1 millones de líneas de la clasificación de grupos finitos simples

Relevancia 41 de 100 Estados Unidos, California

Axiom Math anunció el 27 de octubre de 2026 la primera prueba completa verificada por ordenador de la Clasificación de Grupos Simples Finitos (CFSG). Según la empresa, la escribieron en 24 días ingenieros y matemáticos que dirigían enjambres de decenas de agentes de IA, que produjeron unos 43,1 millones de líneas en el asistente de pruebas Lean. La demostración original ocupa unas 15.000 páginas y fue obra de unos 100 matemáticos durante décadas.

Qué significa

Muestra que agentes de IA pueden producir demostraciones matemáticas verificables a gran escala, algo que antes requería décadas de trabajo humano. Ahora un ordenador comprueba cada paso de la prueba, en lugar de depender solo de la revisión de expertos.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del martes 27 de octubre de 2026 ->