HNNewShowAskJobs Built with Analog

Update: Mochizuki's ABC Conjecture proof is unformalizable

1 points | by amichail an hour ago

1 comments

  • amichail an hour ago

    Here's the report: https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...