Dieu merci, certains LLM peuvent gagner de l'or aux IMO. Même sur des questions de base en analyse fonctionnelle (comme la décomposition en sous-espaces), o3 donne des questions irrémédiablement fausses. Mais je suis optimiste que dans 1 à 2 ans, ce sera beaucoup mieux.
13,03K