Inteligencia Artificial

Verificación

Destacados

La IA científica avanza cuando el resultado se puede comprobar
Verificación

La IA científica avanza cuando el resultado se puede comprobar

Un cálculo de física teórica difundido el 25 de septiembre muestra el valor de sostener una tarea compleja. Su alcance debe medirse por el problema resuelto y la validación disponible, sin convertirlo en una promesa universal de descubrimiento.

Por Rubén Campoy4 min de lectura
Profesional revisando un documento con fórmulas matemáticas frente a una pantalla con código y un grafo de dependencias
Verificación

Claude no ha vuelto a demostrar Fermat: ha industrializado su comprobación

Anthropic afirma que un sistema de agentes trabajó durante once días para producir la primera formalización completa del Último Teorema de Fermat en Lean. El resultado no descubre matemáticas nuevas, pero convierte una demostración monumental en un objeto que un verificador puede aceptar o rechazar paso a paso.

Por Rubén Campoy11 min de lectura