Gap in Mochizuki's proof of ABC confirmed by Lean

(twitter.com)

34 points | by ogogmad a day ago ago

1 comments