Y
Hacker News
new
|
ask
|
show
|
jobs
Update: Mochizuki's ABC Conjecture proof is unformalizable
(
twitter.com
)
2 points
by
amichail
11 days ago
1 comments
amichail
11 days ago
Here's the report:
https://github.com/katobungen/LANA_report_202607/blob/pdf/LA...
link