amusant : il y a 3/4 mois, j’ai lancé o3 pour des universitaires sur un ensemble de problèmes de style AIME. Il leur a fallu tellement de temps pour écrire un résumé des résultats (96 % irrc) qu’Alex a résolu la preuve et l’OMI 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.