Gap in Mochizuki's proof of ABC confirmed by Lean #1 Post by ogogmad » Sat, Jul 18, 2026, 10:19 PM UTC Gap in Mochizuki's proof of ABC confirmed by Leantwitter.com
Re: Gap in Mochizuki's proof of ABC confirmed by Lean #2 Post by r721 » Sat, Jul 18, 2026, 11:16 PM UTC /r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...