HNNewShowAskJobsBuilt with Qwik

Update: Mochizuki's ABC Conjecture proof is unformalizable

(twitter.com)

1 points | by amichail 6 hours ago ago

1 comments

  • amichail 6 hours ago

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