OpenAI Publishes 722 Math Manuscripts From an Unreleased Model—Not All Verified
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 manuscripts and 372 result families, with Lean proofs on many and others unverified; The Verge covers the reaction, and Ethan Mollick's post looks beyond math.
Jeff Weinstein, Sierra, CNBC via Techmeme and SiliconANGLE cover the…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.