2026-05-29

Added

• openai-unit-distance-problem-ai-proof - OpenAI reports an internal reasoning model disproved Erdős’s unit-distance conjecture (planar unit distance problem); major milestone with external verification and a striking Tim Gowers quote about Annals-level quality.