AI 日报 · 2026 年 10 月 9 日 · 星期五
YUYUNEWS
OpenAI批量发布数百篇理论研究成果引发学界广泛争议
OpenAI 集中发布数百篇针对数学与理论科学开放难题的手稿，虽在部分猜想上取得进展，但因成果质量与对学术生态的冲击引发学界讨论与抵制呼声。商业与产品方面，Manus 母公司在收购终止后完成超 5 亿美元融资；Anthropic 则为 Claude 上线图表与动画生成功能，并更新政策禁止虐待模型。
产品发布/更新
The DecoderClaude 支持根据文本提示生成动画解说视频与实时数据仪表盘
Anthropic 为 Claude 推出了 Dashboards 和 Motion 两项测试功能，分别支持根据提示词生成实时数据仪表盘与动画解说视频。
行业动态
TechCrunch · AIManus 母公司完成超 5 亿美元融资，为终止 Meta 收购案后首轮融资
Manus 母公司蝴蝶效应宣布完成超过 5 亿美元新一轮融资，由博裕资本与 IDG 资本领投，腾讯、红杉中国和真格基金等跟投。这是 Meta 终止 20 亿美元收购后该团队的首轮融资，此前有消息称其正按 40 亿美元估值洽谈，并考虑赴港上市。公司在 8 月恢复独立运营后继续推进海内外招聘，近期已推出 Manus 2.0 及独立智能体应用 Cue。
The Verge · AIAnthropic 更新使用政策：禁止对 Claude 施加虐待行为并收紧武器与监控限制
Anthropic 一年多来首次更新使用政策，明确禁止用户对 Claude 施加持续且无必要的虐待或残忍行为，目前以终止对话作为主要执行手段。新政策还同步收紧了对虚假政治宣传、武器制导及控制软件开发、未经许可的监控行为的限制，并规定模型在接入具身物理硬件时必须配备可随时叫停的合格操作员。
论文研究
OpenAI 批量发布 700 多篇理论研究手稿，专家解读数学与物理领域关键成果
OpenAI 集中发布了 700 多篇手稿，声称在数学、理论物理和计算机科学的 372 个未决问题上取得了证明或实质进展。《科学美国人》梳理指出，成果包括推进准黎曼猜想、解决四维挂谷猜想，以及将矩阵乘法复杂度指数降至 2.25。尽管部分成果被学界评价极高，但许多证明尚未经 Lean 形式化验证，部分内容已被撤回，且官方未公开完整提示词与运行细节。
技巧与观点
数学界对 OpenAI 批量发布数学研究成果反应褒贬不一
OpenAI 集中发布了针对 372 个数学和计算机科学开放问题的 AI 生成成果，引发数学界广泛关注与争议。目前 42% 的成果已用 Lean 语言完成形式化验证，但论文质量参差不齐且已有 3 篇因重大错误撤稿；部分学者赞赏其引用改进与突破，也有学者批评其缺乏负面结果透明度并涉嫌展现学术霸权。
The DecoderOpenAI 批量发布 AI 生成证明引发争议，部分数学家呼吁发起抵制
OpenAI 内部模型批量发布上百个公开数学问题的机器证明草稿，引发部分数学家呼吁对该公司发起抵制。菲尔兹奖得主陶哲轩等人指出，大量难以阅读的 AI 证明无法带来概念性理解，反而可能挤压年轻学者空间并破坏传统学术合作生态；数学界目前正就抵制是否可行、预印本数据保护以及学科评价体系调整展开激烈争论。