📌 Riepilogo:

Google DeepMind ha presentato il suo nuovo modello AI specifico per la matematica AlphaGeometry2. Questo modello è capace di risolvere l’84% dei problemi di geometria proposti alle Olimpiadi Matematiche Internazionali degli ultimi 25 anni, superando i vincitori delle medaglie d’oro.

🧠 Dettagli:

• Il modello combina un modello Gemini con un motore simbolico. Ciò permette di affrontare problemi geometrici complessi che richiedono rigorose dimostrazioni e deduzione logica.
• AlphaGeometry2 ha risolto 42 su 50 problemi. Il punteggio medio dei vincitori della medaglia d’oro è di 40,9 punti
• Il training del modello è stato eseguito tramite 300 milioni di teoremi sintetici e dimostrazioni, con una varietà e difficoltà maggiori rispetto alla prima versione

🔍 Perché è importante:
L’intelligenza artificiale ha spesso mostrato difficoltà nell’affrontare problemi matematici anche molto semplici, ma DeepMind sta rapidamente colmando il divario. Questo tipo di AI può accelerare la ricerca scientifica in campi come fisica, ingegneria e scienze computazionali.