L’intelligenza artificiale potrebbe aver appena scritto una pagina destinata a entrare nella storia della matematica. Il 20 luglio Levent Alpöge, matematico di Anthropic, ha pubblicato su X un messaggio di appena sette parole: “hello there the jacobian conjecture is false”. Dietro quella frase si nasconde una notizia che, se confermata dalla comunità scientifica, metterebbe fine a uno dei problemi più resistenti dell’algebra moderna, aperto dal 1939. L’autore del controesempio non sarebbe un ricercatore umano, bensì Claude Fable 5, un modello sperimentale sviluppato da Anthropic.
L’elemento più sorprendente non è soltanto il risultato, ma il suo autore. Alpöge ha attribuito la scoperta a Claude Fable 5, una versione sperimentale del modello sviluppato da Anthropic, spiegando che il sistema aveva individuato un controesempio estremamente compatto. L’intera costruzione matematica occuperebbe appena 216 caratteri. In matematica, tuttavia, la dimensione di una formula conta poco. Un singolo controesempio corretto è sufficiente per demolire una proposizione ritenuta valida in generale. Non servono migliaia di pagine di dimostrazione: basta un caso che violi la regola.
La cosiddetta Jacobian Conjecture appartiene alla geometria algebrica ed è stata formulata nel 1939 dal matematico tedesco Ott Heinrich Keller. In termini intuitivi, riguarda particolari trasformazioni polinomiali di uno spazio multidimensionale. La congettura sostiene che, se il determinante jacobiano della trasformazione è costante e diverso da zero, allora quella trasformazione deve essere invertibile mediante un’altra trasformazione anch’essa polinomiale. Dietro questa formulazione tecnica si nasconde un principio fondamentale: ogni risultato dovrebbe derivare da un unico punto di partenza e il percorso dovrebbe poter essere ricostruito senza ambiguità.
Per oltre ottant’anni il problema ha resistito agli sforzi dei migliori matematici del mondo. Sono stati dimostrati numerosi casi particolari e la validità della congettura è stata verificata in dimensioni ridotte o sotto ipotesi aggiuntive, ma una dimostrazione generale oppure un controesempio concreto non erano mai stati trovati. Nel tempo la Jacobian Conjecture è diventata uno dei grandi problemi aperti dell’algebra, strettamente collegata ad altre questioni profonde della matematica contemporanea, tanto da generare migliaia di articoli scientifici.
Secondo quanto riportato da Alpöge, Claude Fable 5 avrebbe identificato una trasformazione nella quale tre punti distinti vengono mappati nello stesso risultato pur rispettando le condizioni che, secondo la congettura, avrebbero dovuto garantire l’invertibilità. Se il calcolo è corretto, il principio cade immediatamente. In matematica non esistono vittorie ai punti: un solo controesempio vale più di cento dimostrazioni incomplete.
La rapidità con cui la comunità scientifica ha reagito rappresenta un altro elemento interessante. Kevin Buzzard, matematico dell’Imperial College London noto per il suo lavoro sulla formalizzazione delle dimostrazioni matematiche e sull’uso di assistenti automatici come Lean, ha analizzato pubblicamente il risultato poche ore dopo la pubblicazione, contribuendo a verificarne la correttezza preliminare. Naturalmente una verifica informale non equivale alla validazione definitiva da parte della comunità matematica. Saranno necessari controlli indipendenti, pubblicazioni sottoposte a revisione tra pari e probabilmente anche verifiche mediante software di proof checking. Tuttavia il fatto che esperti abbiano potuto controllare rapidamente il controesempio dimostra quanto fosse ben costruita la procedura proposta.
La strategia adottata da Alpöge merita attenzione perché rivela un possibile nuovo metodo di ricerca assistita dall’intelligenza artificiale. Invece di affidare al modello problemi vaghi o creativi, è stato scelto un obiettivo con una risposta binaria. Il risultato era immediatamente verificabile. Se il modello avesse sbagliato, sarebbero bastati pochi secondi per accorgersene. Se invece avesse individuato un controesempio valido, la scoperta avrebbe avuto un valore enorme. È un approccio che riduce drasticamente il rischio delle cosiddette allucinazioni, poiché ogni ipotesi può essere sottoposta a un controllo matematico oggettivo.
Questo episodio evidenzia anche un cambiamento più profondo nella relazione tra esseri umani e sistemi di AI. Gran parte degli utenti continua a utilizzare modelli linguistici per riassumere documenti, scrivere email o generare presentazioni. Nel frattempo alcuni ricercatori stanno sperimentando gli stessi sistemi come collaboratori nella ricerca fondamentale. La differenza non è tanto nella potenza del modello quanto nella qualità del problema posto e nella progettazione del processo di verifica.
Esiste inoltre un aspetto che potrebbe avere conseguenze molto più ampie. Le principali liste dei problemi matematici aperti sono pubbliche, ben documentate e disponibili in formato digitale. Questo significa che rappresentano un enorme banco di prova naturale per i modelli di frontiera. Ogni problema costituisce un obiettivo definito, con criteri di verifica estremamente rigorosi e privi di ambiguità. Dal punto di vista dell’intelligenza artificiale, è uno scenario ideale per testare capacità di ragionamento avanzato, ricerca simbolica e generazione di nuove strutture matematiche.
Naturalmente occorre mantenere prudenza. La storia della matematica conosce numerosi annunci clamorosi poi rivelatisi errati dopo analisi più approfondite. Anche in questo caso la conferma definitiva richiederà tempo e un consenso della comunità scientifica. Tuttavia, indipendentemente dall’esito finale, il segnale è già evidente. L’intelligenza artificiale non sta più limitandosi ad accelerare il lavoro degli studiosi o ad assisterli nella scrittura. Sta iniziando a produrre ipotesi originali che possono essere sottoposte a verifica rigorosa.
Se Claude Fable 5 avrà davvero trovato il primo controesempio della Jacobian Conjecture, non sarà soltanto la soluzione di un problema aperto dal 1939. Sarà la dimostrazione che i modelli linguistici stanno evolvendo verso strumenti capaci di partecipare alla scoperta scientifica, almeno nei domini dove ogni affermazione può essere verificata con precisione matematica. È una differenza sostanziale. Un sistema che produce testo può essere utile. Un sistema che genera nuova conoscenza verificabile modifica invece il modo stesso in cui immaginiamo il futuro della ricerca.