
IA frente al Teorema de Fermat: ¿Revolución o espejismo formal?
Claude ha completado en menos de dos semanas una tarea que a los matemáticos les tomaba años. Analizamos si esta automatización de pruebas formales marca el fin de la intuición humana o simplemente una nueva era de asistencia técnica.
