★ 5
数学家称需数年消化 OpenAI 最新数学成果
OpenAI 本周突然发布近 400 项 AI 生成的数学成果，分布在 700 多份手稿中，覆盖组合数学、几何、数论等多个领域。多位数学家表示「震惊」「难以置信」，认为仅理解这些成果就需数年，且验证程度参差不齐。
The Verge AI23 天前
#数学研究
共 19 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 4
Science 刊文：AI 驱动形式化证明推进数学研究
《Science》发表研究，探讨利用 AI 驱动的形式化证明搜索来推进数学研究。该方法结合自动定理证明与形式化验证，有望加速数学发现并提高证明可靠性。
Hacker News – AI22 天前
★ 4
OpenAI公开数学研究目录
OpenAI发布由内部模型生成的数学手稿与证明工件目录，包含722篇手稿、372个结果族，覆盖多个数学学科。这些结果由未公开的内部模型平均花费3小时ChatGPT Pro思考算力得出，部分结果尚未完成Lean形式化验证。
Lobsters – Machine Learning26 天前
★ 4
评论：AI 正在终结数学家的英雄时代
一位数学家撰文感叹 AI 正在迅速终结数学家的英雄时代。OpenAI 模型已推翻困扰数学界 80 年的 Erdős 单位距离猜想，其 Astra 模型还在 10 个长期未解的数学与理论计算机科学问题上取得突破。作者认为 AI 的数学能力已超出预期。
快公司32 天前
★ 4
OpenAI成立数学家顾问小组应对数学成果争议
在接连发布引发争议的数学成果后，OpenAI宣布成立独立的数学与人工智能顾问小组（AGMAI），由斯坦福、哈佛、牛津等机构的九位知名数学家组成，负责就数学研究的评审、发布与传播提供建议。该小组由普林斯顿高等研究院承办，成员不领取报酬，可独立发声。但许多数学家对其实际影响力、成员遴选方式及能否代表更…
The Verge AI40 天前
★ 3
西蒙斯基金会投 1500 万美元助数学家应对 AI
西蒙斯基金会宣布投入 1500 万美元，帮助数学界适应 AI 时代的研究方式变革。数学家陶哲轩在博客中介绍了该计划，旨在支持数学家在 AI 辅助证明、研究流程与人才培养方面进行探索。
Hacker News – AI17 天前
★ 3
丘成桐新论文致谢GPT与Claude
数学家丘成桐在新论文中致谢GPT和Claude，引发对AI辅助数学研究边界的讨论。该论文涉及一个44年前被亲自列入问题清单的难题。此举显示顶级学者正公开承认AI在科研中的辅助作用。
量子位30 天前
★ 3
数学家感到 AI 威胁却难以割舍
Wired 报道称，数学家一方面对 AI 在数学研究中的崛起感到威胁，另一方面又难以放弃其强大能力。文章探讨了 AI 辅助证明与发现对数学界职业认同和研究范式的冲击。属于学术与行业交叉的深度报道。
Hacker News – AI42 天前
★ 3
借助 AI 证明卡塔兰常数无理
一篇 arXiv 论文宣称在 AI 辅助下证明了卡塔兰常数是无理数，这一长期未解的数论问题若被证实将是重要数学进展。该结果尚待同行评审，HN 讨论热度较低。
Hacker News – AI42 天前
★ 3
陶哲轩宣布启动开放数学模型计划
陶哲轩代表 SAIR Foundation 宣布正式启动“开放数学模型计划”，旨在让开放模型与可负担的算力成为数学研究的共享基石。该计划试图降低数学研究对昂贵闭源模型的依赖，推动开放科学在数学领域的落地。
量子位44 天前
★ 3
纳维-斯托克斯、AI 与数学研究的未来
一篇 PDF 论文探讨纳维-斯托克斯方程与 AI 在数学研究中的角色，讨论 AI 辅助证明与研究范式的转变。该文与 OpenAI 相关声明形成呼应，属于学术层面的延伸讨论。
Hacker News – AI53 天前
★ 2
评论称 AI 是数学的 Uber 时刻
一篇博客文章认为 AI 正在给数学研究带来类似 Uber 颠覆出租车行业的转折点，主张 AI 将重塑数学发现与证明的方式。文章属于观点性评论。
Hacker News – AI14 天前
★ 2
★ 2
Erdosproblems.com 遭AI解题浪潮冲击
以保罗·埃尔德什数学问题为主题的网站Erdosproblems.com因AI大量涌入求解而受到影响，论坛帖讨论了这一现象。反映AI在数学研究领域的渗透正在改变传统学术社区生态。
Hacker News – AI26 天前
★ 2
AI 时代的本科数学研究何去何从
一篇 arXiv 论文探讨 AI 工具普及后本科数学研究的未来走向，讨论 AI 在数学发现中的角色及其对数学教育的影响。文章反思了当 AI 能完成部分数学工作时，人类研究者应培养哪些能力。
Hacker News – AI36 天前
★ 2
海德堡桂冠论坛：数学研究中的 AI 圆桌讨论
海德堡桂冠论坛发布视频，多位学者就 AI 在数学研究中的应用展开圆桌讨论，涉及定理证明、猜想发现与研究方法变革。该讨论反映了 AI 与基础科学交叉的前沿趋势。
Hacker News – AI46 天前
★ 2
HN讨论：像资助AI实验室一样资助数学研究
Hacker News上发起讨论，设想如果基础数学研究能获得与AI实验室同等级别的资金支持会怎样。发帖者指出美国联邦基础数学研究预算远低于AI投入。该讨论引发对科研资源分配的反思。
Hacker News – AI51 天前
★ 1
博客文章《对 AI 进入数学研究的哀叹》引发讨论
一篇题为《Lamentation on AI in Mathematical Research》的博客文章在 Hacker News 上被提交讨论，探讨 AI 工具进入数学研究领域带来的问题与隐忧。当前讨论热度较低，评论数为零。
Hacker News – AI11 天前
★ 1
我目睹数学家对智能体 AI 能力感到恐慌
一条推文称，作者观察到数学家对智能体 AI 所能完成的工作感到恐慌。该观点延续了 AI 对数学研究冲击的讨论，属于个人观点类内容，热度较低。
Hacker News – AI42 天前
2026-W44本周数学领域由一起争议主导：10-30 OpenAI 被指抄袭并威胁数学家，千禧难题风波升级，4 篇报道。事件性质从学术讨论转向对 AI 公司与学界关系的质疑，相比常规研究进展，本周该主题的公共议题色彩明显加重，讨论焦点是行为与伦理而非数学成果本身。