Update: Mochizuki's ABC Conjecture proof is unformalizable

(twitter.com)

1 points | by amichail 10 hours ago

1 comments