精选理由
AI 首次独立证明数学猜想
OpenAI 内部模型构造出单位距离对数为 n^(1+δ) 的点集，推翻长期认为方格构造最优的假设。该证明经外部数学家验证并发表伴随论文，是 AI 首次自主完成复杂数学证明的里程碑。菲尔兹奖得主蒂姆·高斯等数学家高度评价此成果，认为 AI 已具备原创性和执行力。
AI 翻译 · 中文
OpenAI 内部模型构造出单位距离对数为 n^(1+δ) 的点集，推翻长期认为方格构造最优的假设。该证明经外部数学家验证并发表伴随论文，是 AI 首次自主完成复杂数学证明的里程碑。菲尔兹奖得主蒂姆·高斯等数学家高度评价此成果，认为 AI 已具备原创性和执行力。
2026-05-22 Hacker News Top Stories # OpenAI 内部模型在单位距离问题上构造出单位距离对数为 n^(1+δ) 的点集、推翻长期方格构造假设并获外部验证，标志 AI 自主完成复杂数学证明的里程碑。 Flipper One 致力于主线内核与尽可能无闭源驱动的开源便携 Linux 平台，正公开征集社区完善 RK3576 等关键子系统与驱动支持。 文章批评 AI 未经同意吸纳并牟利于全网内容、压过原创与被…