Erdős #90 falls twice in six days
An internal OpenAI model produced a standalone solution to the planar unit-distance problem on 20 May. Claude Mythos produced another, independently, on 26 May. The register records both as primary contributions with no human argument in the loop. The construction reportedly leans on algebraic number theory to beat the square grid — a question open since 1946.
Source 1 of 2
erdosproblems wiki
github.com
An internal OpenAI model produced a standalone solution to the planar unit-distance problem on 20 May.
Open originalSummary
Claude Mythos produced another, independently, on 26 May. The register records both as primary contributions with no human argument in the loop. The construction reportedly leans on algebraic number theory to beat the square grid — a question open since 1946.
- 01erdosproblems wiki
- 02Nature