AI just proved Erdos Problem #124

(erdosproblems.com) by nl | Nov 30, 2025 | 98 comments on HN