Lean - Developers Digest https://www.developersdigest.tech/blog/tags/lean Articles about Lean on Developers Digest en Sun, 06 Sep 2026 01:15:26 GMT <![CDATA[Anthropic's Fermat Proof Is an Autoformalization Milestone]]> https://www.developersdigest.tech/blog/anthropic-fermat-lean-autoformalization-2026 https://www.developersdigest.tech/blog/anthropic-fermat-lean-autoformalization-2026 Sat, 05 Sep 2026 00:00:00 GMT News Anthropic AI Research Formal Verification Lean <![CDATA[OpenAI Publishes Ten Decade-Open Math Proofs, Each Formalized in Lean]]> https://www.developersdigest.tech/blog/openai-ten-advances-mathematics-lean-2026 https://www.developersdigest.tech/blog/openai-ten-advances-mathematics-lean-2026 Sat, 01 Aug 2026 00:00:00 GMT News OpenAI AI Research Mathematics Lean