fun : 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 tellement de temps pour rédiger un résumé des résultats (96 % si je me souviens bien) qu'Alex a résolu la preuve et l'IMO entre-temps lol

@littmath Cela dit, il n'est pas clair si la preuve sera résolue d'ici le moment où ils publieront ce brouillon.