Era unrompicaporimasto aperto da 80 anni, l'enigma matematico orarisoltocon l'Intelligenza Artificialeinmanieradel tuttoautonoma.Ai matematici dell'azienda OpenAIè bastato impartire un singolo comando a un chatbot, cioè un software progettato per simulare una conversazione con un essere umano, per ottenere la soluzione. Come riporta la rivista Nature sul suo sito, l'azienda statunitense non ha rivelato il nome del chatbot utilizzato e non ha ancora pubblicato per intero le 125 pagine del documento che illustra il procedimento, ma ilrisultatoè statoverificatoin maniera indipendente da matematici non collegati a OpenAI.

Nel1946ilmatematico ungherese Paul Erdősformulò un problema geometricochiamato 'problemadella distanza unitaria'. Il rompicapo chiede di trovare laconfigurazione geometrica più densa possibileper uninsiemedipuntisu un piano, in modo che il maggior numero possibile di coppie di punti si trovino a una certa distanza l'una dall'altra. Erdős elaborò unagriglia quadratache, a suo parere, offriva ladisposizione miglioreesfidòqualcuno afare di meglio. Quel qualcuno è oral'IA.

"Questo è il primo risultato prodotto autonomamente da un'IA che trovo interessante di per sé", afferma Daniel Litt dell'Università di Toronto, tra i matematici indipendenti chiamati a verificare la soluzione. "Ci aspettavamo tutti di vedere qualcosa del genere prima o poi, ma non così presto", aggiunge Mark Sellke, ricercatore di OpenAI a San Francisco: "È unenorme passo avanti rispetto a quello a cui eravamo abituati solo un mese fa".

Secondo quanto riporta il documento pubblicato sul sito dell'azienda, ilchatbothatrovatolarispostautilizzandotecniche di algebra, che gli hanno permesso discegliere puntile cuicoordinateeranosoluzioni di particolari equazioni. I ricercatori affermano che si tratta di unsoftware sperimentale non specificamente progettato per risolvere problemi matematici, e che la domanda posta non era una richiesta esplicita di dimostrare l'erroneità della soluzione proposta da Erdős: unapproccio oppostoa quello adottato finora, in cui il modo con il quale viene formulata la domanda è cruciale per ottenere la risposta appropriata.