Gap in Mochizuki's proof of ABC confirmed by Lean

(twitter.com) by ogogmad | Jul 18, 2026 | 0 comments on HN