amichail
11 hours ago
Here's the report: https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...
Update: Mochizuki's ABC Conjecture proof is unformalizable
1 pointsposted 11 hours ago
by amichail11 hours ago
Here's the report: https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...