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

30 pointsby ogogmad9 hours ago1 comment

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