Mentre milioni di persone seguivano la finale dei Mondiali di calcio tra Spagna e Argentina, nel mondo della matematica si verificava una scoperta destinata a far discutere. Il matematico Levent Alp�ge ha annunciato su X che la congettura Jacobiana, un problema rimasto irrisolto per quasi 90 anni, era stata dimostrata falsa grazie alla collaborazione con un modello di intelligenza artificiale.
Il contributo decisivo � arrivato da Fable 5, il pi� recente modello avanzato sviluppato da Anthropic. Il sistema, lavorando insieme ad Alp�ge, ha individuato un controesempio lungo appena poche centinaia di caratteri capace di mettere in crisi una delle questioni pi� note della matematica moderna. La congettura di Jacobian risale al 1939 e riguarda particolari trasformazioni polinomiali.
In termini semplificati, sosteneva che una funzione matematica con determinate caratteristiche, tra cui un determinante della matrice Jacobiana costante e diverso da zero, dovesse sempre avere un'inversa dello stesso tipo. Nel corso degli anni il problema era diventato una delle grandi sfide aperte della disciplina, tanto da essere inserito da Stephen Smale tra le questioni matematiche pi� importanti del nuovo millennio. Il risultato ottenuto dall'AI non rappresenta una dimostrazione completa, ma un elemento sufficiente per confutare la teoria: trovare anche un solo caso valido in cui l'affermazione non funziona � infatti abbastanza per rendere falsa una congettura.
