16:11
2026-08-05
sourcefeed.dev
artificial-intelligence
The Erdős Problems Fell to a Pipeline, Not a Genius
In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…