AI 精选动态
智能评分 84
OpenAI 证明几何难题
AI 推荐理由
这条内容的关键价值在于：OpenAI 不只是做了已知题目的自动化求解，而是展示了 reasoning model 跨数学分支调用 algebraic number theory、Class field towers 和 Golod-Shafarevich theory 来产出新构造；值得关注其后续是否能在更多公开问题上复现。核心解读
OpenAI 表示，其一个内部 reasoning model 自主证明了 Paul Erdős 在 1946 年提出的平面单位距离问题：在平面上放置 n 个点时，能有多少对点恰好相距 1 个单位。该模型找到了全新的点集构造，以固定的多项式因子超过了长期被认为接近最优的 square grid 构造，而不是小幅改进。OpenAI 称这是 AI 首次自主解决一个数学领域的重要公开问题；该证明已由外部顶级数学家验证，Tim Gowers 也将其称为“AI 数学的一个里程碑”。