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.
Jasper
Co-fondateur et PDG @Hyperbolic_Labs. ex-@avax et ex-@citsecurities. J’ai terminé mon doctorat en mathématiques en 2 ans @UCBerkeley. Médaillé d’or aux Olympiades de mathématiques. La plus haute distinction @PKU1898
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.
87,41K
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.
215,02K
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.
10 juil., 16:47
Grok 4 est à un point où il ne se trompe essentiellement jamais sur les questions d'examen de mathématiques/physique, sauf si elles sont habilement adversariales.
Il peut identifier les erreurs ou les ambiguïtés dans les questions, puis corriger l'erreur dans la question ou répondre à chaque variante d'une question ambiguë.
663,02K
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.
10 juil., 12:01
Présentation de Grok 4, le modèle d'IA le plus puissant au monde. Regardez le livestream maintenant :
3,01K
L'avenir de l'IA est collaboratif
9 juil., 06:09
Sam Altman a été interrogé sur ce qu'il pensait de Zuck et de Meta qui débauchent les meilleurs talents d'OpenAI.
« Ça va... bien... » a-t-il répondu.
Derrière des lunettes conçues par Jony Ive, je ne pouvais pas voir ses yeux. Mais je pouvais sentir la douleur.
Il n'est pas difficile pour Zuck de débaucher des talents d'OpenAI, non seulement parce qu'il a l'argent, mais aussi parce que l'IA open-source remplit la mission originale d'OpenAI.
1,47K
Meilleurs
Classement
Favoris