Hacker News new | ask | show | jobs
by Smaug123 700 days ago
I think you might be thinking of the recent project to start Fermat's Last Theorem? The Riemann hypothesis has been easy to state (given what's in Mathlib) for years.
1 comments
Davidzheng 700 days ago
Yeah lol i don't think either is hard to formalize in lean
link
raincole 700 days ago
They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.
link