部分数学家呼吁抵制 OpenAI，AI 生成的证明涌入数学界引发争议
Fields 奖得主 Terence Tao 所在的 AHM 组织发文呼吁抵制 OpenAI，称其一次性发布 700 多个 AI 生成证明文件不是学术展示而是力量展示。
推荐理由：原文梳理数学界对 AI 批量生成证明的抵制呼声，并对比 OpenAI 与 Anthropic 两种发布方式的不同影响。
10月18日 · 周日
值得关注的 AI 动态
最新精选
The Decoder精选AI 评分7878
The Decoder精选AI 评分7676 OpenAI 一次性发布 700 余份数学手稿，百余位数学家震惊与失望并存
OpenAI 于 2026 年 10 月 6 日在 GitHub 上一次性发布超过 700 份手稿，声称解决数百个未解数学问题，数学博客 Proofs and Prompts 随后收集了 100 多位研究者的回应。
推荐理由：汇集百余位数学家对 OpenAI 一次性发布 700 余份数学手稿的第一手反应，呈现从震撼、恐惧到有限乐观的社区分化。
Hugging Face Blog精选AI 评分7575 Hugging Face 发布 2026 年夏季开源模型生态观察报告
Hugging Face 发布覆盖 2026 年 1-8 月的开源模型生态报告，Hub 公开模型仓库从 243 万增至 296 万，数据集从 71.1 万增至 100 万。
推荐理由：报告用 Hub 下载、likes、衍生模型和 agent 流量数据梳理 2026 开源生态，读者可借此对比中美策略与生态位置差异。
Hugging Face Blog精选AI 评分7070 Hugging Face 复现 ICML 2026 的 2226 篇论文后学到了什么
Hugging Face 主办的 ICML 2026 Open Reproductions 挑战中，1221 名社区成员用各自编码智能体在 19 天内发布 6816 份 Trackio logbook，复现 2226 篇论文（约占会议 34%），并用开源权重模型 GLM-5.2 逐条判定 35908 条主张。
推荐理由：官方复盘大规模复现挑战的结果数据，并给出人类在智能体科研审查中的角色判断，方法与结论可迁移到自己的研究流程。
已经到底了