News for hackers. Stuff that matters.
Re:Nash equilibria in Ballmer's binary-search interview game by pfdietz on Saturday November 23, 2024 @08:32AM (#42220765)
Which, admittedly, seems like a much harder problem.

A world in which AI churns out amazing proofs would be pretty radical though.

There are no comments on this comment yet.