Un’IA ha aiutato a confutare nel fine settimana un problema matematico di 87 anni
Nel fine settimana i matematici hanno usato Fable 5 di Anthropic per trovare un controesempio alla congettura jacobiana, aperta dal 1939. Che cosa è successo e perché «un’IA ha fatto matematica» non significa ciò che suggeriscono i titoli.
Nel fine settimana è caduto un celebre problema matematico che resisteva dal 1939, e un modello IA era presente quando è successo. Il matematico Levent Alpoge ha annunciato che la congettura jacobiana è falsa e ha attribuito a Fable 5 di Anthropic il lavoro pesante, svolto mentre guardava la finale dei Mondiali. Terence Tao, considerato uno dei maggiori matematici viventi, ha poi pubblicato un resoconto del risultato. Un ricercatore OpenAI ha inoltre detto che una versione interna di Codex aveva trovato da sola essenzialmente lo stesso controesempio.
Il gergo nasconde un’idea semplice. Una congettura è un’affermazione che i matematici ritengono vera ma non hanno dimostrato. Per confutarla non serve una teoria grandiosa: basta un controesempio, un caso concreto in cui l’affermazione fallisce. È ciò che il modello ha prodotto. E, soprattutto, una volta esistito, i matematici umani hanno potuto verificarlo a mano entro un giorno. L’IA non ha chiesto fiducia: ha consegnato una risposta che regge o cade da sola.
È la seconda storia simile in una settimana; a metà luglio un altro modello avrebbe abbattuto un rompicapo statistico vecchio di decenni. Si sta formando un modello da capire, non da esaltare. Questi sistemi diventano davvero bravi a esplorare enormi spazi di possibilità per una costruzione ingegnosa su cui un umano potrebbe inciampare per anni. Non è «capire» la matematica né intelligenza generale: è un forte strumento di ricerca per problemi in cui ogni proposta costa poco da verificare.
Cosa significa per te: Se non sei un matematico, l’impatto pratico oggi è quasi zero. Ma conta la forma: lascia che il modello proponga e che umani o computer verifichino. Quando la risposta è controllabile, poco importa che il modello a volte inventi, perché un controesempio sbagliato non supera il controllo. Questo principio, usare l’IA per generare e mantenere un modo economico per verificare, vale dal codice con i test a un’affermazione controllabile. «L’IA ha risolto un problema» è un titolo migliore di «l’IA ha proposto un candidato verificato da un esperto», ma la seconda è la versione precisa.
Fonti
Fonti: https://thenextweb.com/news/jacobian-conjecture-disproved-ai-fable-5
Anthropic dice di aver riscritto un milione di righe di codice in due settimane con la propria IA
Anthropic ha mostrato come i suoi ingegneri abbiano usato Claude Code per trasferire enormi basi di codice fra linguaggi in settimane invece che anni.
