I sistemi di intelligenza artificiale di Google DeepMind possono ora risolvere problemi matematici complessi

1. Google DeepMind ha sviluppato due sistemi di intelligenza artificiale, AlphaProof e AlphaGeometry 2, che possono risolvere complessi problemi matematici che coinvolgono ragionamenti avanzati. 2. Questi sistemi hanno lavorato insieme per risolvere quattro problemi su sei dell'Olimpiade Internazionale di Matematica (IMO), ottenendo una medaglia d'argento. 3. Questo è il primo caso in cui un sistema di IA ha raggiunto tale alto tasso di successo su questo tipo di problemi. 4. I problemi matematici che coinvolgono ragionamenti avanzati sono difficili per i sistemi di IA perché richiedono la formazione e l'utilizzo di astrazioni, pianificazione gerarchica complessa e fissazione di sottoscopi. 5. AlphaProof è un sistema basato sull'apprendimento per rinforzo che si addestra a dimostrare affermazioni matematiche nel linguaggio di programmazione formale Lean. 6. Gemini AI è sintonizzato per tradurre automaticamente i problemi matematici dal linguaggio naturale in affermazioni formali, creando una grande libreria di problemi matematici formali. 7. Automatizzare questo processo è un grande passo avanti per la comunità matematica, consentendo una maggiore fiducia nella correttezza dei risultati pubblicati e un lavoro più collaborativo. 8. AlphaGeometry 2 è stato ottimizzato per affrontare problemi di geometria e è stato addestrato su dati sintetici significativamente più numerosi del suo predecessore. 9. Due matematici rinomati hanno verificato le sottomissioni dei sistemi e hanno assegnato loro un totale di 28 punti su un massimo di 42, che varrebbe una medaglia d'argento per un partecipante umano. 10. Creare sistemi di IA che possono risolvere problemi matematici più impegnativi potrebbe aprire la strada a collaborazioni umano-IA emozionanti e aiutare a comprendere meglio come gli esseri umani affrontano la matematica.