OpenAI 发布模型产出的数学结果包:疑似准黎曼假设与希尔伯特第十问题

repligate · x · 2026-10-07

OpenAI 开源了 openai/math 仓库(Apache-2.0,已 1.2k star),收录其内部前沿模型产出的数学手稿与证明工件,含 Lean 形式化、预印本和推理轨迹。README 说明:因既有数学评测已饱和,他们在开放研究问题上扩大了模型评测,部分结果尚未形式化、可能存在问题,将持续更新并探索社区托管。

转发者 ereliuereteer 详读了内容后相当震惊:Family 003 声称证明了 ζ 函数与所有 Dirichlet L 函数在 Re s > 7/8 的无零点半平面(准黎曼假设);004 对希尔伯特第十问题在 ℚ 上给出否定解决;还包括证明 Khot 独特博弈猜想、L=RL=BPL、ω≤9/4、自由群因子同构、Thompson 群 F 非顺从、平面不可五色、Borsuk 在九维反例、Kaplansky 零因子猜想反例等重磅结论。仓库明确标注结果处于不同验证阶段,并非全部经 Lean 验证。