research verification

On May 20, 2026, OpenAI said an unreleased internal reasoning model had autonomously disproved Paul Erdős’s 1946 planar unit distance conjecture, producing a counterexample that outside mathematicians, including Cambridge Fields medallist Timothy Gowers, judged strong enough for top-tier...