Gap in Mochizuki's proof of ABC confirmed by Lean

(twitter.com)

25 points | by ogogmad  7 hours ago

1 comments