OpenAI·2026-10-06 20:00·26 天前 博客 分享 AI 在数学领域的进展 Sharing AI progress in mathematics AI 导读OpenAI 于2026年10月6日发布的研究公告,介绍其内部前沿模型在若干数学开放问题上取得的新结果,并在 GitHub 上公开 Lean 证明形式化与研究细节。文中还提到10月15日的更新:向一个新相关项目捐款500万美元。材料适合关注 AI 数学推理的研究者阅读。 打开原文 收藏 分级值得看 所属主题整理中 收录时间2026-11-02 推荐阅读 博客发布 10-26 OpenAI 与学术界合作建立科学理解 Working with academic communities to build scientific understanding OpenAI 发布的一篇研究类文章,介绍其在 Kakeya 猜想、指数时间假设(ETH)和量子色动力学等数学与物理问题上给出的模型结果,以及研究者如何验证并在此基础上继续工作。页面以“局部光滑化与 Kakeya 猜想”等小节组织内容。 深入数学与形式化证明 博 查看详情 → 博客发布 05-20 OpenAI 一个 OpenAI 模型推翻了离散几何中的一个核心猜想 An OpenAI model has disproved a central conjecture in discrete geometry 这是 OpenAI 于 2026 年 5 月 20 日发布的文章,介绍一个内部 OpenAI 模型在平面单位距离问题上取得突破。该问题由 Paul Erdős 于 1946 年提出,问的是在平面放置 n 个点时最多有多少对点恰好相距 1。文中称,长期以来人们认为“方格”构造基本最优,而该模型推翻了这一猜想,给出了一族无穷多的构造,文章将其称为 AI 驱动数学的一个里程碑。 入门数学与形式化证明推理与持续学习 博 查看详情 → 帖子发布 10-26 X 详解 OpenAI 流体 PDE 构造与凸积分创新 这是一条 X 帖子,Scott Armstrong 用引用推文回应一条他无法回复的讨论串,评论 OpenAI 一篇流体 PDE 论文的构造,认为其与凸积分关系更大:凸积分中振荡通常靠手工构造、迭代产生病态弱解,而该论文巧妙设计了一种流体不稳定性,让流动自身从背景剪切中吸取能量产生振荡,雷诺应力则成为造出坍缩光滑涡的力。他指出用物理不稳定性制造应力没有先例,使之得到光滑而非粗糙的力,并提到相关想法部分见于 Leibovich–Stewartson 1983 等文献,但组合方式前所未见,也无人提出凸积分会参与此类爆破解。适合研究流体 PDE、凸积分与数学分析的人关注。 深入数学与形式化证明科学研究与医疗 帖 查看详情 →
博客发布 10-26 OpenAI 与学术界合作建立科学理解 Working with academic communities to build scientific understanding OpenAI 发布的一篇研究类文章,介绍其在 Kakeya 猜想、指数时间假设(ETH)和量子色动力学等数学与物理问题上给出的模型结果,以及研究者如何验证并在此基础上继续工作。页面以“局部光滑化与 Kakeya 猜想”等小节组织内容。 深入数学与形式化证明 博 查看详情 →
博客发布 05-20 OpenAI 一个 OpenAI 模型推翻了离散几何中的一个核心猜想 An OpenAI model has disproved a central conjecture in discrete geometry 这是 OpenAI 于 2026 年 5 月 20 日发布的文章,介绍一个内部 OpenAI 模型在平面单位距离问题上取得突破。该问题由 Paul Erdős 于 1946 年提出,问的是在平面放置 n 个点时最多有多少对点恰好相距 1。文中称,长期以来人们认为“方格”构造基本最优,而该模型推翻了这一猜想,给出了一族无穷多的构造,文章将其称为 AI 驱动数学的一个里程碑。 入门数学与形式化证明推理与持续学习 博 查看详情 →
帖子发布 10-26 X 详解 OpenAI 流体 PDE 构造与凸积分创新 这是一条 X 帖子,Scott Armstrong 用引用推文回应一条他无法回复的讨论串,评论 OpenAI 一篇流体 PDE 论文的构造,认为其与凸积分关系更大:凸积分中振荡通常靠手工构造、迭代产生病态弱解,而该论文巧妙设计了一种流体不稳定性,让流动自身从背景剪切中吸取能量产生振荡,雷诺应力则成为造出坍缩光滑涡的力。他指出用物理不稳定性制造应力没有先例,使之得到光滑而非粗糙的力,并提到相关想法部分见于 Leibovich–Stewartson 1983 等文献,但组合方式前所未见,也无人提出凸积分会参与此类爆破解。适合研究流体 PDE、凸积分与数学分析的人关注。 深入数学与形式化证明科学研究与医疗 帖 查看详情 →