Once días le bastaron a una máquina para un teorema de cuatrocientos años y un chin de vaina ma'

Te lo dijo el Sobrino · Sep 6, 2026 · 13m

El último teorema de Fermat lo escribió un señor en el margen de un libro hace casi cuatrocientos años y nadie pudo demostrarlo hasta los noventa. Pero una demostración escrita a mano hay que creerla o revisarla hoja por hoja, y por eso desde hace veinte años hay gente traduciéndolas a un idioma que la computadora verifica sola. Eso es lo que faltaba con este teorema, y Anthropic dice que su programa lo hizo trabajando prácticamente solo durante once días: trece millones de líneas, 30.300 resultados intermedios demostrados, unos 29.500 en la versión final, docenas de copias del programa en…