Updates on Lean

Every AI story we track on Lean: 7 stories so far, each summarized in our own words and linked to the publisher that reported it.

Pulled from 125 sources

This month

AI Solved One Math Problem and Everyone Freaked Out. It Just Cracked Hundreds More.

Covered by 14 sources20d ago

Machine Learning6 min read

Before You Pay For More 'Thinking,' Ask Who's Checking The Answer

Forbes21d ago

Computer Vision

‘The Proof in the Code’ Review: Lean, Mean Computing Machine

The Wall Street Journal24d ago

AI Research6 min read

The man paid to prove Fermat by hand says Claude did it in 11 days

The Next WebSep 6

AI Research3 min read

An unreleased Anthropic model made progress on one of math’s biggest unsolved problems

TechCrunchAug 11

AI Research19 min read

TheoremDB – A public workspace for machine mathematics

Hacker NewsAug 9

AI Research4 min read

Postmortem for Kernel Soundness Bug #14576

Hacker NewsAug 1

That's everything we have on Lean right now