Poincaré Conjecture Formalized in Lean4 | Hacker News - But Better

Poincaré Conjecture Formalized in Lean4 twitter.com

2 points•korbonits•2 days ago•0 comments•

#lean4 #formalized #poincar #conjecture #poincar conjecture #conjecture formalized #poincar conjecture formalized

0 comments

No comments yet.

Related stories

Lean formalization of the Hamilton-Perelman proof of the Poincaré conjecturegithub.com
Hacker News · 1 points · 3 days ago
Hamilton–Perelman's proof of Poincaré conjecture is claimed to be autoformalizedgithub.com
Hacker News · 2 points · 2 days ago
AI proof of the Erdős–Sós conjecturearxiv.org
Hacker News · 5 points · 8 days ago
Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problemgithub.com
Hacker News · 20 points · 4 days ago
A Proof of the Most Informative Boolean Function Conjecturearxiv.org
Hacker News · 3 points · 5 days ago
GPT-6 Astra has made a major breakthrough in the Goldbach Conjecturetwitter.com
Hacker News · 4 points · 8 days ago