Gap in Mochizuki's proof of ABC confirmed by Lean

(twitter.com)

25 points | by ogogmad 6 hours ago ago

1 comments