News for hackers. Stuff that matters.

A comment on Why the Legendary Erdős Problems Are Falling to AI. Parent comment

Re:Why the Legendary Erdős Problems Are Falling to AI by wat10000 on Wednesday August 05, 2026 @10:11AM (#49183181)
This has been an ongoing debate since the computerized proof of the four color theorem fifty years ago.
[ Parent | on HN ]

There are no comments on this comment yet.