L'AI risolve la congettura di Jacobi di 87 anni: un cambiamento di paradigma in matematica?

L'AI risolve un enigma di 87 anni

In uno sviluppo che ha scosso la comunità matematica globale, un ricercatore ha utilizzato un modello di AI per trovare un controesempio alla congettura di Jacobi, un problema fondamentale nella geometria algebrica che ha resistito allo sforzo umano per 87 anni. La scoperta, annunciata il 20 luglio 2026 dal matematico di Harvard Levent Alpoge, è stata resa possibile dal modello sperimentale di Anthropic, Claude Fable 5.

La congettura, proposta per la prima volta dal matematico tedesco Ott-Heinrich Keller nel 1939, postula che se una mappa polinomiale da uno spazio n-dimensionale a sé stesso ha un determinante jacobiano costante e non nullo (la migliore approssimazione locale della mappa), allora la mappa ha un'inversa polinomiale. È un'affermazione ingannevolmente semplice che ha profonde implicazioni per la geometria e l'algebra.

Il controesempio di Alpoge è una stringa notevolmente concisa di 216 caratteri di equazioni che mappano tre variabili complesse a tre output. La formula, ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x — 3 x^2 y — x^3 z), supera il controllo locale ovunque ma non è globalmente invertibile, smentendo di fatto la congettura.

L'analisi approfondita di Terence Tao con ChatGPT

Il medaglista Fields Terence Tao, firmatario del recente 'Manifesto di Leida' su AI e matematica, non ha accettato il risultato per buono. Ha condotto una verifica dettagliata utilizzando un chatbot, condividendo pubblicamente l'intera conversazione. L'analisi di Tao fornisce una lezione magistrale su come l'AI possa essere utilizzata come collaboratore piuttosto che come oracolo a scatola chiusa.

Tao ha caricato un PDF contenente un approccio alternativo per costruire il controesempio e ha chiesto a ChatGPT di confrontarlo con la formula originale. L'AI ha confermato che le due mappe erano 'isomorfismi polinomiali mutuamente inversi', stabilendo un chiaro ponte tra la nuova costruzione e quella nota. Questo processo di verifica simbolica è una potente dimostrazione dell'utilità dell'AI nella matematica avanzata.

Dalla costruzione alla conferma

La conversazione di Tao rivela un processo di verifica passo dopo passo. Prima ha fatto confermare a ChatGPT che una mappa polinomiale, Phi, dallo spazio 3D a una varietà algebrica 5D, X, era un isomorfismo. L'AI ha eseguito un'espansione diretta delle equazioni definenti per dimostrare che le mappe erano inverse, mostrando esplicitamente che non c'erano singolarità nascoste.

Tao ha quindi istruito l'AI a comporre questa mappa con un altro polinomio, F, e a eliminare una coordinata costante. Il risultato era una nuova mappa polinomiale, G, dallo spazio 3D a sé stesso. Una differenziazione simbolica diretta, eseguita dall'AI, ha mostrato che il determinante jacobiano di G era identicamente -1, una costante. Ciò ha confermato che la costruzione produceva la desiderata 'mappa di Keller'—una mappa polinomiale con jacobiano costante e non nullo.

Collegare i punti

Il passo più critico è stata l'ultima domanda di Tao: ha chiesto a ChatGPT di collegare la mappa G appena derivata alla formula del controesempio originale. L'AI ha identificato la relazione con precisione, mostrando che il controesempio originale era semplicemente una trasformazione lineare di G. Applicando una sostituzione di coordinate e un riscalamento dell'output, l'AI ha dimostrato che le due mappe erano identiche a meno di queste normalizzazioni elementari.

Questa verifica è significativa per due ragioni. In primo luogo, conferma che il controesempio è corretto, poiché si allinea con una costruzione nota e rigorosa. In secondo luogo, illustra un nuovo flusso di lavoro: un'AI scopre un candidato, e un matematico umano usa un'altra AI per verificare, contestualizzare e spiegare il risultato, creando una catena di ragionamento trasparente e verificabile.

Il Manifesto di Leida e una crisi di paradigma

Questa svolta non avviene nel vuoto. Segue una serie di scoperte matematiche guidate dall'AI, inclusa la confutazione da parte di OpenAI della congettura di Erdős sulla distanza unitaria nel maggio 2026. Questi eventi hanno provocato una profonda crisi all'interno della comunità matematica, culminata nel 'Manifesto di Leida su AI e Matematica' del 2 giugno 2026.

Il manifesto, firmato tra gli altri da Terence Tao e Peter Scholze, avverte che l'AI potrebbe 'collassare il sistema di revisione paritaria, creare caos sull'attribuzione e consentire alle aziende tecnologiche di manipolare potenzialmente la direzione della ricerca matematica.' Esso chiede ai matematici di mantenere il diritto di decidere 'quale matematica vale la pena fare,' anche mentre abbracciano l'AI come strumento.

Perché questo è importante

Il controesempio alla congettura di Jacobi è più di un semplice problema risolto; è un simbolo di un mondo che cambia. La velocità e la facilità con cui un modello di AI, utilizzato durante una pausa dalla visione della Coppa del Mondo, ha ribaltato una congettura centrale del XX secolo sottolinea il potere trasformativo di questi strumenti.

Il ruolo del matematico umano si sta evolvendo da scopritore a validatore e creatore di significato. Come mostra la conversazione di Tao con ChatGPT, il futuro della matematica potrebbe essere profondamente collaborativo, dove umani e AI lavorano insieme per esplorare i vasti e complessi paesaggi del pensiero astratto. L''ultima linea di difesa' rimane il giudizio umano, ma la prima linea è ora innegabilmente digitale.