Sessant'anni di tentativi falliti su un problema di teoria dei numeri e a risolverlo è stato un ventitreenne, senza alcuna formazione scientifica avanzata. Armato solo di un abbonamento a ChatGpt, Liam Price, ha fatto quello che i dipartimenti di matematica più prestigiosi al mondo non erano riusciti a fare: dimostrare una delle più complicate congetture di Paul Erdős, il matematico ungherese che ha lasciato alla comunità scientifica decine di sfide irrisolte. È successo un pomeriggio qualunque, seduto al suo computer: ha aperto ChatGpt, ha pescato a caso una congettura dal sito dedicato a Erdős, l'ha digitata nell'AI e ha aspettato. «Non sapevo di che si trattasse» - ha raccontato a Scientific American -. Stavo semplicemente provando a risolvere i problemi di Erdős, come faccio a volte, sottoponendoli all'AI per vedere se ci riesce».