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 · 2 hrs ago · 3 min read · 2

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