DeepMind fa Storia: AlphaGeometry Risolve 25 Problemi alle Olimpiadi di Matematica

Redazione RHC : 18 Gennaio 2024 11:35

La società britannica DeepMind ha dimostrato le capacità del suo sistema di intelligenza artificiale AlphaGeometry nella risoluzione di complessi problemi geometrici utilizzati alle prestigiose Olimpiadi internazionali di matematica tra gli studenti delle scuole secondarie.

Sulla base dei risultati dei test su 30 problemi delle passate Olimpiadi, AlphaGeometry ne ha completati 25 entro il limite di tempo assegnato. Per fare un confronto, il record precedente dell’IA era di 10 problemi risolti e il risultato medio del vincitore delle Olimpiadi era di 25,9. Pertanto, in termini di competenza geometrica, la rete neurale ha effettivamente raggiunto il risultato “oro” per una persona.

In precedenza, i sistemi di intelligenza artificiale spesso non riuscivano a risolvere tali problemi a causa della mancanza di capacità di ragionamento logico e di dati di addestramento insufficienti. AlphaGeometry si basa su un approccio neuro-simbolico che combina i punti di forza di un modello di linguaggio neurale per trovare rapidamente soluzioni promettenti e inferenza simbolica per dimostrazioni formali.

Sponsorizza la prossima Red Hot Cyber Conference! Il giorno Lunedì 18 maggio e martedì 19 maggio 2026 9 maggio 2026, presso il teatro Italia di Roma (a due passi dalla stazione termini e dalla metro B di Piazza Bologna), si terrà la V edizione della la RHC Conference.  Si tratta dell’appuntamento annuale gratuito, creato dalla community di RHC, per far accrescere l’interesse verso le tecnologie digitali, l’innovazione digitale e la consapevolezza del rischio informatico.  Se sei interessato a sponsorizzare l'evento e a rendere la tua azienda protagonista del più grande evento della Cybersecurity Italiana, non perdere questa opportunità. E ricorda che assieme alla sponsorizzazione della conferenza, incluso nel prezzo, avrai un pacchetto di Branding sul sito di Red Hot Cyber composto da Banner più un numero di articoli che saranno ospitati all'interno del nostro portale.  Quindi cosa stai aspettando? Scrivici subito a [email protected] per maggiori informazioni e per accedere al programma sponsor e al media Kit di Red Hot Cyber. Supporta Red Hot Cyber attraverso:  L'acquisto del fumetto sul Cybersecurity Awareness Ascoltando i nostri Podcast Seguendo RHC su WhatsApp Seguendo RHC su Telegram Scarica gratuitamente “Byte The Silence”, il fumetto sul Cyberbullismo di Red Hot Cyber Se ti piacciono le novità e gli articoli riportati su di Red Hot Cyber, iscriviti immediatamente alla newsletter settimanale per non perdere nessun articolo. La newsletter generalmente viene inviata ai nostri lettori ad inizio settimana, indicativamente di lunedì.

Il sistema AlphaGeometry è stato addestrato su dati sintetici senza utilizzare soluzioni umane già pronte. Il processo prevedeva la generazione di diagrammi geometrici casuali e l’analisi di tutte le possibili relazioni tra gli elementi in tali diagrammi. Il sistema ha poi trovato tutte le prove possibili in ciascun diagramma e ha determinato le strutture geometriche aggiuntive necessarie a tal fine. Il risultato è stato un set completo di dati sintetici di addestramento, inclusi oltre 100 milioni di esempi unici di problemi geometrici e relative soluzioni.

Poiché ogni Olimpiade comprende sei problemi, di cui solo due sono solitamente legati alla geometria, AlphaGeometry può essere applicata solo a un terzo dei problemi in una data Olimpiade. Tuttavia, le sue capacità geometriche la rendono il primo modello di intelligenza artificiale al mondo a ottenere una medaglia di bronzo alle Olimpiadi internazionali della matematica nel 2000 e nel 2015.

DeepMind osserva che il loro obiettivo finale è sviluppare il pensiero matematico per la prossima generazione di intelligenza artificiale. La padronanza riuscita dei problemi delle Olimpiadi in geometria è una pietra miliare importante in questo percorso, aprendo prospettive per l’uso di approcci simili in matematica e campi correlati.

Redazione
La redazione di Red Hot Cyber è composta da un insieme di persone fisiche e fonti anonime che collaborano attivamente fornendo informazioni in anteprima e news sulla sicurezza informatica e sull'informatica in generale.

Lista degli articoli