Tra il 2025 e il 2026 i modelli linguistici hanno risolto problemi matematici aperti da decenni e ottenuto punteggi da medaglia d'oro alle Olimpiadi. Le istituzioni certificano i risultati, non il metodo: resta aperta la domanda su cosa significhi, per un'IA, comprendere