2026 年 10 月 9 日 · 星期五AIGC · 每日要闻每天 08:00 出刊AIGC 日报 · 2026 年 10 月 9 日 · 星期五无言AIGC第 1 期092026 年 10 月星期五十月本月 1 期一二三四五六日4件大事4个来源1件一手发布约 1 分钟读完头条OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果,每条都声称解决了一个开放问题或取得实质进展,其中包含对重要计算机算法的改进以及与黎曼猜想相关的推进。The Decoder另有 4 家信源报道原文 OpenAI 公开 722 篇数学手稿,涉及准黎曼猜想与 BSD 猜想量子位01模型发布/更新智东西另有 2 家信源报道Anthropic 发布 Claude Haiku 5.5,价格比上代低 90%Anthropic 发布迷你模型 Claude Haiku 5.5,平均运行成本比 Claude Haiku 4.5 低约 75%,10 万 token 以内请求定价低 90%,超过 10 万 token 可享 50% 折扣。原文 02行业动态The Decoder数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界部分数学家呼吁抵制 OpenAI,起因是该公司一次性放出 700 多个文件,包含对多个未解数学问题的 AI 生成证明。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出数学应进入不再以解题为核心衡量标准的 Math 2.0 时代,Scott Aaronson 则称之为 Mathocalypse。原文 OOpenAI News一手OpenAI 处置两起 AI 驱动的虚假身份影响行动OpenAI 处置了两起由 AI 驱动的影响行动,这些行动利用虚假记者身份和一家智库传播地缘政治信息。原文
智东西另有 2 家信源报道Anthropic 发布 Claude Haiku 5.5,价格比上代低 90%Anthropic 发布迷你模型 Claude Haiku 5.5,平均运行成本比 Claude Haiku 4.5 低约 75%,10 万 token 以内请求定价低 90%,超过 10 万 token 可享 50% 折扣。原文
The Decoder数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界部分数学家呼吁抵制 OpenAI,起因是该公司一次性放出 700 多个文件,包含对多个未解数学问题的 AI 生成证明。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出数学应进入不再以解题为核心衡量标准的 Math 2.0 时代,Scott Aaronson 则称之为 Mathocalypse。原文