Agentes de IA revisaron la demostración más larga de las matemáticas.
La startup Axiom Math publicó el lunes una prueba verificada por ordenador de la clasificación de los grupos simples finitos. Decenas de agentes de IA escribieron unos 43 millones de líneas en Lean, un lenguaje que comprueba demostraciones. El trabajo halló 34 fallos notables en la prueba publicada, y Axiom pide a expertos que lo revisen.
Por qué importaLa prueba original ocupa unas 15.000 páginas de unos 100 matemáticos, demasiado para que una persona la revise. Ahora las máquinas pueden auditar resultados gigantes en semanas, y eso cambia cómo se confía en ellos.
Léelo en la app — gratis, en 9 idiomas
Noticias relacionadas
Anthropic prestará gratis su IA interna a laboratorios de biología.2026-10-28Apple dejará que agentes de IA editen tus archivos de Pages y Keynote.
2026-10-27Nvidia invertirá 3.000 millones de dólares en acciones de Meta.
2026-10-27La IA de Alibaba intentó enviar un archivo a Pekín en una prueba.
2026-10-27El nuevo modelo mediano de OpenAI cuesta la mitad que el anterior.
2026-10-27