DeepMind fa Storia: AlphaGeometry Risolve 25 Problemi alle Olimpiadi di Matematica
Red Hot Cyber
Condividi la tua difesa. Incoraggia l'eccellenza. La vera forza della cybersecurity risiede nell'effetto moltiplicatore della conoscenza.
Cerca
970x120
Fortinet 320x100px
DeepMind fa Storia: AlphaGeometry Risolve 25 Problemi alle Olimpiadi di Matematica

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.


Christmas Sale

Christmas Sale -40%
𝗖𝗵𝗿𝗶𝘀𝘁𝗺𝗮𝘀 𝗦𝗮𝗹𝗲! Sconto del 𝟰𝟬% 𝘀𝘂𝗹 𝗽𝗿𝗲𝘇𝘇𝗼 𝗱𝗶 𝗰𝗼𝗽𝗲𝗿𝘁𝗶𝗻𝗮 del Corso "Dark Web & Cyber Threat Intelligence" in modalità E-Learning sulla nostra Academy!🚀 Fino al 𝟯𝟭 𝗱𝗶 𝗗𝗶𝗰𝗲𝗺𝗯𝗿𝗲, prezzi pazzi alla Red Hot Cyber Academy. 𝗧𝘂𝘁𝘁𝗶 𝗶 𝗰𝗼𝗿𝘀𝗶 𝘀𝗰𝗼𝗻𝘁𝗮𝘁𝗶 𝗱𝗲𝗹 𝟰𝟬% 𝘀𝘂𝗹 𝗽𝗿𝗲𝘇𝘇𝗼 𝗱𝗶 𝗰𝗼𝗽𝗲𝗿𝘁𝗶𝗻𝗮.
Per beneficiare della promo sconto Christmas Sale, scrivici ad [email protected] o contattaci su Whatsapp al numero di telefono: 379 163 8765.


Supporta Red Hot Cyber attraverso: 

  1. L'acquisto del fumetto sul Cybersecurity Awareness
  2. Ascoltando i nostri Podcast
  3. Seguendo RHC su WhatsApp
  4. Seguendo RHC su Telegram
  5. 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.

Immagine del sitoRedazione
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

Immagine del sito
Il QDay è vicino? QuantWare presenta il processore quantistico da 10.000 qubit
Di Redazione RHC - 10/12/2025

Il mondo della tecnologia quantistica ha compiuto un balzo in avanti impressionante: QuantWare ha presentato il primo processore al mondo da 10.000 qubit, 100 volte più di qualsiasi dispositivo esist...

Immagine del sito
Ivanti risolve 4 vulnerabilità critiche in Endpoint Manager (EPM)
Di Redazione RHC - 10/12/2025

Un aggiornamento urgente è stato pubblicato da Ivanti per la sua piattaforma Endpoint Manager (EPM), al fine di risolvere un insieme di vulnerabilità significative che potrebbero permettere agli agg...

Immagine del sito
CISA avverte: bug critici in WinRAR e Windows aggiunti al KEV. Patch immediate necessarie
Di Redazione RHC - 10/12/2025

A seguito della scoperta di exploit attivi, la Cybersecurity and Infrastructure Security Agency (CISA) ha inserito due vulnerabilità critiche al catalogo Known Exploited Vulnerabilities (KEV) dell’...

Immagine del sito
Microsoft rilascia aggiornamenti urgenti per un bug zero-day di PLE sfruttato in Windows
Di Redazione RHC - 10/12/2025

Una vulnerabilità zero-day nel driver Windows Cloud Files Mini Filter (cldflt.sys) è attualmente oggetto di sfruttamento attivo. Microsoft ha provveduto al rilascio di aggiornamenti di sicurezza urg...

Immagine del sito
Vulnerabilità critica in FortiOS e altri prodotti Fortinet: aggiornamenti urgenti
Di Redazione RHC - 10/12/2025

Una vulnerabilità critica, monitorata con il codice CVE-2025-59719, riguarda le linee di prodotti FortiOS, FortiWeb, FortiProxy e FortiSwitchManager è stata segnalata da Fortinet tramite un avviso d...