LEAN
1 item
1 post
Blog
OpenAI Publishes Ten Decade-Open Math Proofs, Each Formalized in LeanOpenAI's next model, codenamed Astra, produced results on ten problems open for at least a decade - including non-sofic groups and Erdős problems 146, 180, and 183 - with every argument formalized as a Lean certificate.
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever