Grazie a Dio che alcuni LLM possono vincere medaglie d'oro agli IMO. Anche su domande di analisi funzionale di base (come la decomposizione degli spazi), o3 fornisce domande irrimediabilmente sbagliate. Ma sono ottimista che tra 1-2 anni sarà molto meglio.