An OpenAI reasoning model disproved an 80-year-old Erdős conjecture — and it wasn't a math-specific model
Read this because The headline is "AI does math." The real signal: it came from a general-purpose reasoning model, not a math-specific system — and it disproved an 80-year belief by constructing a counterexample no human had found. One result is not a revolution, but the generality is the story.
OpenAI says an internal reasoning model autonomously disproved the Erdős 1946 unit-distance conjecture (May 20) — a first for AI, verified by mathematicians.