Liam Price, un giovane di 23 anni senza una formazione matematica avanzata, ha contribuito alla soluzione di una storica congettura di Paul Erdős utilizzando OpenAI ChatGPT quasi per gioco.
La congettura riguardava gli “insiemi primitivi”, strutture numeriche studiate nella teoria dei numeri, su cui i matematici lavoravano senza successo da decenni.
Secondo Terence Tao, l’AI ha avuto il merito di esplorare una strada concettuale che gli esperti avevano ignorato a causa di un “blocco mentale collettivo”.
La dimostrazione prodotta da ChatGPT era imperfetta e difficile da leggere, ma ha indicato il metodo corretto, successivamente rielaborato dai matematici Jared Lichtman e Kevin Barreto.
Il risultato non solo risolve una congettura storica, ma introduce anche un nuovo approccio teorico che potrebbe influenzare future ricerche sulla struttura dei grandi numeri.
Tag: PaulErdos
-
ChatGPT permette a un 23enne di risolvere casualmente una congettura matematica rimasta aperta per 60 anni