Mochizuki's ABC Conjecture proof is unformalizable

(twitter.com) by amichail | Jul 17, 2026 | 0 comments on HN