News for hackers. Stuff that matters.

A comment on Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel. Parent comment

Re:Solving 20 Erdős Problems with 20 Codex Accounts Running ... by zitterbewegung on Wednesday July 15, 2026 @12:41PM (#48923518)
With Aristotle you could formalize a proof from only the text of a paper.
[ Parent | on HN ]

There are no comments on this comment yet.