张益唐未竟难题被OpenAI攻破！人类联手GPT-6接力两周，证明只剩5页

分享 AI 在数学领域的进展

Sharing AI progress in mathematics

OpenAI 于2026年10月6日发布的研究公告，介绍其内部前沿模型在若干数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。文中还提到10月15日的更新：向一个新相关项目捐款500万美元。材料适合关注 AI 数学推理的研究者阅读。

一个 OpenAI 模型推翻了离散几何中的一个核心猜想

An OpenAI model has disproved a central conjecture in discrete geometry

这是 OpenAI 于 2026 年 5 月 20 日发布的文章，介绍一个内部 OpenAI 模型在平面单位距离问题上取得突破。该问题由 Paul Erdős 于 1946 年提出，问的是在平面放置 n 个点时最多有多少对点恰好相距 1。文中称，长期以来人们认为“方格”构造基本最优，而该模型推翻了这一猜想，给出了一族无穷多的构造，文章将其称为 AI 驱动数学的一个里程碑。

群星闪耀时：OpenAI公开的722篇稿件，背后的科学家群像

新智元报道，OpenAI公开722篇由AI撰写的数学与理论计算机稿件后，丹麦奥尔堡大学AI安全实验室Qiongxiu Li发起开源项目On Whose Shoulders（《巨人之肩》），对这批AI稿件的相关文献逐条核对并做系统性溯源分析。文中称溯源覆盖5个多世纪、11,067部人类著作、约9,600位数学家，其中114位是菲尔兹奖、阿贝尔奖或沃尔夫奖得主，并举例说明稿件在算术几何、双有理几何、概率论、图论、自旋玻璃、Ricci流等领域引用或沿用了哪些具体工作，还列出了部分被反复引用的华人数学家的工作。适合关注AI数学研究、文献溯源与科学计量的人阅读。注：原文中项目链接为seafill.info/Shoulders，与项目名拼写不一致，此处按原文记录。

AI 正在变擅长数学。原因如下。

AI Is Getting Good at Math. Here’s Why.

文章列举了 2026 年一系列 AI 数学成果：OpenAI 内部模型找到 Erdős 单位距离猜想的反例、发表 Cycle Double Cover 证明、解决另外十个开放问题、给出 Navier-Stokes 证明；Anthropic 发布费马大定理形式化及黎曼猜想的新界。作者提出能否预测模型会解决哪类问题的议题，用“若干提示/洞见加上其间的努力”这一心智模型衡量问题复杂度，并引述 WT Gowers 对单位距离证明的评论。关注 AI 数学推理能力与问题难度分析的读者可读。

与学术界合作建立科学理解

Working with academic communities to build scientific understanding

OpenAI 发布的一篇研究类文章，介绍其在 Kakeya 猜想、指数时间假设（ETH）和量子色动力学等数学与物理问题上给出的模型结果，以及研究者如何验证并在此基础上继续工作。页面以“局部光滑化与 Kakeya 猜想”等小节组织内容。