Red Hot Cyber
La cybersecurity è condivisione. Riconosci il rischio, combattilo, condividi le tue esperienze ed incentiva gli altri a fare meglio di te.
Cerca

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.


PARTE LA PROMO ESTATE -40%

RedHotCyber Academy lancia una promozione esclusiva e a tempo limitato per chi vuole investire nella propria crescita professionale nel mondo della tecnologia e della cybersecurity!

Approfitta del 40% di sconto sull’acquisto congiunto di 3 corsi da te scelti dalla nostra Academy. Ad esempio potresti fare un percorso formativo includendo Cyber Threat intelligence + NIS2 + Criptovalute con lo sconto del 40%. Tutto questo lo potrai fruire, dove e quando vuoi e con la massima flessibilità, grazie a lezioni di massimo 30 minuti ciascuna.

Contattaci tramite WhatsApp al 375 593 1011 per richiedere ulteriori informazioni oppure scriviti alla casella di posta [email protected]



Supporta RHC attraverso:


Ti piacciono gli articoli di Red Hot Cyber? Non aspettare oltre, iscriviti alla newsletter settimanale per non perdere nessun articolo.


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

Articoli in evidenza

La verità scomoda sul lavoro e l’AI: il 99% lotta, l’1% vince

L’11 luglio, ora locale, è stato rivelato che Google DeepMind aveva “reclutato” con successo il team principale della startup di intelligenza artificiale Windsurf. Non molto ...

Alla scoperta di Scattered Spider: la minaccia criminale che utilizza tattiche e tecniche avanzate

A cura del Cyber Defence Center Maticmind (Andrea Mariucci, Riccardo Michetti, Federico Savastano, Ada Spinelli) Il threat actor SCATTERED SPIDER, UNC9344 fa la sua comparsa nel 2022, con due attacchi...

DDoS sotto controllo: come l’Italia ha imparato a difendersi dagli attacchi degli hacktivisti

In seguito alla conferenza per la ricostruzione dell’Ucraina gli hacktivisti del gruppo russofono di NoName(057)16 hanno avviato una nuova campagna di attacchi DDoS con obiettivo diversi target...

NoName057(16) sferra nuovi attacchi DDoS contro organizzazioni italiane e avverte su Telegram

Questa mattina, gli hacker di NoName057(16) hanno sferrato attacchi DDoS contro diversi obiettivi italiani. Name057(16) è un gruppo di hacker che si è dichiarato a m...

Tasting the Exploit: HackerHood testa l’exploit su Wing FTP Server del CVE-2025-47812 da Score 10

Questo strumento è destinato esclusivamente a scopi didattici e di penetration testing autorizzati. L’autore non si assume alcuna responsabilità per eventuali usi impropri o dann...