DeepMind, una società affiliata ad Alphabet, ha sviluppato una nuova intelligenza artificiale chiamata AlphaGeometry che ha ottenuto risultati impressionanti nella risoluzione di complessi problemi matematici, come quelli presentati nelle Olimpiadi Internazionali di Matematica (IMO). AlphaGeometry ha risolto 25 dei 30 problemi di geometria proposti, superando di gran lunga il precedente record di 10 problemi risolti da un sistema all’avanguardia del 1978. Il sistema utilizza una combinazione innovativa di un modello linguistico avanzato e un motore simbolico per affrontare i problemi. Questa architettura permette di unire il pensiero creativo con il rigore logico, imitando il modo in cui gli esseri umani risolvono i problemi di geometria. AlphaGeometry è stato addestrato con milioni di diagrammi geometrici sintetici, permettendo al sistema di formulare e verificare teoremi in modo autonomo. Questa tecnologia rappresenta un passo significativo verso l’uso dell’IA per il ragionamento e la scoperta di nuove conoscenze matematiche. L’abilità dimostrata da AlphaGeometry apre nuove possibilità non solo nella matematica, ma anche in campi come la visione artificiale, l’architettura e la fisica teorica .DeepMind prevede di estendere questo approccio ad altre aree della matematica, con l’obiettivo di sviluppare un’IA capace di fornire intuizioni innovative nei problemi matematici più avanzati.
Per ulteriori informazioni, visitate il sito di DeepMind o consultate gli articoli pubblicati su MIT Technology Review e Interiorissimi