Gap in Mochizuki's proof of ABC confirmed by Lean | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Gap in Mochizuki's proof of ABC confirmed by Lean(twitter.com)

27 points by ogogmad 7 hours ago | 1 comment

Gap in Mochizuki's proof of ABC confirmed by Lean | Dark Hacker News

r721 6 hours ago |

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