Independent Python reproduction of the 2026 OpenAI/Sawin disproof of the Erdős unit-distance conjecture. mpmath-200-bit verbatim match (0.01% rel.err) to equation (2.2) of the remarks PDF. MIT, NumPy + mpmath only.
combinatorics reproducibility algebraic-structures erdos discrete-geometry unit-distance golod-shafarevich class-field-tower
-
Updated
May 26, 2026 - Python