3 ms·

Update: Mochizuki's ABC Conjecture proof is unformalizable

• amichail 3mo ago
  Here's the report: https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...