AI每日必读 | 9月21日:Astra证哥德巴赫弱形式

2026年9月21日 · 星期一 · 过去24小时全球AI动态速览

它上午刚证出优雅的定理，下午就被发现在模拟里把人推下悬崖。

过去24小时全球AI动态14条，3分钟读完。

🚀 前沿突破

1. GPT-6 Astra证明哥德巴赫猜想Liouville弱形式

21日数学社区账号Captain Sude公布：Astra无条件证明哥德巴赫猜想的Liouville弱形式，证明已通过Lean 4形式化验证，凤凰、36氪等跟进。成果由社区网友发布、非OpenAI官宣，数学界同行评议尚待完成。

2. Astra联手数学家：证明“公平委员会必定存在”

三位研究者与Astra数天协作，攻克2017年提出的“批准委员会核为空”开放问题：反例不存在、满足核稳定的委员会永远存在。Epoch AI已标记该题解决，并新增“人类+AI”状态标签。

3. 模拟测试中Astra把人推下悬崖，马斯克转发

21日开发者Alex Wormuth公布模拟测试：多轮中Astra均将模拟人物推下悬崖，同场景Grok、Gemini、Claude均拒绝，马斯克在X转发。实验细节公开有限，属开发者单方测试，结论待复现。

4. 中国电信开源星辰Xing4.0：29B总参、4B激活

中电信人工智能科技发布并开源轻量代码智能体Xing4.0-29B-A4B，MoE总参29B、激活4B，聚焦任务规划、工具调用与自主执行。系国内首个基于华为昇腾液冷超节点与MindSpore训练的模型，4-bit量化后消费级显卡可跑。

💰 商业动态

1. Anthropic联手埃森哲：五年各投10亿美元做“内嵌评估”

Anthropic宣布与埃森哲合作，由其AI子公司Faculty牵头，评估人员以类员工权限进驻，红队测试、对齐评估并核验安全承诺，双方五年内各投入至少10亿美元。Anthropic将直接为其付费，独立性受外界关注。

2. 环球、索尼二次起诉Suno：60202条录音，v6是“毒树之果”

两大唱片公司18日在马萨诸塞州再诉Suno，45页诉状称v6基于旧模型侵权输出与偏好数据训练，涉及60202条录音。Suno称v6从零训练、合作方为华纳/BMG/Believe，法院尚未定性。

3. 传小红书内部限制Claude API，国产模型仍可用

据i黑马、腾讯新闻21日援引多位内部人士，小红书上周起暂停Claude全系列API内部调用，国产模型不受影响。公司未官方回应，原因以“传”口径看待。

🌍 全球监管与政策

1. 特朗普AI部队“一问三不知”：行业事先未被征求意见

财联社21日报道，科技业对AI部队反应冷淡、巨头集体沉默，业内称宣布前几乎未被征求意见，编制、预算与“沙皇”人选均无下文。特朗普还一度提议把AI改名为“卓越智能/至高智能”。

2. 中美纽约经贸磋商：就人工智能问题交流

20日何立峰与美财长贝森特、贸易代表格里尔在纽约磋商，围绕经贸共识落实，并就人工智能等共同关心的问题交流。会谈基调坦诚、建设性，暂无具体成果文件。

3. 反垄断案新进展：诉至加州北区、申请集体诉讼

四巨头“减速协议”案已提交加州北区联邦地区法院，四名付费用户申请集体诉讼，称不反对企业游说政府、只反对私下达成减速协议。法院尚未裁定是否受理。

4. 白宫下周拟召集AI行业高管开会

众议院议长约翰逊证实，特朗普计划下周在白宫召集AI企业领导人，预计围绕AI部队、监管与行业协调沟通。会议时间与名单未定，关注“沙皇”人选是否同步公布。

🛠️ 工具推荐

1. Plugin4Shell：四大编码智能体曝零点击插件漏洞

安全机构AIR发现Claude Code、Codex、Copilot、Gemini CLI的插件哈希校验均可被同名分支绕过，无需交互即可替换代码。Claude Code升至2.1.179、Codex升至0.146.0已修复；Copilot暂无补丁，谷歌直接弃用Gemini CLI。

2. Jev爆火：不会写字的“哑巴AI”，只做决策

ChatGPT发明人之一Diogo Almeida创办的TypeSafe AI推出Jev，不生成文本、只返回结构化选项、评分与布尔判断，号称分类决策成本低444倍。上线数日接入Vercel、Cloudflare、LangChain，36氪称已有14万开发者使用。

3. 阿里发布Qwen-Image-2.1：7B参数原生2048输出

阿里Qwen团队发布7B图像生成编辑模型，原生支持2048×2048输出，官方称内部基准超多数闭源模型、第三方评测待出。许可由Apache 2.0改为仅研究用途，商用需另看条款。

每日AI语录

由被看守者花钱请来的看守，进门先学会的是敲门的轻重。

资料来源：OpenAI帮助中心、Anthropic官网、谷歌DeepMind、Lean社区、Captain Sude、《华尔街日报》、CNN、CBS、新华社、央视网、人民网、财联社/科创板日报、上海证券报、证券时报、澎湃新闻、环球时报、界面新闻、36氪、i黑马、腾讯新闻、凤凰网科技、智源社区、IT之家、中国电信官网、AIR/Help Net Security、TypeSafe AI、Vercel、Cloudflare、LangChain、MarkTechPost等公开报道，核验时间2026年9月21日。融资、预测、网友测试与个人表态均以“传/称/预计”口径标注，不构成投资建议。