AlphaGeometry: DeepMind risolve la geometria delle olimpiadi
In una frase DeepMind pubblica su Nature AlphaGeometry, sistema neuro-simbolico che risolve problemi di geometria delle olimpiadi internazionali (IMO) a livello da medaglia, senza dati umani annotati.
DeepMind presenta un'intelligenza artificiale capace di risolvere problemi di geometria difficilissimi, di quelli che si vedono alle Olimpiadi della matematica.
La cosa interessante è che non l'hanno addestrata con soluzioni scritte da umani. Hanno fatto generare al computer milioni di problemi di geometria sintetici e le relative soluzioni, poi hanno usato quei dati per insegnarle.
Il sistema unisce due cose: una rete neurale (come quelle di ChatGPT) che "ha intuizioni" su quali costruzioni geometriche aggiungere alla figura, e un motore simbolico classico che fa la dimostrazione passo-passo in modo rigoroso. Insieme, raggiungono il livello di un medagliato olimpico.
Aziende
Google DeepMind
Tool
AlphaGeometry
Tag
Fonti