Claude de Anthropic formaliza prueba del último teorema de Fermat

Línea temporal

1. 7 sep
   Nature · Machine learningFiabilidad una fuente fiable

   Claude de Anthropic formaliza en código verificable la prueba del último teorema de Fermat

   Anthropic anunció el 4 de septiembre que un prototipo avanzado de Claude generó una prueba formal de 13 millones de líneas, verificada por ordenador en Lean, del último teorema de Fermat. El proceso, que expertos…