Mente profondail laboratorio di intelligenza artificiale con sede nel Regno Unito, di proprietà della società madre di Google, Alphabet, ha sviluppato un sistema di intelligenza artificiale chiamato AlphaGeometry in grado di risolvere problemi di geometria complessi vicini alle medaglie d’oro delle Olimpiadi umane.
In un nuovo carta su Nature, DeepMind ha rivelato che AlphaGeometry è stata in grado di risolvere 25 dei 30 problemi geometrici di riferimento del passato Olimpiadi Internazionali della Matematica (IMO) gare entro i limiti di tempo standard. Questo corrisponde quasi al punteggio medio di 26 problemi risolti da medaglie d’oro umane negli stessi test.
Il sistema di intelligenza artificiale combina un modello di linguaggio neurale con un motore di deduzione vincolato a regole, fornendo una sinergia che consente al sistema di trovare soluzioni a teoremi di geometria complessi.
AlphaGeometry ha adottato un approccio rivoluzionario alla generazione di dati sintetici creando un miliardo di diagrammi casuali di oggetti geometrici e derivando relazioni tra punti e linee in ciascun diagramma. Questo processo, denominato “deduzione e tracciamento simbolico”, ha prodotto un set di dati di addestramento finale di 100 milioni di esempi unici, fornendo una ricca fonte per l’addestramento del sistema di intelligenza artificiale.
Secondo DeepMind, AlphaGeometry rappresenta una svolta nel ragionamento matematico per l’intelligenza artificiale, avvicinandolo al livello dei matematici umani. Lo sviluppo di queste competenze è considerato essenziale per il progresso dell’intelligenza artificiale generale.
Evan Chen, allenatore di matematica ed ex medaglia d’oro alle Olimpiadi, ha valutato un campione delle soluzioni di AlphaGeometry. Ha affermato che il risultato ottenuto non era solo corretto, ma anche dimostrazioni pulite e leggibili dall’uomo utilizzando tecniche geometriche standard, a differenza delle soluzioni numeriche disordinate spesso prodotte quando i sistemi di intelligenza artificiale affrontano problemi di matematica con forza bruta.
Anche se finora AlphaGeometry gestisce solo le parti di geometria dei test delle Olimpiadi, le sue competenze da sole sarebbero state sufficienti per guadagnare una medaglia di bronzo in alcuni esami passati. DeepMind spera di continuare a migliorare le sue capacità di ragionamento matematico al punto da poter superare l’intera Olimpiade multidisciplinare.
Migliorare la comprensione della matematica e della logica da parte dell’intelligenza artificiale è un obiettivo chiave per DeepMind e Google. I ricercatori ritengono che la padronanza dei problemi delle Olimpiadi li avvicini di un passo verso un’intelligenza artificiale più generalizzata in grado di scoprire automaticamente nuove conoscenze.
(Fotografato da Dustin Humes SU Unsplash)
Guarda anche: Stability AI rilascia Stable Code 3B per una migliore assistenza nella codifica
Vuoi saperne di più sull’intelligenza artificiale e sui big data dai leader del settore? Guardare Fiera dell’intelligenza artificiale e dei big data che si svolge ad Amsterdam, in California, e a Londra. L’evento completo è co-localizzato con Settimana della trasformazione digitale E Fiera sulla sicurezza informatica e sul cloud.
Esplora altri prossimi eventi e webinar sulla tecnologia aziendale forniti da TechForge Qui.
Fonte: www.artificialintelligence-news.com
