News for hackers. Stuff that matters.

A comment on AI just proved Erdos Problem #124. Parent comment

Re:AI just proved Erdos Problem #124 by menaerus on Monday December 01, 2025 @08:44AM (#46107307)
Known result from where? I failed to see the reference where it was proven before. Maybe I missed it. Do you have a reference?
[ Parent | on HN ]

There are no comments on this comment yet.