Sapevi che un’intelligenza artificiale ha raggiunto il livello della medaglia d’oro alle Olimpiadi Internazionali di Matematica? In duemila venticinque, una versione di ricerca di Gemini Deep Think risolve cinque dei sei problemi. Qui, devi produrre un ragionamento, non solo indovinare un risultato. Questi problemi richiedono la costruzione di una dimostrazione che i correttori di bozze possono esaminare. Una figura geometrica illustra questa idea, senza pretendere di essere una soluzione del concorso. Una bella figura non prova nulla da sola: ogni passo deve essere giustificato per diventare una vera prova matematica.
Il sistema segna trentacinque punti su quarantadue, con una valutazione ufficiale annunciata. Questo punteggio raggiunge la soglia dell'oro di questa edizione. Non è necessario inventare una medaglia fisica, un posto di studente nella stanza o una vittoria su tutti i matematici.
Il risultato è una versione di ricerca avanzata e problemi specifici. Non garantisce che ogni risposta da un chatbot mainstream sia giusta. Il progresso è spettacolare, ma la domanda rimane la stessa: una dimostrazione è vera, anche quando una macchina sembra convincente.
Cosa sappiamo
Il risultato35/42 riguarda una versione di ricerca avanzata e l’edizione 2025. Non garantisce le risposte di un chatbot tradizionale.
Per andare alla fonte
Riferimenti consultati il 12 ottobre 2026.
Signaler une erreur ou apporter une précision
