AllFeed, trending, and board
FeedLatest news
TrendingOpen source and releases
BoardBlogs and showcases
TagsBrowse by topic

#lean

The latest AI and developer news about #lean, with the original source and a short summary.

AI Briefing

Privacy Policy Terms of Service Contact About Sources RSS Support us

Feed
Trending
Tags
Settings

Trail of Bits Uses AI Agents to Build Custom Security Tooling and Formal Proofs for Miden zkVM Audit

·2026.09.18 13:00

Anthropic Publishes Mechanically Verified Proof of Fermat's Last Theorem Using Claude

·2026.09.09 07:00

Claude Fully Formalizes Fermat's Last Theorem in 11 Days, Generating 13 Million Lines of Lean Code

·1·2026.09.05 06:00

Anthropic Successfully Completes Full Formal Verification of Fermat's Last Theorem Using Claude in 11 Days

·2026.09.04 09:00

When Difficult Tasks Are No Longer Difficult

·2026.08.17 09:00

Exploring Claude's Mathematical Capabilities Further

·2026.08.10 09:00

OpenAI's Unreleased Model Astra Solves 10 Open Math Problems

·2026.08.04 09:00

10 Results in Mathematics and Theoretical Computer Science

·2026.08.01 09:00

Lean proved the program correct, but bugs were found inside it

·2026.04.16 01:00

Lean proved this program correct, but a bug was found anyway

·2026.04.14 09:00

The Trap of the 2-Week Sprint

·2024.04.23 20:00

#lean | AI Briefing