★ 5
OpenAI 攻破纳维-斯托克斯问题引数学界不安
OpenAI 宣称用约 1 万个智能体和 880 小时算力解决千禧年难题纳维-斯托克斯问题，但数学界对其动机与规范提出质疑。多位数学家批评 OpenAI 以“赢”为目标而非推进学科，并涉及与 Anthropic 研究者的竞争争议。
The Verge AI50 天前
#数学
共 39 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 5
陶哲轩邓煜等反对 AI 暴力解题
陶哲轩、邓煜等 25 位菲尔兹奖得主联名发声，反对 AI 以暴力方式解题，认为这会摧毁人类数学精神。声明强调数学研究的核心是概念理解与新洞见，而非单纯给出答案。
量子位51 天前
★ 5
25 位菲尔兹奖得主警告 AI 与数学目标错位
陶哲轩、邓煜等 25 位菲尔兹奖得主发表联合声明，警告 AI 快速用于解决数学问题可能使 AI 发展目标与数学研究目标严重错位。声明担忧 AI 批量生成成果会压缩验证与交流时间，并引发署名和抄袭问题。
36氪51 天前
★ 5
OpenAI 数学突破引发学术界寒蝉效应
OpenAI 宣称其未发布模型用 88 小时解决纳维-斯托克斯问题，但被指在得知他人进展后抢发，并涉嫌窥探与违反学术规范。争议或对数学界合作文化造成寒蝉效应。
The Verge AI53 天前
★ 5
OpenAI数学突破遭质疑，揭示AI未来
OpenAI宣布其智能体解决了千禧年大奖难题之一，本应是重大成就，却因学术诚信争议蒙上阴影。这一事件引发对AI在数学研究领域可靠性的讨论，也凸显了AI成果验证与伦理审查的紧迫性。
MIT Technology Review – AI54 天前
★ 4
陶哲轩带头，数学家联合抵制 OpenAI
数学家陶哲轩带头，一批人类数学家联合对 OpenAI 发起抵制，事件在 AI 与数学界引发关注。报道称双方矛盾公开化，涉及 AI 在数学研究中的角色与署名、贡献认定等争议。该事件反映 AI 介入学术研究后引发的伦理与利益冲突。
量子位24 天前
★ 4
AI 攻克重大未解数学难题，却引发争议
有报道称 AI 解决了一个重要的未解数学问题，与千禧年大奖难题相关，但并非所有人都对此感到满意。围绕该成果的真实性、原创性与意义，学界出现了质疑与争论。
Hacker News – AI26 天前
★ 4
OpenAI数学顾问团再陷混乱
OpenAI成立独立数学顾问团AGMAI，试图修复与数学界的关系，但宣布过程再次引发混乱。数学家们对顾问团的独立性存疑，且其首个任务是协调发布未公开模型产出的大量数学成果，令研究者担忧这波突破潮将冲击整个领域。
The Verge AI34 天前
★ 4
数学家直面 AI 末日
《科学美国人》报道数学家如何应对 AI 对数学研究领域的冲击，包括 AI 在证明生成和问题解决上的进展。文章探讨了 AI 是否会取代数学家，以及数学界如何适应这一变革。
Hacker News – AI51 天前
★ 4
AutoFyn：非参数专家迭代智能体框架
AutoFyn是一个受专家迭代算法启发的智能体框架，通过更新持久状态而非模型权重来适应冻结模型。在每轮中，编排器探索多种方法，验证器提供客观奖励并蒸馏到持久状态。在2026年国际数学奥林匹克六个新问题中，AutoFyn使所有模型得分高于其提供商的编码智能体，并在Spider 2.0 dbt基准上构…
arXiv cs.AI54 天前
★ 4
★ 3
数学家内讧引发担忧：AI 或侵蚀科学研究
BBC 报道称，数学家之间的激烈争执加剧了外界对 AI 可能削弱科学严谨性的担忧。争议焦点在于 AI 在数学证明与同行评审中的角色，以及其可能带来的错误与信任危机。
Hacker News – AI5 天前
★ 3
陶哲轩撰文质疑由数学家把关 AI 输出发布的做法
数学家陶哲轩在个人博客发文，讨论指定数学家为 AI 输出发布做背书的弊端，认为这种把关机制存在责任与规模上的问题。文章在 Hacker News 引发讨论，触及 AI 生成数学内容的质量审核与署名责任议题。
Hacker News – AI7 天前
★ 3
Wired：AI 攻下数学之后，正进军其余科学领域
Wired 文章讨论 AI 在数学领域取得突破后，正加速向物理、生物等其他科学领域扩展，改变科研发现的方式与节奏，同时也引发对可验证性与科研范式的讨论。
Hacker News – AI13 天前
★ 3
为什么数学界抛弃了 OpenAI
文章讨论数学研究社区与 OpenAI 之间关系的转变，分析此前合作或关注为何降温。内容涉及 AI 在数学证明与形式化推理中的可信度与学术规范争议。
Lobsters – Machine Learning16 天前
★ 3
西蒙斯基金会投1500万美元助数学家应对AI时代
西蒙斯基金会启动1500万美元项目，帮助数学家适应AI时代的研究方式变革。该计划旨在支持数学界利用AI工具并应对其带来的方法论与伦理挑战，反映基础科学领域对AI冲击的积极回应。
Hacker News17 天前
★ 3
中国数学家联合支持在研究中应用 AI
南华早报报道，中国多位顶尖数学家公开表态支持在数学研究中引入 AI 工具。此举反映 AI 辅助科研在基础数学领域获得主流学界认可，可能推动 AI 与数学证明、猜想验证的结合。
Hacker News – AI20 天前
★ 3
数学博主 Karagila 称不信任 AI 生成的 Lean 代码
数学博主 Asaf Karagila 发表文章，表示不信任 AI 生成的 Lean 形式化证明代码。文章讨论了 AI 在数学证明辅助工具中的可靠性问题，引发对 AI 生成形式化代码可信度的关注。
Hacker News – AI22 天前
★ 3
ProofAtlas 用 LLM 评估重要性，列出数学未解难题榜单
ProofAtlas 发布「开放数学问题」页面，借助 LLM 对数学未解难题的重要性进行排序评估，为研究者和公众提供一份由模型辅助生成的优先级参考清单。
Hacker News – LLM26 天前
★ 3
★ 3
施奈尔：AI 并不意味着数学的终结
安全专家 Bruce Schneier 在《卫报》撰文回应 AI 将取代数学家的论调，认为至少目前 AI 尚不能终结数学研究。文章强调人类数学家的职业价值与 AI 的辅助定位。
Hacker News – AI49 天前
★ 3
数学家斯特罗加茨对AI突破感到恐惧
《连线》报道知名数学家史蒂文·斯特罗加茨对AI近期在数学领域取得的突破表示「我很害怕」。这反映出数学界对AI能力快速提升的复杂情绪，既惊叹又担忧。
Hacker News – AI49 天前
★ 3
让AI与数学对齐到别处
数学家Lior Pachter撰文讨论AI与数学的对齐问题，主张将AI对齐目标转向数学之外的领域。文章在Hacker News获得较高关注，涉及AI在数学研究中的角色与价值取向。
Hacker News – AI50 天前
★ 3
数学中 AI 的错位：Kevin Buzzard 回应
数学家 Kevin Buzzard 在 Lean 社区回应了关于 AI 在数学领域存在严重错位的讨论。该对话聚焦 AI 形式化证明与数学研究实践之间的偏差，引发学界关注。
Hacker News – AI50 天前
★ 2
社区项目 oai-math-revised 修订 OpenAI 数学写作
一个名为 oai-math-revised 的社区项目汇集对 OpenAI 数学相关写作的修订与讨论。该项目在 Hacker News 上引发关注，反映社区对 AI 数学成果表述的审视。
Hacker News8 天前
★ 2
陶哲轩视频谈 AI 与科学的核心悖论
数学家陶哲轩在视频中讨论 AI 与科学关系中的核心悖论，涉及 AI 在数学与科研中的辅助作用及其局限。内容为观点性演讲，未发布具体模型或研究成果。
Hacker News – AI14 天前
★ 2
★ 2
进化式 LLM 程序搜索改进 25 个方形装箱上界
一篇 Substack 文章介绍如何利用进化式大语言模型程序搜索，改进 25 个方形装箱问题（square packing）的上界。该方法将 LLM 生成的程序与进化搜索结合，在经典组合优化问题上取得更优解，展示了 LLM 在数学优化领域的应用潜力。
Hacker News – LLM23 天前
★ 2
AI不会让数学家失业
一篇评论文章论证 AI 不会取代数学家，认为数学研究的核心创造性与直觉难以被机器替代。文章探讨了 AI 在数学领域的辅助角色与人类数学家的不可替代性。
Hacker News – AI29 天前
★ 2
数学必须拥抱AI范式
一篇Medium文章主张数学领域应接纳AI范式，认为错位存在于学科内部而非AI。文章探讨AI对数学研究方法的潜在变革。该观点在Hacker News上获得少量关注，属于学术思辨类内容。
Hacker News – AI39 天前
2026-W44本周争议集中在三星电视端侧 AI 监听，2 篇报道跟进。与以往云端数据上传的隐私担忧不同，这次焦点是设备本地持续感知的边界，端侧 AI 让“是否在听”更难被用户验证。事件本身尚无定论，但反映出争议正从数据去向转向设备常驻感知的合理性，厂商解释成本会上升。