A general-purpose AI model refutes an 80-year-old conjecture

80 年没人推翻的猜想，一个通用 AI 模型做到了

An OpenAI general-purpose reasoning model refuted Erdős’s 1946 unit distance conjecture in the plane; the post says the model was not specially trained for mathematics, and Tim Gowers said he would recommend it to Annals of Mathematics.

Why it matters: HKR-H/K/R all pass: an OpenAI general reasoning model allegedly refuting Erdős’s 1946 conjecture with Tim Gowers approval is same-day material. The summary lacks paper link, proof details, and reproduction conditions, so it stays below 95.