L'IA ha appena vinto l'oro all'Olimpiade Internazionale di Matematica 🥇
I modelli di OpenAI e Google hanno risolto 5/6 problemi utilizzando LLM generali sotto le regole reali dell'esame.
L'era dell'AGI per la matematica formale è iniziata 👇
Vincere l'oro significa ottenere 35/42. È un livello raggiunto solo da un pugno di studenti delle scuole superiori d'élite in tutto il mondo.
Sia i modelli di OpenAI che quelli di Google hanno centrato l'obiettivo.
Niente calcolatrici. Niente ricerche. Solo ragionamento in linguaggio naturale.
La modalità "Deep Think" di Gemini 2.5 di Google:
- Ha esplorato soluzioni in parallelo
- È stata addestrata su strategie di prova e corpora matematici
- Ha utilizzato l'apprendimento per rinforzo su compiti di ragionamento a più passaggi
Le sue prove erano così rifinite che i valutatori IMO le hanno definite pubblicabili.
Il modello di OpenAI non è stato addestrato per l'IMO.
Ha utilizzato:
- Tecniche generali di RL
- Nessun accesso a internet o strumenti
- Prove in linguaggio naturale
OpenAI ha fatto valutare ciascuna prova in modo indipendente da 3 ex medaglisti dell'IMO, con consenso unanime.
Il modello sapeva persino quando non aveva una risposta valida per P6... dimostrando le sue abilità nel ragionamento, nel controllo degli errori e nella consapevolezza di sé.
Crediamo che il maggiore impatto dell'IA possa risiedere nella matematica.
Perché? Perché la matematica alimenta tutto, dalla logica DeFi alla sicurezza dei protocolli, ed è verificabile.
Le IA che ragionano come i vincitori della Medaglia Fields trasformeranno il modo in cui costruiamo.
Nei prossimi anni, ci aspettiamo che l'IA:
• Perfezioni la matematica a livello di scuola superiore e università (IMO, Putnam)
• Risolva problemi di ricerca avanzati
• Contribuisca a prove formalizzate di teoremi fondamentali
• Scala la matematica collaborativa e decentralizzata
Vediamo un futuro in cui la matematica non è solo automatizzata, ma è democratizzata, senza fiducia e componibile. 💙
3.223
72
Il contenuto di questa pagina è fornito da terze parti. Salvo diversa indicazione, OKX non è l'autore degli articoli citati e non rivendica alcun copyright sui materiali. Il contenuto è fornito solo a scopo informativo e non rappresenta le opinioni di OKX. Non intende essere un'approvazione di alcun tipo e non deve essere considerato un consiglio di investimento o una sollecitazione all'acquisto o alla vendita di asset digitali. Nella misura in cui l'IA generativa viene utilizzata per fornire riepiloghi o altre informazioni, tale contenuto generato dall'IA potrebbe essere impreciso o incoerente. Leggi l'articolo collegato per ulteriori dettagli e informazioni. OKX non è responsabile per i contenuti ospitati su siti di terze parti. Gli holding di asset digitali, tra cui stablecoin e NFT, comportano un elevato grado di rischio e possono fluttuare notevolmente. Dovresti valutare attentamente se effettuare il trading o detenere asset digitali è adatto a te alla luce della tua situazione finanziaria.