陶哲轩谈AI数学：OpenAI生成证明引发掠夺式开采担忧
菲尔兹奖得主陶哲轩在《新科学家》专访中表示，OpenAI 10月26日公布数学、计算机科学和物理学三项新发现，此前10月初一次性发布722份AI生成数学手稿，其中一份约100页的证明几乎未带来数学洞见，他称之为自动化掠夺式开采。他担忧AI擅长解题却难以触及理解，并指出AI可利用Lean漏洞构造假证明蒙混过关。人类数学协会已有1008位成员，其中654人加入无AI研究小组。
#论文/研究
人人都是产品经理AI 评分6767 钛媒体精选AI 评分7272 陶哲轩谈AI与数学：OpenAI抢发证明是掠夺式开采
陶哲轩在《新科学家》专访中表示，OpenAI 用大模型和数百万美元算力抢在数学家之前完成纳维—斯托克斯问题相关证明，产出的100页AI证明几乎没有带来数学洞见，他称之为自动化掠夺式开采。他担忧AI强化了解题这一面却几乎未触及理解，并指出科技巨头陷入必须加速的囚徒困境。10月22日他在《Nature》发文提出Math 2.0构想，主张数学共同体建立自己的开放模型和研究工具。
推荐理由：陶哲轩在专访中区分数学的解题与理解两面，为判断AI介入基础研究的边界提供了具体参照。
Import AIAI 评分4747 Import AI 474：Platonic 心智空间、太空 TPU、智谱启动外层 RSI 循环
Import AI 474 期聚焦 Michael Levin 提出的"Platonic 心智空间"假说，认为心智是嵌入生物或机器载体的非物理模式，xenobots、anthrobots 等实验被视为佐证。同期还讨论了机器人领域正等待自己的 LLM 时刻但缺少通用算法，以及智谱启动外层 RSI 循环、TPU 进入太空等话题。
Import AIAI 评分2222 Import AI 473：美国超级智能战略、人脑组织小鼠与机器诠释学
RAND 发布报告提出美国应以“自由行动”战略应对通往超级智能的不确定路径，核心是保留选项而非锁定单一方案。报告列出共存、拒止、加速三类共七种原型战略，并指出危险临近程度、共存可行性等五项关键不确定性决定策略取舍。同期内容还包括在脑组织被刻意耗竭的小鼠体内培育人类脑组织的研究，以及机器诠释学话题。