Brown a en outre expliqué qu’environ deux mois plus tôt, l’OMI avait invité OpenAI à participer à une version formelle du concours basé sur Lean, qui est un langage de programmation conçu pour écrire des preuves mathématiques. L’entreprise a refusé parce qu’elle était «axée sur le raisonnement général en langage naturel sans les contraintes de Lean». Il a déclaré qu’ils n’étaient “jamais approchés d’une option mathématique en langue naturelle”.
Cependant, un coordinateur de l’OMI a déclaré à l’utilisateur de X Mikhail Samin qu’Openai avait en fait annoncé avant la cérémonie de clôture, contredisant la réclamation de Brown. Le coordinateur a qualifié les actions d’Openai de “grossières et inappropriées”, notant qu’Openai “n’était pas l’une des sociétés d’IA qui ont coopéré avec l’IMO pour tester leurs modèles”.
Math dure depuis 1959
L’Olympiade mathématique internationale, qui se déroule depuis 1959, représente l’un des tests les plus difficiles du raisonnement mathématique. Plus de 100 pays envoient six participants chacun, les candidats confrontés à six problèmes de preuve sur deux séances de 4,5 heures. Les problèmes nécessitent généralement une perspicacité mathématique profonde et une créativité plutôt qu’une puissance de calcul brute. Vous pouvez voir les problèmes exacts de l’Olympiad en 2025 publiés en ligne.
Par exemple, le problème demande aux élèves d’imaginer une grille triangulaire de points (comme un panneau perforé triangulaire) et de déterminer comment couvrir tous les points en utilisant exactement n lignes droites. La torsion est que certaines lignes sont appelées “ensoleillées” – ce sont les lignes qui ne fonctionnent pas horizontalement, verticalement ou en diagonale à un angle de 45 °. Le défi est de prouver que peu importe la taille de votre triangle, vous ne pouvez jamais créer des modèles avec exactement 0, 1 ou 3 lignes ensoleillées – jamais 2, jamais 4, jamais aucun autre numéro.
Le moment des résultats de l’OpenAI a surpris certains marchés de prédiction, qui avaient attribué une probabilité d’environ 18% à tout système d’IA Gold Gold d’ici 2025.
Après l’annonce d’Openai et notre publication initiale de cet article, Google Deepmind a publié ses propres résultats de l’OMI, affirmant également la performance de la médaille d’or avec son modèle Gemini Deep Think résolvant cinq des six problèmes. Contrairement à OpenAI, Google a travaillé directement avec les organisateurs de l’OMI et a obtenu ses résultats officiellement classés et certifiés par les coordinateurs de l’OMI. Google prévoyait d’adhérer à l’embargo du 28 juillet, mais a augmenté son annonce après la sortie anticipée d’Openai.
Le scientifique senior DeepMind Thang Luong a déclaré à ARS Technica: “Nous avons confirmé avec l’organisation OMI que nous avons réellement résolu cinq.
Ce message a été mis à jour le 22 juillet avec des informations sur une nouvelle déclaration de Noam Brown et les résultats de l’annonce de l’OMI de Google Deepmind.
Sur le même sujet
