Hacker Neus
Gap in Mochizuki's proof of ABC confirmed by Lean
(twitter.com)
23 points
by ogogmad
5 hours ago |
1 comment
