Matemática
Inteligencia artificial completa la primera demostración verificada por computadora del último teorema de Fermat
El modelo de inteligencia artificial Claude, desarrollado por Anthropic, logró en 11 días lo que se esperaba tomaría 10 años: completar la primera demostración verificada por computadora del último teorema de Fermat.