Top New Best Ask Show Jobs

Poincaré Conjecture Formalized in Lean4 | Hacker News Reader

Poincaré Conjecture Formalized in Lean4

twitter.com

2 points·korbonits··1 comment

Open articleView on HN

It was the proof they formalised, not the conjecture.

Reply on news.ycombinator.com