Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Two-hundred-terabyte math proof is largest ever. Parent comment
Worse even, no one would know why it wouldn't halt...
In other words, you have to be lucky to find a counterexample to the given assumption otherwise you're stuck publishing an increased lower bound
There are no comments on this comment yet.
Worse even, no one would know why it wouldn't halt...
In other words, you have to be lucky to find a counterexample to the given assumption otherwise you're stuck publishing an increased lower bound