Les mathématiques olympiques (OIM)

La tâche définie est celle des six problèmes de l'IMO dans le temps de l'épreuve (deux sessions de quatre heures et demie), en langage naturel, avec des preuves lues par des correcteurs humains. Les deux systèmes ont résolu les problèmes 1 à 5 et aucun n'a résolu le 6 ; cinq candidats humains ont obtenu 42 sur 42 cette année-là, les meilleurs humains restaient donc devant sur la copie elle-même. Ce dernier écart s'est refermé en juillet 2026 à l'olympiade de Shanghai, où Celia, de Huawei, et dots-note-3.0, de Xiaohongshu, ont obtenu chacun 42 sur 42 sous la notation officielle, après avoir reçu les problèmes une fois les candidats sortis et travaillé dans un temps imparti, toute intervention humaine interdite. Sept des 666 candidats ont fait aussi bien. Quatre autres scores parfaits annoncés la même semaine venaient d'un test privé noté par des machines et relèvent d'une autre colonne. Le niveau médaille d'or est cédé ; la frontière de la recherche mathématique, où les problèmes ne sont pas choisis pour être résolubles en quelques heures, est une autre question.