il y a 3/4 mois, j'ai utilisé o3 pour des travaux académiques sur un ensemble de problèmes de style AIME. Il leur a fallu si longtemps pour rédiger un résumé des résultats (98%) qu'Alex a résolu proof+IMO entre-temps lol
83