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.

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.

Il y a juste 20 minutes, le résultat de l'IMO 2025 a été publié. La Chine a terminé première et @GoogleDeepMind a remporté une médaille d'or 🥇 Les futures compétitions de mathématiques seront l'équipe de Chine contre l'équipe chinoise des États-Unis contre l'IA.

À mesure que les modèles d'IA se développent, l'optimisation pour les FLOPS/$ (puissance de calcul par dollar) devient cruciale. Découvrez comment Hyperbolic peut optimiser vos coûts GPU ci-dessous 🧵

Que pensez-vous de cette idée de panneau d'affichage pour Hyperbolic ?

Nous venons de lancer notre Devis Instantané pour GPU Réservés : parfait pour les équipes d'IA ayant besoin de calcul dédié pendant de plus longues périodes. Obtenez un prix instantané pour vos besoins d'infrastructure exacts directement dans notre application !

Je viens de finir le travail et j'ai essayé Grok-4 sur un problème de topologie de premier cycle. Cela a pris 9 minutes pour réfléchir et ensuite a donné avec confiance une réponse propre, plausible, mais totalement fausse 😅 Je ne pense pas que celui-ci puisse être qualifié de "habilement adversarial." Les modèles d'IA écrasent les benchmarks — mais il reste encore un long chemin à parcourir pour une AGI mathématique réelle.

Grok a obtenu un score parfait à l'AIME 🤯 Nous avons définitivement besoin d'une meilleure référence mathématique pour l'IA maintenant.

Le meilleur modèle de raisonnement open-source sera publié jeudi prochain si tout se passe bien. OpenAI n'a pas publié de LLM en open-source depuis GPT-2 en 2019, donc je suis excité. Nous l'hébergeons sur Hyperbolic. Accrochez-vous.

L'avenir de l'IA est collaboratif