OpenAI 证伪了一个 80 年没人解开的数学猜想,数学家说:AI 不再只是助手了 OpenAI 的推理模型独立证伪了 Paul Erdős 1946 年提出的单位距离猜想。菲尔兹奖得主称之为"AI 数学的里程碑"。 2026-05-25 AI 工具实践