Rust prototype exploring public mRNA sequence-feature data with unit-distance templates.

Rust app matching unit-distance templates against public point datasets.

Proof package for a certified pointwise lower bound in the Erdős unit-distance problem

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.