Claude Fable 5 di Anthropic aiuta a confutare la congettura di Jacobi

Il matematico Levent Alpöge, affiliato ad Anthropic e all'Università di Harvard, ha utilizzato il modello Claude Fable 5 di Anthropic per confutare la congettura di Jacobi, un problema matematico di lunga data risalente al 1884. La congettura, ampliata da Ott-Heinrich Keller nel 1939, postula che se il determinante jacobiano di una funzione polinomiale è una costante non nulla, la funzione dovrebbe essere reversibile. Alpöge ha pubblicato un controesempio su X il 20 luglio 2026, durante la finale della Coppa del Mondo FIFA, che è stato verificato da matematici indipendenti. La funzione fonde più punti di input nello spazio tridimensionale, rendendola irreversibile, confutando così la congettura per dimensioni tre e superiori. Abhishek Saha della Queen Mary University di Londra l'ha definita la più grande congettura su cui l'IA ha avuto un impatto significativo. Tuttavia, Andrew Blumberg della Columbia University ha osservato che trovare un singolo controesempio è meno significativo che dimostrare la congettura, che rimane non dimostrata. Il risultato è considerato una pietra miliare per la matematica assistita dall'IA, superando le aspettative. In sviluppi correlati, a maggio l'IA ha aiutato a risolvere un problema di 80 anni di Paul Erdős, portando alla Dichiarazione di Leida sull'IA e la Matematica, che richiede trasparenza e revisione tra pari. Akhil Mathew dell'Università di Chicago, che ha suggerito il problema, ha espresso preoccupazioni per il rapido spostamento verso l'IA nella matematica pura.