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
Los agentes de IA de Google terminaron Minecraft solos en 27 horas.2026-10-19En una prueba, un agente de IA escribió 50 veces a un diputado.
2026-10-19El personal de Anthropic cree que la IA hará el 75% de su trabajo.
2026-10-18Pillaron a una IA china pensando en su propio entrenamiento futuro.
2026-10-17OpenAI regala a laboratorios universitarios un año de su IA biológica.
2026-10-17