La congettura jacobiana è falsa: Claude chiude 87 anni di matematica irrisolta
Il 20 luglio 2026 il matematico Levent Alpöge ha pubblicato su X un controesempio di 216 caratteri che confuta la congettura jacobiana, formulata da Keller nel 1939.
La sera del 20 luglio 2026, mentre Spagna e Argentina si disputavano la finale dei Mondiali, il matematico Levent Alpöge ha pubblicato su X un messaggio di poche righe. La congettura jacobiana, scriveva, è falsa. Allegava un controesempio in forma polinomiale, ringraziava un amico per aver posto la domanda e un altro, "fable", per aver lavorato durante la partita. Quel secondo amico era Fable 5, il modello linguistico più avanzato sviluppato da Anthropic. Il problema era rimasto aperto dall'estate del 1939. Il controesempio occupava 216 caratteri.
La notizia ha attraversato la comunità matematica con una velocità insolita per questo tipo di risultati. Non per l'entità della risposta, che sul piano tecnico è chiara e verificabile in poche ore, ma per il modo in cui è arrivata: senza preprint, senza comunicato istituzionale, senza il rituale accademico che accompagna di solito i risultati di questo calibro. Un post su un social network, e 87 anni di tentativi falliti diventano storia.
La congettura jacobiana: cosa chiedeva e perché è durata così a lungo
La congettura fu formulata per la prima volta da Ott-Heinrich Keller nel 1939, in un contesto di geometria algebrica allora in piena espansione. La domanda, nella sua forma più diretta, riguarda le mappe polinomiali: se si prende una funzione F che va da uno spazio di dimensione n a se stesso, definita da n polinomi, e il suo determinante jacobiano (la matrice delle derivate parziali) è una costante diversa da zero, è garantito che F ammetta un'inversa polinomiale?
In termini più concreti: una mappa di questo tipo, localmente invertibile ovunque perché il suo jacobiano non si annulla mai, è globalmente invertibile? La risposta intuitiva sarebbe sì. L'intuizione, in questo caso, era sbagliata.
Il problema divenne rapidamente celebre per la sua resistenza. Negli anni si accumularono almeno cinque "prove" pubblicate che si rivelarono in seguito errate. Nel novembre 2004 il matematico Mel Hochster distribuì per email l'annuncio di una nuova dimostrazione, attribuita a Carolyn Dean. Conteneva anch'essa un errore. Stephen Smale la inserì nel suo elenco del 1998 dei diciotto problemi matematici per il XXI secolo, lo stesso catalogo che comprende il Problema P versus NP. La rivista New Scientist l'ha definita il problema matematico più difficile mai risolto da un'intelligenza artificiale.
Uno degli aspetti più noti della sua storia riguarda Yitang Zhang. Il matematico cinese, prima di diventare famoso nel 2013 per il suo risultato sui gap tra numeri primi, era stato scoraggiato dal suo supervisore di dottorato proprio per un lavoro fallito sulla congettura jacobiana. La parabola ha un senso quasi letterario: il problema che aveva contribuito a umiliare Zhang è stato abbattuto, decenni dopo, da una macchina durante una finale di calcio.
Il controesempio: struttura e verifica
Il controesempio pubblicato da Alpöge è una mappa polinomiale da ℂ³ a ℂ³, cioè da uno spazio complesso tridimensionale a se stesso. Le sue tre componenti coordinate sono:
f₁ = (1+xy)³z + y²(1+xy)(4+3xy)
f₂ = y + 3x(1+xy)²z + 3xy²(4+3xy)
f₃ = 2x – 3x²y – x³z
Il determinante jacobiano di questa mappa vale –2, una costante diversa da zero. Secondo la congettura, una simile mappa dovrebbe essere iniettiva, cioè non dovrebbe mai mandare due punti distinti nello stesso punto. Ma Alpöge mostra tre coppie di punti che la smentiscono direttamente: (0, 0, –1/4), (1, –3/2, 13/2) e (–1, 3/2, 13/2) vengono tutti mappati nel medesimo output, (–1/4, 0, 0). La mappa non è iniettiva, quindi non è invertibile.
Il calcolo è verificabile con algebra simbolica elementare. Molti matematici lo hanno confermato entro poche ore dalla pubblicazione. La sito Kingy.ai ha dichiarato di aver controllato il risultato in modo indipendente tramite calcolo simbolico automatizzato. Wolfram MathWorld ha aggiornato la propria voce sulla congettura jacobiana già il giorno successivo, citando direttamente il post di Alpöge del 20 luglio 2026.
Va precisato un punto su cui la letteratura è concorde: la congettura jacobiana esiste in varianti distinte a seconda della dimensione dello spazio. Il controesempio di Alpöge confuta la versione generale in tre o più dimensioni. Il caso bidimensionale, noto come congettura di Keller nel piano, resta aperto. Nessuno ha ancora trovato un controesempio in ℂ² né una prova definitiva che valga.
Il ruolo di Fable 5 e la questione dell'attribuzione
Alpöge lavora ad Anthropic dopo un periodo come Junior Fellow alla Society of Fellows di Harvard. Fable 5 è il modello che la stessa Anthropic aveva descritto, nella fase di sviluppo, come troppo capace per essere rilasciato pubblicamente: è la versione commerciale del sistema interno noto come Claude Mythos. Il ricercatore Aaron Lou di OpenAI ha dichiarato che una versione interna del modello Codex della stessa OpenAI era arrivata autonomamente allo stesso controesempio. Se confermato, sarebbe un caso di convergenza indipendente tra sistemi diversi verso lo stesso risultato.
Il processo esatto di scoperta non è ancora documentato pubblicamente. Non esiste un transcript completo della sessione di lavoro con Fable 5, né un research notebook, né una dichiarazione ufficiale di Anthropic sul metodo utilizzato. Alpöge ha annunciato che seguirà un articolo completo. Nel frattempo, il matematico Bartósz Naskręcki ha precisato che trovare un controesempio di questo tipo richiede comunque una forma di intuizione matematica reale: non era un esercizio di forza bruta, ma una ricerca orientata da idee precise.
La distinzione conta. C'è differenza tra un sistema che esplora miliardi di polinomi a caso sperando di imbattersi in uno che funziona e un sistema che, guidato da un matematico, affina l'ipotesi e riduce lo spazio di ricerca a regioni plausibili. Quale dei due scenari descriva meglio quello che è accaduto la sera del 20 luglio resta, per ora, senza risposta definitiva.
Come si differenzia da un teorema: la distinzione tra controesempio e dimostrazione
Il matematico Andrew Blumberg, della Columbia University, che partecipa a un progetto di valutazione delle capacità dei modelli di intelligenza artificiale su problemi di ricerca matematica, ha commentato il risultato con una sobrietà che non condivide l'entusiasmo generale. La sua posizione, espressa a Mashable, è che il risultato non ha modificato le sue aspettative su ciò che i sistemi di intelligenza artificiale sanno fare: è esattamente il tipo di compito per cui si aspettava che fossero capaci.
La distinzione che Blumberg traccia è tecnica e importante. Un controesempio chiude la congettura, ma non spiega nulla. Non dice perché la mappa polinomiale con jacobiano costante possa non essere iniettiva. Non costruisce una struttura teorica nuova. Non apre prospettive. Una dimostrazione, per contrasto, avrebbe rivelato qualcosa sulla geometria degli spazi polinomiali, sulla natura delle mappe localmente invertibili, forse su connessioni con altri problemi aperti. Smale aveva inserito la congettura jacobiana nella sua lista proprio perché sperava che una soluzione avrebbe svelato qualcosa di più profondo sul modo in cui la matematica descrive la realtà fisica.
Blumberg ha paragonato il risultato a quello con cui OpenAI, nel maggio 2026, aveva confutato una congettura di geometria discreta: in quel caso i matematici riuscivano a scomporre la dimostrazione, a seguirne la logica, a costruirci sopra. Il controesempio di Alpöge, per ora, è un oggetto verificabile ma opaco nelle sue origini cognitive.
Il confronto con il caso Keller nel piano è illuminante proprio su questo punto. Nessuno sa ancora perché in due dimensioni nessun controesempio esista (o almeno, nessuno ne ha trovato uno), mentre in tre dimensioni un contro esempio compatto è emerso in una serata. Quella differenza strutturale tra le dimensioni è esattamente il tipo di cosa che una dimostrazione avrebbe potuto spiegare.
La reazione della comunità matematica
Timothy Gowers, medaglia Fields nel 1998, ha scritto su X che era la prima volta che un sistema di intelligenza artificiale risolveva un problema abbastanza importante da essere noto anche al di fuori della sua area specifica di ricerca. Ha scelto di non dire che era la fine della matematica, perché un controesempio non è una teoria. Ha detto che era straordinario.
Il matematico Daniel Litt ha pubblicato alle due di notte che non riusciva a smettere di ridere. Lo ha definito incredibile. Jared Duker Lichtman, della Stanford University, ha ricordato che la congettura jacobiana è storicamente associata a prove false e a tentativi falliti: il fatto che un sistema artificiale l'abbia liquidata in una serata, con un oggetto di 216 caratteri, ha qualcosa di grottesco e di liberatorio allo stesso tempo.
Nelle ore successive il matematico e sviluppatore Alexis Gallagher ha annunciato di aver utilizzato GPT-5.6 per estendere il controesempio di Alpöge a una famiglia infinita: un controesempio per ogni intero maggiore di due. Il risultato non è ancora stato verificato in modo indipendente, ma se reggesse rappresenterebbe un'espansione considerevole del risultato originale. Parallelamente, un altro modello di intelligenza artificiale ha già proposto una nuova congettura in sostituzione di quella falsificata, orientata a descrivere quando e perché mappe con jacobiano costante falliscono l'iniettività.
Cosa rimane aperto e cosa cambia nel metodo
Alpöge ha lasciato intendere che il suo controesempio potrebbe nascondere qualcosa di più. Analizzando la struttura della mappa, ha scritto, sembra di intravedere un risultato positivo che si nasconde all'interno. Non ha specificato di quale risultato si tratti. L'articolo completo, quando uscirà, potrebbe quindi non limitarsi a chiudere la congettura ma aprire una direzione nuova.
C'è un aspetto della vicenda che merita attenzione indipendentemente dalle sue implicazioni per la matematica pura. La sessione di lavoro tra Alpöge e Fable 5 è avvenuta in poche ore, durante una finale di calcio. Non si tratta del risultato di mesi di esplorazione sistematica, ma di una conversazione serale tra un matematico esperto e un modello linguistico. Ciò che il modello ha fatto non è chiaro nei dettagli, ma qualcosa nella struttura di quella collaborazione ha prodotto un oggetto che generazioni di matematici non avevano trovato.
Il matematico Guy Tamam ha riferito di aver mostrato il controesempio a Fable 5 chiedendogli se sapesse qualcosa del problema. Il modello ha risposto che il "fable" citato da Alpöge era, in un certo senso, se stesso: la stessa famiglia di modelli, ma una conversazione diversa, su un hardware diverso, senza alcuna memoria di quello che era accaduto quella sera. È una notazione curiosa, quasi una firma involontaria su un risultato che il sistema non ricorda di aver prodotto.
Il caso solleva domande che la matematica, come disciplina, non aveva mai dovuto affrontare prima con questa urgenza. Se un sistema artificiale produce un oggetto matematicamente corretto e verificabile ma il cui percorso di scoperta non è ricostruibile, quel risultato è matematica? È una scoperta o è un'estrazione? La risposta pratica, per ora, è semplice: il controesempio è valido, la congettura è falsa. Le implicazioni epistemologiche richiedono più tempo.
Il caso nel contesto della matematica computazionale
Quello della congettura jacobiana non è il primo risultato matematico significativo ottenuto con il supporto di sistemi di intelligenza artificiale, ma si distingue per alcune caratteristiche. Il risultato di OpenAI del maggio 2026 sulla congettura di geometria discreta era stato prodotto da un sistema che aveva generato una dimostrazione strutturata, verificabile passo per passo, e che la comunità aveva potuto analizzare e da cui aveva potuto trarre nuove idee. Il controesempio di Alpöge, per contrasto, è un oggetto singolo: corretto, compatto, ma al momento privo di una cornice teorica che spieghi perché funziona.
Questo tipo di contributo, un sistema artificiale come motore di ricerca avanzato in spazi combinatori enormi, era stato anticipato da diversi ricercatori che lavorano all'intersezione tra intelligenza artificiale e matematica formale. La congettura jacobiana aveva già alcune proprietà che la rendevano un bersaglio plausibile per questo approccio: la verifica di un controesempio è meccanica e rapida, lo spazio di ricerca è vasto ma strutturato, e l'intuizione matematica di un esperto può orientare la ricerca verso zone promettenti.
Ciò che non era chiaro fino al 20 luglio era se i modelli attuali avessero raggiunto la soglia necessaria per farlo. Fable 5 sembra averla raggiunta. Quanto questa soglia si estenda ad altri problemi aperti, e di quale tipo, è la domanda che ora guida il dibattito nei gruppi di ricerca che monitorano le capacità matematiche dei sistemi di intelligenza artificiale di nuova generazione.
