divertente: 3/4 mesi fa ho eseguito o3 per alcuni accademici su un insieme di problemi in stile AIME. Ci è voluto così tanto tempo per scrivere un riassunto dei risultati (98%) che Alex ha risolto proof+IMO nel frattempo lol
110