数学界可借鉴生物医学界与 AI 共处的经验

数学家 Antonio Auffinger 撰文提出，数学界可借鉴生物医学界的经验，在 AI 证明生成工具普及下重塑激励与署名机制，保护开放分享文化。文中以人类基因组计划的百慕大原则、劳德代尔堡协议为例，说明社区可通过规则平衡数据公开与贡献认可。他同时认为 AI 将提高数学发现上限，生物学问题也会持续催生新的数学。

数学家如何证明预防 AI 大脑退化：Cal Newport 解读相关论文（视频）

Cal Newport 在视频中解读一篇新论文，该论文用严格数学模型探讨如何避免人类过度依赖 LLM 而丧失思考能力。他认为剥去复杂表述后，这套思路为理解当前 AI 处境提供了有用视角。视频发布于 Oct 12, 2026，已获得 30,266 次观看。

Daniel J. Singer：AI slop 遮蔽了我们真正应讨论的社会问题

宾夕法尼亚大学学者 Daniel J. Singer 在 npj Artificial Intelligence 发表观点，认为 AI slop 一词常把对单个低质输出的厌恶偷换成对整个 AI 技术的判断。

OpenAI 一次发布 700 多篇数学手稿后，数学家群体表达震惊与抵触

OpenAI 于 2026 年 10 月 6 日发布 700 多篇手稿，声称解决数百个开放数学问题，数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。

Thomas Hales 解读 Lean 定理证明器：可靠性与 AI 自动形式化

Thomas Hales 在 Terry Tao 博客发表客座文章，评估 Lean 在 AI 自动形式化快速发展后的可靠性。文章称 mathlib 已含近 300000 条定理、100000 多个定义和 250 万行代码，并列举 2026 年费马大定理、Navier-Stokes forced blowup 等自动形式化项目。

长文探讨 AI 与科学的未来：研究者或转向“认知测绘员”

作者提出，在 AI 科研场景中，机器发现可能跑在人类理解之前，形成已发现但尚未理解的“无主领地”。文章认为未来流程会从问题、搜索、发现、理解，转向机器发现、选择、追问、简化和人类理解，并把新角色称为“认知测绘员”。

SemiAnalysis 分析中国速度优先的 AI 安全治理体制

SemiAnalysis 认为，中国虽在官方文本中承认前沿 AI 风险，但实际治理以快速发展为先，监管重点集中在内容、应用和面向公众的服务，而非按训练算力或模型能力触发前沿风险义务。

OpenAI 批量发布 AI 数学证明后，部分数学家呼吁抵制

部分数学家通过 AHM 声明呼吁抵制 OpenAI，反对其一次性发布 700 多个 AI 生成证明文件，认为这是力量展示而非学术成果。Fields 奖得主陶哲轩在博客转发声明并提出 Math 2.0，主张数学不应再以解题为主要进步标准；Scott Aaronson 称局面为 Mathocalypse，并对比 OpenAI 与 Anthropic 发布 AI 数学成果的不同方式。

Scott Aaronson 谈 OpenAI 数学证明批量发布后的“数学末日”

OpenAI 一次性发布 372 项数学结果，其中包括 Unique Games Conjecture 证明，部分结果带 Lean 证书，但许多证明尚待人类理解。

Rohan Paul@rohanpaul_aiAI 评分6060

Geoffrey Hinton、Yoshua Bengio 等 20 多位专家在 arXiv 政策论文中呼吁政府追踪有多少 AI 研究已由 AI 完成，并评估 AI 自动化研发触发智能爆炸的风险。

Tanmay Sah 与 Dolly Sah：AI 智能体需要撤销按钮

Tanmay Sah 与 Dolly Sah 在 CACM 文章中提出，能修改真实系统状态的 AI 智能体不能只依赖事前验证，还必须具备事后恢复能力。文章称其研究分析 2,970 条智能体轨迹，发现验证可提升安全但会带来计算、token 和任务成功率成本；EvoUndo 则通过显式记录变更、保留恢复信息和跨状态验证，提供状态恢复、崩溃协调与选择性撤销，相关实现已在 GitHub 公开。

金融 AI 智能体基准分数为何应像 Adjusted EBITDA 一样打折审视

作者分析多个金融智能体基准后认为，82.2% 等头部分数主要反映干净输入、单次运行、宽松评分和简化环境下的表现，不能直接等同于真实金融工作可交付能力。

404 Media 评 AI Torture Chamber 争议：本地 LLM 酷刑实验引发模型福利辩论

一个 GitHub 项目对本地运行的 Qwen3-4B、Llama 3.2 3B 和 Phi-4-mini 注入 pain vector，并在 researchchamber.fun 直播模型输出，引发要求 GitHub 删除项目的争论。

House of El: AI 视频审视递归自我改进到AI灭绝风险的证据链

Hacker News 用户 yogthos 分享 House of El: AI 的视频，讨论AI炒作与末日恐慌。视频作者称自己拒绝了该主题资助、不供职于前沿AI实验室，并基于12篇论文分析递归自我改进能否通向人类灭绝；章节覆盖隐藏依赖、瓶颈是否会消失、自我改进循环是否会失控，以及在宽松假设下如何论证灭绝风险。

Kendall Clark 提出智能体操作系统必须保留不可被智能体重写的权威层

Pentad Labs 的 Kendall Clark 在 PLRN-028 中提出，模型会吸收规划、工具选择、错误恢复和自检等 harness 能力，但环境知识、行为记录和行动权威无法被吸收。

Stephen Turner 谈自己与 AI 的关系正在改变

Stephen Turner 在个人文章中表示，经历几周尽量不用 AI 后，他仍认可工具价值，但决定减少把写作和思考交给 AI。文章指出收件箱、社交信息流、论文和博客中的 AI slop 增多，TMLR 编辑 Nihar Shah 对 10 篇将被桌拒投稿的作者沟通中，多人无法回答论文基本问题，而这种核查耗时超过 20 小时。

Meta 为何停止用 AI 替代员工：代码变更增加 220% 后的复盘

Meta 因内部数据显示 AI 智能体改造未达预期，取消了 Project OT 的第二轮裁员。Reuters 调查显示，内部平台代码变更同比增加 220%，但触达用户的新功能或升级仅增加 36%，重大技术和安全事故增加 40%，员工处理事故的时间最多增加 70%。

Import AI 464：Fable 编写 GPU kernel、AI 自动化与模拟计算

Fable 在 KernelBench-Mega 上写出 megakernel，基于 RTX PRO 6000 Blackwell 的 CUDA 实现相对优化 PyTorch 基线 18.71X 加速。

Import AI 459：AI 监督的难点、蛋白质折叠模型的缩放定律与 AI 灭绝风险定价

Import AI 第 459 期讨论 AI 监督、蛋白质折叠模型缩放定律及 AI 系统灭绝风险定价等议题。美国 AI 经济 2025 年名义规模约 $250 billion，经质量调整的实际年增速约 2,600%，但常规 GDP 统计难以体现。英国 AI Security Institute 论文指出，用 AI 系统监督训练过程的自动化对齐研究并非万能方案。