Re:An OpenAI model has disproved a central conjecture in dis...
by ninjha on Wednesday May 20, 2026 @03:50PM
(#48213149)
They only proved that one exists; computing the actual construction is non-obvious (the naive way to construct it is computationally infeasible).
[ Parent
| on HN ]
There are no comments on this comment yet.