Update: Mochizuki's ABC Conjecture proof is unformalizable

1 comments

• amichail 9 hours ago

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