Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Nous pourrions nous diriger vers un rebondissement dans la saga OpenAI contre DeepMind IMO.
Je viens de voir un post de Joseph Myers (impliqué dans l'Olympiade de Mathématiques depuis 1992) : le comité IMO aurait demandé aux laboratoires d'IA de ne pas publier les résultats avant 7 jours après la cérémonie de clôture — par respect pour les concurrents humains (voir mon post d'hier) et probablement pour permettre un temps de vérification approprié des soumissions et des formats d'IA.
Selon Joseph, OpenAI n'a pas collaboré avec l'IMO pour tester son modèle, et aucun des 91 coordinateurs officiels de l'IMO n'a été impliqué dans l'évaluation de ses solutions. Pendant ce temps, il semble que DeepMind respecte les règles et attend patiemment son tour.
Pour contexte :
L'IMO a 6 problèmes, chacun valant 7 points. Le seuil d'or de cette année est de 35 points. Même une petite déduction pourrait faire tomber OpenAI à l'argent. Et d'après ma lecture de leurs rapports, certaines parties pourraient soulever des questions — et éventuellement coûter des points.
Terence Tao a également souligné que bien que les problèmes restent les mêmes, les formats de test comptent. Un étudiant qui ne décrocherait pas de bronze dans des conditions standard pourrait obtenir de l'or avec un setup modifié — ce qui soulève de vraies questions sur ce que signifie "résoudre l'IMO" pour l'IA.
La semaine prochaine pourrait être épicée. Restez à l'écoute.
20 juil., 03:15
DeepMind a obtenu une médaille d'or à l'IMO vendredi après-midi. Mais ils ont dû attendre que le marketing approuve le tweet — jusqu'à lundi.
@OpenAI a partagé le leur en premier à 1h du matin samedi et a volé la vedette.
Dans ce jeu, la rapidité > la bureaucratie. Manquez le moment, perdez le récit.
@swierk Ils ont trouvé 3 anciens médaillés de l'IMO qui ne sont pas des coordinateurs officiels de l'IMO : « Pour chaque problème, trois anciens médaillés de l'IMO ont évalué indépendamment la preuve soumise par le modèle, les scores étant finalisés après un consensus unanime. »
19 juil., 15:50
6/N Dans notre évaluation, le modèle a résolu 5 des 6 problèmes de l'IMO 2025. Pour chaque problème, trois anciens médaillés de l'IMO ont évalué indépendamment la preuve soumise par le modèle, avec des scores finalisés après un consensus unanime. Le modèle a obtenu 35/42 points au total, ce qui est suffisant pour l'or ! 🥇
Mon précédent post concernant la demande du comité IMO
20 juil., 05:42
Clarification : On m'a dit par quelqu'un chez Google que leurs résultats de l'IMO sont encore en cours de vérification en interne. Une fois cela fait, ils prévoient de les partager officiellement—je suis curieux de voir leur approche.
Une autre source a mentionné que le comité de l'IMO a demandé de ne pas discuter publiquement de l'implication de l'IA dans la semaine suivant la cérémonie de clôture. Les choses viennent de devenir un peu plus intéressantes 🧐
@GoogleDeepMind, le responsable de l'équipe de raisonnement surhumain @lmthang a également soulevé la question de savoir si OpenAI gagnerait une médaille d'or ou d'argent.
20 juil., 05:42
Clarification : On m'a dit par quelqu'un chez Google que leurs résultats de l'IMO sont encore en cours de vérification en interne. Une fois cela fait, ils prévoient de les partager officiellement—je suis curieux de voir leur approche.
Une autre source a mentionné que le comité de l'IMO a demandé de ne pas discuter publiquement de l'implication de l'IA dans la semaine suivant la cérémonie de clôture. Les choses viennent de devenir un peu plus intéressantes 🧐
@GoogleDeepMind le responsable de l'équipe de raisonnement surhumain @lmthang qui a construit AlphaGeometry a également soulevé la question de savoir si OpenAI gagnerait une médaille d'or ou d'argent.
il y a 19 heures
Oui, il existe une directive officielle de marquage des organisateurs de l'IMO qui n'est pas disponible en externe. Sans l'évaluation basée sur cette directive, aucune demande de médaille ne peut être faite. Avec un point de moins, c'est un Argent, pas un Or.
@swierk Oui, il y a de plus en plus de questions soulevées par les mathématiciens et les personnes travaillant dans l'IA.
il y a 15 heures
@GoogleDeepMind le responsable de l'équipe de raisonnement surhumain @lmthang qui a construit AlphaGeometry a également soulevé la question de savoir si OpenAI gagnerait une médaille d'or ou d'argent.
87,32K
Meilleurs
Classement
Favoris