L'IA risolve due problemi secolari di matematica pura: una nuova era per la ricerca

Il Claude Fable 5 di Anthropic Trova un Controesempio alla Congettura di Jacobi (Luglio 2026)

Il 19 luglio 2026, il matematico Levent Alpöge, ricercatore presso Anthropic, ha annunciato su X di aver utilizzato il modello Claude Fable 5 di Anthropic per trovare un controesempio alla congettura di Jacobi—un problema aperto di geometria algebrica, vecchio di 87 anni, posto per la prima volta da Ott-Heinrich Keller nel 1939 . La congettura, classificata al numero 16 nella lista dei problemi per il prossimo secolo del medaglista Fields Stephen Smale (1998), sosteneva che una mappa polinomiale da C^n a C^n con determinante jacobiano costante non nullo deve essere globalmente invertibile .

Il controesempio è una mappa polinomiale sorprendentemente concisa, di soli 216 caratteri, da C³ a C³ con un determinante jacobiano identicamente uguale a -2, che tuttavia invia tre diverse triple di input allo stesso output, confutando così l'invertibilità globale . Nel giro di poche ore dal post di Alpöge, matematici di tutto il mondo hanno verificato in modo indipendente il risultato, e una verifica formale con l'assistente di dimostrazione Lean è stata completata in meno di 24 ore .

Illustri matematici come Terence Tao e Timothy Gowers hanno elogiato il risultato . Tao ha pubblicato un'analisi geometrica del controesempio, e la verifica è stata ampiamente confermata dalla comunità matematica . La versione bidimensionale della congettura rimane ancora aperta .

Cosa Significano Questi Risultati per il Futuro della Matematica

L'IA Ora Può Generare Dimostrazioni Veramente Innovative

Entrambe le scoperte implicano salti concettuali profondi, non solo assistenza computazionale. La confutazione delle distanze unitarie ha richiesto che l'IA collegasse la teoria algebrica dei numeri alla geometria combinatoria, un collegamento che nessun matematico umano aveva mai fatto . Il controesempio alla congettura di Jacobi ha richiesto la costruzione di una mappa polinomiale sottile con specifiche proprietà algebriche .

Il Modello di Collaborazione Uomo-IA si Sta Dimostrando Potente

Questi risultati indicano un futuro in cui l'IA agisce come un collaboratore creativo piuttosto che come un sostituto. Nel caso della congettura di Jacobi, un abile matematico ha diretto l'IA e riconosciuto il significato del suo output . Nel caso di OpenAI, il modello ha lavorato in modo più autonomo, ma ha comunque richiesto la verifica umana . Questo modello di partnership permette all'IA di esplorare enormi spazi di ricerca che gli umani non possono attraversare efficientemente, mentre gli umani forniscono intuizione, giudizio e verifica.

Il Ritmo Sta Accelerando Rapidamente

Ad agosto 2026, OpenAI ha annunciato che la stessa classe di modelli di ragionamento interni aveva prodotto progressi su 10 grandi problemi di matematica e informatica teorica, spaziando dalla geometria in alta dimensione, alla teoria dei codici, alla teoria dei gruppi, alle algebre di operatori, alla complessità quantistica, alla crittografia reticolare e alla combinatoria estrema . Gli osservatori hanno descritto una "nuova età dell'oro" della matematica guidata dall'IA .

Importanti Avvertenze Rimangono

Il controesempio alla congettura di Jacobi si applica solo in dimensione 3 e superiore: la congettura originale rimane aperta in dimensione 2 . Alcuni risultati non hanno ancora affrontato una revisione paritaria completa attraverso i canali tradizionali e non tutte le affermazioni sono state completamente pubblicate . Ma la direzione generale è chiara: l'IA ha superato la soglia da assistente matematico a scopritore matematico, e il suo ruolo nella ricerca si espanderà probabilmente rapidamente.

Il Quadro Generale

Queste scoperte del 2026 fanno seguito a una rapida progressione delle capacità matematiche dell'IA. Nel luglio 2025, i modelli di IA hanno risolto per la prima volta cinque dei sei problemi delle Olimpiadi Internazionali di Matematica . All'inizio del 2026, i modelli raggiungevano lo standard della medaglia d'oro alle IMO . Ora, l'IA produce risultati al confine della ricerca, risolvendo problemi che hanno definito intere carriere.

Come ha notato il matematico Terence Tao, il risultato sulla congettura di Jacobi rappresenta una pietra miliare nella collaborazione uomo-IA . Il modello non ha lavorato da solo, ma la partnership ha prodotto un risultato che né l'umano né la macchina avrebbero potuto raggiungere indipendentemente. Quel modello—intuizione umana guidata dall'esplorazione dell'IA, verificata da assistenti di dimostrazione formali—potrebbe definire il futuro della scoperta matematica.