Update: Mochizuki's ABC Conjecture proof is unformalizable(twitter.com)

1 pointby amichailan hour ago1 comment

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