Hacker News new | ask | show | jobs
Gap in Mochizuki's proof of ABC confirmed by Lean (twitter.com)
35 points by ogogmad 14 days ago
1 comments