Astra, le modèle encore inédit d'OpenAI, résout dix problèmes de mathématiques bloqués depuis plus de dix ans, pour environ 2 000 dollars de calcul
About This Episode
Le 1er août, OpenAI a publié dix résultats inédits en mathématiques et en informatique théorique, obtenus par une version interne d'Astra, le modèle que l'entreprise présente comme son prochain grand modèle. Chaque démonstration a été formalisée dans un certificat Lean vérifiable par machine, puis rendue publique. Selon OpenAI, les calculs nécessaires pour trouver ces dix solutions coûteraient environ 2 000 dollars à son tarif public.
Our Take
OpenAI just put a receipt on frontier research — about $2,000 for ten problems the field hadn't moved in a decade, with machine-checkable proofs attached — so the question stops being whether the machine is smarter than the expert and becomes whether it is cheaper and checkable, which is the same test that has already been applied further down the ladder.
Pour aller plus loin sur Unscarcity
The AI Talent Paradox: When Genius Is the Last Scarcity
The article's framework holds that when compute and capital go abundant, elite human genius becomes the bottleneck — and a $2,000 run on decade-old open problems is the first serious test of whether that bottleneck holds.
The Substitution Threshold: When You Stop Being the Cheapest Option
The threshold is defined by cost and reliability rather than intelligence, and the Lean certificates plus the price tag supply exactly those two accounting numbers for the most credentialed cognitive work there is.