Gap in Mochizuki's proof of ABC confirmed by Lean

• Posted 7 hours ago by ogogmad
• 26 points