I think you might be thinking of the recent project to start Fermat's Last Theor... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

Smaug123 59 days ago | parent | context | favorite | on: AI solves International Math Olympiad problems at ...

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.

Davidzheng 59 days ago [–]

Yeah lol i don't think either is hard to formalize in lean

raincole 59 days ago | [–]

They're not just formalizing Fermant's Last Theorem's statement itself. They're formalizing the proof.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact