divertente: 3/4 mesi fa ho eseguito o3 per alcuni accademici su un insieme di test privato di problemi simili a quelli dell'AIME. Ci è voluto così tanto tempo per scrivere un riassunto dei risultati (96%) che Alex ha risolto l'IMO nel frattempo.