Miércoles 28 de octubre de 2026 ·

Axiom Math formaliza en Lean la clasificación de los grupos simples finitos con IA en 24 días y encuentra un fallo en un paso intermedio

Relevancia 41 de 100

Axiom Math anunció el 26 de octubre de 2026 que ha llevado la clasificación de los grupos simples finitos, un gran teorema matemático, a una forma verificable por la máquina en el asistente de pruebas Lean. Según la empresa, generó unos 43,1 millones de líneas de código en 24 días. Durante el proceso encontró un contraejemplo a una afirmación intermedia de la demostración tradicional, aunque no invalida la clasificación en sí.

Qué significa

La demostración de un teorema central de las matemáticas puede ahora comprobarse por ordenador, lo que reduce la dependencia de la revisión humana. Para los matemáticos, es un precedente de cómo la IA puede auditar resultados antiguos.

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 miércoles 28 de octubre de 2026 ->