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 adastra22 on Monday December 01, 2025 @10:43AM (#46108723)
Consequence from a known result describes literally every proof.
[ Parent | on HN ]

There are no comments on this comment yet.