FilterHN

Gap in Mochizuki's proof of ABC confirmed by Lean

25 points

6 hours ago

| 1 comment

| HN

5 hours ago

[-]

/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...