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.