Advertisement

Gap in Mochizuki's proof of ABC confirmed by Lean

30

oogogmad about 9 hours ago 1 commentsRead Article on twitter.com

Advertisement

Discussion (1 Comments)Read Original on HackerNews

r721•about 8 hours ago

/r/math/ discussion: https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...