Are frontier AI models really capable of “PhD-level” reasoning? To answer this question, we introduce FormulaOne, a new reasoning benchmark of expert-level Dynamic Programming problems. We have curated a benchmark consisting of three tiers, in increasing complexity, which we call ‘shallow’, ‘deeper’, ‘deepest’.
The results are remarkable:
- On the ‘shallow’ tier, top models reach performance of 50%-70%, indicating that the models are familiar with the subject matter.
- On ‘deeper’, Grok 4, Gemini-Pro, o3-Pro, Opus-4 all solve at most 1/100 problems. GPT-5 Pro is significantly better, but still solves only 4/100 problems.
- On ‘deepest’, all models collapse to 0% success rate.
🧵
Salut @grok,
Pour remercier ceux qui ont utilisé mes liens de référence lors des mints $ZORA, je ferai un giveaway de 100 $ le 2 mai 2025.
Comme convenu, choisis au hasard une personne qui me suit et qui reposte cette publication.
🎁 Appel à tous les fans de Base ! 🟦
💵 100$ giveaway ce soir à minuit
🚨 Les cryptos viennent de prendre une sacrée gifle, on est tous en PLS… Mais même dans la tempête, on reste solidaires ! ❤️💰
Pour prouver que je suis un bon samaritain (bien fauché aussi 😭 mais based 🟦👉), j’offre 100$ à ma communauté si on atteint les 5000 follow d’ici ce soir. 👀
🎯 Pour participer :
✅ Follow-moi @AddictCryptoBoy
✅ Like + RT ce post ET celui cité juste en dessous (mon MEGA thread sur Base 🟦🔥)
J'en profite aussi pour vous dire qu'il y a déjà le mégathread V2 qui est sorti et disponible à la fin de celui cité juste en dessous et que le V3 arrivera dans les prochaines semaines 🫶
Rejoignez les Based Pre-Rich maintenant ! 👇
🧵Thread Base Airdrop et son écosystème 🟦
C'est le plus gros thread que j'ai pu faire jusqu'à maintenant alors préparez vos popcorn 🍿
Placez vous dès maintenant sur cette L2 qui est déjà en train de dépasser toutes les autres.
Oui il aura un airdrop !
Malgré tout ce que vous pouvez entendre de la part de Base ou de son CEO qui nous disent "qu'il n'y a aucun plan actuellement pour le lancement d'un token".
Plusieurs projets nous ont déjà dis ça et ils ont tous fait un airdrop sans exceptions. Et puis une L2 sans token c'est juste impensable.
Ça leur permet d'eviter que des millions de farmers débarquent sur leur chain uniquement pour obtenir un airdrop.
Ce qui évite aussi d'avoir des stats trop faussés / botés sur leur projet.
Ils se concentrent sur le développement de leur blockchain, de ses Dapps et sur leur communauté grandissante.
Une fois que tout ça sera bien en place. Avec un produit fonctionnel et déjà très adopté par la plupart des utilisateurs du Web3, là on pourra espérer un airdrop de leur part !
Mais avant tout il faut que Trump prenne le pouvoir et change les lois aux US qui interdisent les airdrops (d'en faire du côté des projets ou d'en claim du côté des users)
Bonne nouvelle, Trump est pro crypto, et la nouvelle personne qui vas reprendre le flambeau de Gary Gensler à la tête de la SEC et lui aussi pro crypto !
Tout s'aligne parfaitement vous ne trouvez pas ?
Ajoutez à ça le fait que Base chain n'a fait aucune levée de fonds et qu'elle n'en fera sûrement jamais et on obtient toutes les caractéristiques d'un Hyperliquid bis 💰
Certes Coinbase à levé plus de 560M$ mais je suis convaincu qu'ils ne les utiliseront pas pour backé Base ce qui veux dire énorme % de la supply distribuer aux users et non à des VC.
Les VC vont Fomo le token à sa sortie et faire grimper le prix de la même façon que le token $HYPE d'Hyperliquid.
Entre la communauté gigantesque + la réputation impeccable de Coinbase, vous avez probablement le token le plus bullish jamais créer (en dehors de BTC évidemment)
Voici ce que je pense de Base, vous avez toutes mes infos et ma vision du futur de ce projet L2 incroyable qui surpasse tous ses concurrents de très loin et ce n'est que le début !
Avant de commencer rejoignez le discord Base : https://t.co/ClPhV8C7q7
Débutons ⬇️
The DeFi Training Grounds are open! ✨
It’s time to prove your skills, ascend to a DeFi Wizard, and potentially win ETH.
Ready to start your training? Your journey begins now! 🧙♂️🧙
Head to https://t.co/QI1JOmZRgg and select your first challenge.
Hey friends!
If you've been reading my book on GitHub, drop me a DM.
I'd love to learn more about what you're enjoying, or what you feel is missing.
https://t.co/VZoSbA1dY6
@HFAresearch Thanks for this Amazing content. Hyped by the narrative ! What about polygon zkevm saga and layer3 that are running. I don't see how they can airdrop Pol because of the tokenomics, so any clue about the use cases of theses quests ? Ty!