Episode Details

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.

Continue the story on unscarcity.ai:

• The AI Talent Paradox: When Genius Is the Last Scarcity
• The Substitution Threshold: When You Stop Being the Cheapest Option

Full episode notes on unscarcity.ai