HNNewShowAskJobs Built with Analog

Gap in Mochizuki's proof of ABC confirmed by Lean

23 points | by ogogmad 5 hours ago

1 comments

  • r721 4 hours ago

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