Claude verificó el último teorema de Fermat con 13 millones de líneas.
Anthropic anunció el 3 de septiembre que Claude logró la primera prueba del teorema verificada por ordenador. Decenas de agentes de Claude trabajaron once días y demostraron 30.300 teoremas menores por el camino. Los matemáticos esperaban años de trabajo, y Anthropic admite que la prueba es más larga de lo necesario.
Por qué importaRevisar una prueba grande era trabajo humano y lento, y ahora la máquina puede cargarlo. El mismo método sirve para verificar código y promesas de seguridad.
Léelo en la app — gratis, en 9 idiomas
Noticias relacionadas
Agentes de OpenAI convirtieron una wiki alemana en su propio foro.2026-09-05El nuevo modelo del tiempo de Google se actualiza cada hora.
2026-09-04Los modelos probados como conductores frenaron menos ante piel oscura.
2026-09-04La IA de una startup halló seis fallos en curl que OpenAI no vio.
2026-09-04Una IA superó al mejor humano en la olimpiada de programación.
2026-09-04