Topic

#Lean Formalization

1 articles

Artificial Intelligence

An AI System Just Spent 11 Days Reproving One of Math's Most Famous Theorems — And an Outside Mathematician Says It's the Real Deal

TNF Team · 6 September 2026 · 3 min read · 124

An AI System Just Spent 11 Days Reproving One of Math's Most Famous Theorems — And an Outside Mathematician Says It's the Real Deal