AlphaProof e AlphaGeometry 2: argento alle Olimpiadi internazionali di matematica
In una frase DeepMind annuncia che AlphaProof (su Lean) e AlphaGeometry 2 hanno risolto 4 su 6 problemi delle Olimpiadi internazionali di matematica 2024, raggiungendo la soglia della medaglia d'argento.
DeepMind aveva mostrato a gennaio AlphaGeometry per i problemi di geometria delle olimpiadi. Sei mesi dopo annuncia un sistema che gestisce tutti i tipi di problema, non solo geometria.
Lo hanno fatto correre sui 6 problemi delle Olimpiadi internazionali di matematica 2024 (quelle vere, di luglio, dove gareggiano i migliori studenti del mondo). Ne ha risolti 4 su 6, ottenendo punteggio da medaglia d'argento. Solo i migliori 1 su 4 partecipanti umani arriva a quel livello.
Tempo impiegato: per alcuni problemi ore o giorni di calcolo. I gareggianti umani hanno 9 ore totali. Ma il risultato resta storico.
Aziende
Google DeepMind
Tool
AlphaProof, AlphaGeometry 2
Tag
Fonti