News for hackers. Stuff that matters.
Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by pfdietz on Wednesday July 15, 2026 @07:31AM (#48919236)
There are also problems which list submitted proofs. The status of the problem does not officially change until the proofs have been accepted. For these two problems, the submitted proofs disappeared without the status of the problems changing.

There are no comments on this comment yet.