News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.