
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.
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.
Ti è piaciuto questo articolo? Ne stiamo discutendo nella nostra Community su LinkedIn, Facebook e Instagram. Seguici anche su Google News, per ricevere aggiornamenti quotidiani sulla sicurezza informatica o Scrivici se desideri segnalarci notizie, approfondimenti o contributi da pubblicare.

CybercrimeNegli ultimi anni, la sicurezza delle reti ha affrontato minacce sempre più sofisticate, capaci di aggirare le difese tradizionali e di penetrare negli strati più profondi delle infrastrutture. Un’analisi recente ha portato alla luce uno…
VulnerabilitàNegli ultimi tempi, la piattaforma di automazione n8n sta affrontando una serie crescente di bug di sicurezza. n8n è una piattaforma di automazione che trasforma task complessi in operazioni semplici e veloci. Con pochi click…
InnovazioneArticolo scritto con la collaborazione di Giovanni Pollola. Per anni, “IA a bordo dei satelliti” serviva soprattutto a “ripulire” i dati: meno rumore nelle immagini e nei dati acquisiti attraverso i vari payload multisensoriali, meno…
Cyber ItaliaNegli ultimi giorni è stato segnalato un preoccupante aumento di truffe diffuse tramite WhatsApp dal CERT-AGID. I messaggi arrivano apparentemente da contatti conosciuti e richiedono urgentemente denaro, spesso per emergenze come spese mediche improvvise. La…
Cyber NewsL’Italia si trova oggi davanti a una sfida digitale senza precedenti, dove la corsa all’innovazione non sempre coincide con una protezione adeguata delle infrastrutture. Pertanto la sicurezza dei sistemi connessi è diventata l’anello debole della…