News for hackers. Stuff that matters.

A comment on "Erdos problem #728 was solved more or less autonomously by AI". Parent comment

Re:"Erdos problem #728 was solved more or less autonomously ... by j2kun on Friday January 09, 2026 @07:39PM (#46561383)
They are good for a jump start on literature search, for sure.
[ Parent | on HN ]

There are no comments on this comment yet.