主要证据
- An OpenAI model has disproved a central conjecture in discrete geometryS2 · 官方机构来源 · 官方公告 · 2026-05-20
- Planar Point Sets with Many Unit DistancesS1 · 主要研究来源 · 论文 · 2026-05-20
OpenAI 报告 AI 自主反驳 Erdős 单位距离增长猜想
模型使用代数数论工具发现构造；OpenAI 同时发布证明与由外部数学家撰写的 companion paper，后者检查并解释了论证。
发生了什么？
OpenAI 报告内部通用推理模型反驳了平面单位距离问题长期流行的 n^(1+o(1)) 增长猜想，构造出无穷多个具有至少 n^(1+delta) 个单位距离的点集，其中 delta>0 为常数。
为什么重要？
与基准进展不同，该事件涉及活跃数学领域的长期开放问题，且 AI 生成论证获得外部专家的实质性认可。
重要性说明：AI 对长期存在的 Erdős 猜想给出实质性新反例属于历史级 AI4Math 里程碑，因为核心贡献是新的数学结果，而非基准成绩或通用模型发布；H1 定级本身不等同于已完成独立验证。
历史脉络
证据与状态一览
- 重要性
- H1 · 历史里程碑
- 验证状态
- 已有独立佐证
- 证据等级
- E3 · 可检查工件
- AI 角色
- AI 自主主导
- 形式保障
- 有形式化工件
贡献与验证
- 数学新颖性
- 新结果
- 接口
- 非形式化, 符号
- AI 贡献
- OpenAI 表示核心构造与证明由内部通用推理模型自主生成。
- 人类贡献
- 外部数学家检查证明并撰写 companion analysis；OpenAI 研究者组织评测与发布。
- 验证状态
- 已有独立佐证 · E3 · 可检查工件 · 有形式化工件
- 最后审阅
- 2026-09-11
技术细节
- 系统
- openai-internal-reasoning-model
- 机构
- openai
- 数学问题
- erdos-unit-distance-growth-conjecture
- 方法
- algebraic-number-theory, autonomous-research, proof-generation
全部来源与工件
- An OpenAI model has disproved a central conjecture in discrete geometryS2 · 官方机构来源 · 官方公告 · 访问于 2026-09-10
- Planar Point Sets with Many Unit DistancesS1 · 主要研究来源 · 论文 · 访问于 2026-09-10
- Remarks on the disproof of the unit distance conjectureS3 · 独立学术来源 · 论文 · 访问于 2026-09-10
- An explicit lower bound for the unit distance problemS3 · 独立学术来源 · 论文 · 访问于 2026-09-10
- AI-generated proof manuscript工件 · 证明工件
- Human-verified companion remarks工件 · 补充材料
验证历史
- 2026-05-20 · 部分核验 · E3 · 可检查工件
Chronicle 依据所引 primary / official source 记录该事件；该状态不表示 Chronicle 已完成独立验证。
- 2026-05-20 · 部分核验 · E3 · 可检查工件
OpenAI 同日公开 AI 生成证明及由九位外部数学家撰写的 companion paper，后者给出经人工核查和整理的论证版本；Will Sawin 还独立发表了建立在该新构造之上的更强显式下界。这些来源显著加强了数学证据，但 Chronicle 仍保留 `independently_verified` 的人工编辑门槛。
- 2026-09-10 · 已有独立佐证 · E3 · 可检查工件
按 Chronicle 的事件级 verification 语义，九位数学家的 human-verified companion paper 与 Will Sawin 的独立后续工作已经对该事件核心描述形成实质性独立佐证。该标签记录的是事件与公开证据链获得独立确认，而不是 Chronicle 对底层数学结论最终正确性的裁决。
更正
当前没有记录的更正。