Braid
OpenAI Publishes 722 Math Manuscripts From an Unreleased Model—Not All Verified
20:31
Hosts: Lenar Kess, Damra Vol. OpenAI posted 722 mathematics manuscripts from a model nobody outside the company can run, and some come with machine-checked proofs while others don't. That split sets up the day: who gets to verify, who gets to set the rules for agents, and who gets to say stop to a data center.OpenAI's announcement and its post on sharing AI progress in mathematics give the 722…