Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Mathematicians welcome computer-assisted proof in ‘grand unification’ theory. Parent comment
The point in the proof where scholze and stix show it fails is “IUTT-3, Corollary 3.12”
There are no comments on this comment yet.
The point in the proof where scholze and stix show it fails is “IUTT-3, Corollary 3.12”