Re:An OpenAI model has disproved a central conjecture in dis...
by baq on Wednesday May 20, 2026 @04:41PM
(#48213812)
And yet nowadays you can restate all of it using just combinations of sets of sets and some logic operators.
[ Parent
| on HN ]
There are no comments on this comment yet.