Quel week-end sauvage autour de l'IA et de l'IMO. En regardant les 3 derniers jours, j'ai été témoin de : > Vendredi après-midi : des informations fuitées sur DeepMind remportant l'or > Samedi 1h du matin : OpenAI a devancé l'annonce officielle, volant la vedette > Au départ, je pensais que Google était juste lent à cause de l'approbation marketing > Puis j'ai entendu de la part de personnes de Google qu'IMO et eux-mêmes avaient besoin de temps supplémentaire pour la vérification > Il s'avère qu'OpenAI n'a même pas impliqué officiellement l'IMO > Lundi : DeepMind a confirmé leur or avec des réponses plus claires et plus esthétiques, entièrement vérifiées par l'IMO C'était amusant d'être le premier à partager la nouvelle sur X vendredi dernier. Quel week-end sauvage ! Blague à part, il y a beaucoup de battage autour de l'IA mathématique ces derniers temps, mais ce dont nous avons besoin, c'est de rigueur et de standardisation. Comme l'a souligné Terence Tao, même si les résultats semblent similaires, des différences dans le format de test peuvent faire une grande différence. Nous sommes encore loin d'avoir des normes et des messages clairs et cohérents dans la recherche en IA. Si nous voulons un progrès significatif, il est temps que la communauté se mobilise. Construisons des références auxquelles nous pouvons tous faire confiance.