Update: Mochizuki's ABC Conjecture proof is unformalizable
By amichail · 2026-07-17 · 1 points · 1 comments
https://twitter.com/FumiharuKato/status/2078017230537892207
By amichail · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews