Gap in Mochizuki's proof of ABC confirmed by Lean twitter.com 35 points by ogogmad 16 days ago · 1 comment Reader PiP Save r721 16 days ago /r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...