Il 20 luglio 2026, poco dopo le 2 del mattino UTC, il matematico Levent Alpöge ha pubblicato su X un annuncio dal tono quasi casuale: la congettura di Jacobi, un problema aperto dal 1939, sarebbe falsa. Il merito, ha scritto, va «al mio caro amico akhil per avermelo chiesto e al mio altro caro amico fable per aver lavorato durante la finale dei Mondiali». Dietro quel “fable” c’è Claude Fable 5 e la congettura di Jacobi diventa così il primo caso in cui un modello linguistico contribuisce a smontare un teorema famoso vecchio quasi novant’anni. Ecco cosa è successo davvero, e perché la comunità matematica sta reagendo con un misto di entusiasmo e cautela.
In questo articolo scoprirai:
- Cosa è successo: Claude Fable 5 e la congettura di Jacobi
- La congettura di Jacobi: 87 anni di problema aperto
- Il controesempio che rende falsa la congettura di Jacobi
- Come Claude Fable 5 ha trovato il controesempio
- Le reazioni della comunità matematica
Cosa è successo: Claude Fable 5 e la congettura di Jacobi
Alpöge non è un profilo qualunque: è un teorico dei numeri con dottorato a Princeton sotto la guida del medaglia Fields Manjul Bhargava, vincitore del Morgan Prize 2015. Insieme al collega Akhil Mathew, mentre seguiva la finale dei Mondiali, ha usato Claude Fable 5, il modello di punta “Mythos-class” di Anthropic, come collaboratore di ricerca, non come semplice strumento da benchmark. Il risultato è arrivato in poche ore: una mappa polinomiale esplicita in tre variabili complesse che soddisfa tutte le ipotesi della congettura ma la viola nella conclusione.
La differenza rispetto alle solite dichiarazioni roboanti sull’AI è cruciale: Alpöge non ha annunciato “l’AI ha trovato una dimostrazione”, ha condiviso la formula esplicita, con tanto di link a Wolfram Alpha per verificare i passaggi. Chiunque abbia un software di calcolo simbolico può controllare il risultato in pochi minuti. Come nota il thread esplicativo di Andrew Curran su X ripreso dall’analisi di explainx.ai, che ha raccolto centinaia di condivisioni, è proprio questa verificabilità immediata a rendere il caso diverso dalle solite fughe in avanti.
La congettura di Jacobi: 87 anni di problema aperto
La congettura Jacobiana fu formulata da Ott-Heinrich Keller nel 1939 (una versione per due variabili era già stata proposta, con errori, da Ludwig Kraus nel 1884). L’enunciato è di una semplicità ingannevole: se una mappa polinomiale dallo spazio complesso n-dimensionale in sé stesso ha determinante Jacobiano costante e diverso da zero, allora deve possedere un’inversa anch’essa polinomiale. In parole povere, l’invertibilità locale in ogni punto dovrebbe forzare l’invertibilità globale.
Il fascino del problema stava nel fatto che richiede solo nozioni di calcolo per essere capito, ma ha resistito per decenni. Occupa il numero 16 nella lista dei problemi matematici per il XXI secolo di Stephen Smale ed è equivalente alla congettura di Dixmier. La sua storia è costellata di dimostrazioni sbagliate: Beniamino Segre ne pubblicò tre errate, e persino Claude Chevalley cadde nella trappola. Per n=1 il risultato è banale, per n=2 resta ancora aperto. È proprio in dimensione tre che il controesempio ha aperto una breccia.
Il controesempio che rende falsa la congettura di Jacobi
La mappa prodotta con Claude Fable 5 agisce da C³ a C³ e ha questa forma:
F₁ = (1+xy)³z + y²(1+xy)(4+3xy)
F₂ = y + 3x(1+xy)²z + 3xy²(4+3xy)
F₃ = 2x − 3x²y − x³z
Due proprietà chiudono la partita. Primo: il determinante Jacobiano è la costante −2, diverso da zero ovunque, quindi l’ipotesi della congettura è pienamente soddisfatta. Secondo: la mappa manda tre punti distinti nello stesso output. Come documenta ForkLog, gli input (0, 0, −¼), (1, −3/2, 13/2) e (−1, 3/2, 13/2) finiscono tutti su (−¼, 0, 0). Una funzione realmente invertibile non può mai spedire tre ingressi diversi allo stesso risultato: la contraddizione disprova la congettura per n>2.
Perché la congettura di Jacobi crolla proprio in dimensione tre
Il meccanismo profondo è la non-properness: seguendo a ritroso una controimmagine, questa può “scappare all’infinito” mentre il bersaglio resta limitato, facendo cambiare il numero di fogli della mappa. È esattamente ciò che i teoremi di Edwin Connell e Lou van den Dries prevedevano: se la congettura fosse falsa, un controesempio con coefficienti interi doveva esistere. Fable 5 lo ha trovato, con coefficienti interi e punti di test razionali. Resta in piedi, invece, la versione più ostica: la congettura Jacobiana per il piano (n=2) non è stata toccata e continua a sfidare i matematici.
Come Claude Fable 5 ha trovato il controesempio
Sul processo esatto c’è ancora poca trasparenza. Al momento non esistono un preprint su arXiv, un transcript completo della conversazione o un annuncio ufficiale di Anthropic: tutto è nato da un thread su X. Come ricostruisce l’analisi di Kingy.ai, non è pubblicamente noto quale sia stata la sequenza di prompt, quanto Fable abbia lavorato in autonomia e quanto invece siano intervenuti Alpöge e Mathew nell’indirizzare la ricerca. Il matematico Bartosz Naskręcki ha sottolineato che formulare i prompt giusti ha richiesto «vera intuizione», paragonandolo a «cercare un ago in un pagliaio».
Va anche ricordato il contesto delle capacità del modello: secondo AI Weekly, Claude Fable 5 ha ottenuto l’88% su FrontierMath tier 4, il livello più difficile, contro il circa 75% di GPT-5.5 e il meno del 10% di Opus 4.5 solo pochi mesi prima. Un salto di capacità enorme in un anno. Per capire il posizionamento del modello nel panorama Anthropic è utile la nostra guida a Claude Fable 5.
La verifica: cosa è già confermato e cosa no
Il punto di forza è che il risultato ha un verificatore esatto. Diversi matematici hanno riprodotto i conti in modo indipendente entro poche ore: il determinante uguale a −2 è stato confermato con SymPy e Sage, e la collisione dei tre punti è riproducibile con aritmetica razionale, senza approssimazioni in virgola mobile. La matematica del controesempio regge. Ciò che manca è la certificazione istituzionale: peer review formale, pubblicazione e tracciabilità completa dell’attribuzione a Fable. Come riporta GlitchWire, Wikipedia ha comunque aggiornato la voce sulla congettura in poche ore, annotando il controesempio in dimensione tre.
Le reazioni della comunità matematica
Il tono generale è stato sorprendentemente meno scettico del solito, vista la storia di falsi allarmi sulla congettura. Come raccoglie OfficeChai, Qiaochu Yuan ha parlato del «problema aperto più famoso risolto finora da un modello linguistico». Il medaglia Fields Timothy Gowers ha definito il risultato «piuttosto sorprendente», notando che era il primo caso di un LLM alle prese con un problema davvero celebre fuori dal suo campo, pur trattandosi di un controesempio e non di una dimostrazione completa. Daniel Litt, dell’Università di Toronto, si è detto «molto ottimista sull’impatto a breve termine dell’AI sulla matematica».
Non sono mancate le note più caute e persino inquiete. Vidit Nanda, di Oxford, ha commentato in modo criptico: «Celebriamo il presente e temiamo il futuro». La conversazione si è subito spostata dal singolo risultato al ruolo dell’AI nella scoperta scientifica: l’AI non sostituirà i matematici, ma potrebbe aiutarli a trovare cose più in fretta. È lo stesso schema che avevamo osservato con un modello OpenAI su un problema irrisolto da 80 anni e con AlphaProof Nexus di Google DeepMind.
Cosa significa per l’AI nella ricerca matematica
Il caso illustra bene dove i modelli di frontiera funzionano meglio: come partner di ricerca in spazi dove il successo ha un verificatore esatto. Un controesempio con coefficienti interi si controlla in modo meccanico e inequivocabile; è terreno ideale per un’AI che genera candidati e li mette alla prova contro un test rigoroso. Questo non dimostra affidabilità generale, autonomia piena o applicabilità a ogni tipo di ricerca: dimostrare un teorema è ben diverso dal trovare un controesempio verificabile.
Resta valido l’avvertimento che attraversa tutte le analisi: i modelli di frontiera sono strumenti di lavoro, non commissioni per la medaglia Fields. Il valore sta nell’accoppiata tra intuizione umana, i prompt giusti, la scelta del problema, e la potenza generativa della macchina. Per un quadro equilibrato di ciò che questi sistemi possono e non possono fare oggi, rimandiamo alla nostra analisi su capacità e limiti dei modelli in matematica e al panorama più ampio de l’AI al servizio della ricerca scientifica.
Fonti:
- explainx.ai — Fable 5 e il controesempio alla congettura Jacobiana (Alpöge, luglio 2026)
- ForkLog — Claude Fable 5 trova un controesempio alla congettura del 1939
- Wikipedia — Jacobian conjecture
- OfficeChai — Le reazioni della comunità matematica
- Kingy.ai — Claude Fable e il controesempio alla congettura Jacobiana
- GlitchWire — Un matematico usa Claude Fable per smentire la congettura di 87 anni
- JacobianFun.org — La congettura Jacobiana spiegata
