FRESH
Hacker News
Home
Gap in Mochizuki's proof of ABC confirmed by Lean
34 points by ogogmad
by r721
0 subcomment
/r/math/ discussion:
https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...
