#AI数学

共 13 篇相关资讯，按重要度与时间排序，每 3 小时更新。

★ 5

AI接管数学界引发的争议风波

过去一年，OpenAI、Anthropic等实验室宣称在多个长期数学难题上取得突破，甚至解决了一个千禧年大奖难题，但发布方式引发数学界强烈反弹。OpenAI成立独立数学家顾问小组以修复关系，却被指组织混乱、缺乏透明度，数学家担忧即将到来的成果洪流会冲击整个学科。

The Verge AI27 天前

★ 5

AI引发数学界存在危机

OpenAI发布高难度数学问题解决方案，引发数学界巨大争议。顶尖数学家担忧AI在高级抽象数学上的能力可能颠覆学科基础，质疑学术拨款和人才培养的意义。同时有人怀疑这是前沿AI实验室的营销手段，而非真正关心数学发展。

The Verge AI73 天前

★ 4

前沿 AI 实验室称模型证伪指数时间假说，MIT 学者解读

TechCrunch 采访 MIT 计算机科学家，解读前沿AI实验室宣称其模型证伪计算复杂性理论中的指数时间假说（ETH）一事。报道探讨该说法在理论计算机科学上的含义与可信度，引发对AI能否做出真正数学突破的讨论。

TechCrunch AI5 天前

★ 4

评论：AI 正在终结数学家的英雄时代

一位数学家撰文感叹 AI 正在迅速终结数学家的英雄时代。OpenAI 模型已推翻困扰数学界 80 年的 Erdős 单位距离猜想，其 Astra 模型还在 10 个长期未解的数学与理论计算机科学问题上取得突破。作者认为 AI 的数学能力已超出预期。

快公司32 天前

★ 4

AI 给出 Erdős–Sós 猜想的证明

一篇 arXiv 论文声称借助 AI 完成了 Erdős–Sós 猜想的证明，属于 AI 辅助数学研究的前沿尝试。若证明成立，将再次展示 AI 在组合数学等纯数学难题上的潜力，但此类成果通常需同行严格验证。

Hacker News – AI39 天前

★ 4

AI攻克纳维-斯托克斯难题？物理学界存疑

《自然》报道称AI在纳维-斯托克斯方程相关挑战上取得突破，引发物理学界对AI能否真正解决该千禧年难题的讨论。文章探讨了这一进展对物理学研究范式可能带来的意义与质疑。

Hacker News – AI44 天前

★ 4

网友用AI解决12年数学难题（待评审）

一位开发者声称借助AI形式化方法解决了一个悬置12年的数学问题，并发布白皮书，目前正等待同行评审。若获证实，将展示AI在数学形式化证明领域的潜力。

Hacker News – AI47 天前

★ 3

AI 是数学的终结吗

《量子杂志》文章探讨 AI 对数学研究范式的冲击，讨论机器能否参与定理证明与数学发现，以及这对数学学科意味着什么。属于深度思想报道，涉及 AI 与基础科学的交叉议题。

Hacker News – AI27 天前

★ 3

陶哲轩：强大AI模型对数学家意味着什么

数学家陶哲轩撰文探讨强大AI模型对数学研究的影响。他分析了AI在定理证明、猜想生成与协作研究中的潜力与局限，并呼吁数学界主动适应这一变革。该文为理解AI与基础科学的关系提供了权威视角。

Hacker News – AI29 天前

★ 3

AI成为数学界强大却棘手的新合作者

《金融时报》文章探讨AI在数学研究中日益深入的应用，认为它既是强大的协作工具，也带来可靠性、可验证性等棘手问题。文章触及AI辅助数学证明这一前沿议题，呼应了近期关于AI数学突破的争议。

Hacker News – AI42 天前

★ 2

MathOverflow 讨论：AI 能否成为数学理论构建者而非证明机器

MathOverflow 上发起讨论，追问 AI 在数学领域是否已从「证明机器」进展为真正的「理论构建者」。该帖引发对当前 AI 数学能力边界的争论。

Hacker News – AI8 天前

★ 2

数学家陶哲轩谈AI与数学共生

陶哲轩在其博客发文探讨开放数学问题，并延伸讨论数学界如何与AI共存。文章从生物学家的视角切入，反思数学研究在AI时代的方法论转变，引发学界对AI辅助数学证明的讨论。