AI 日报 · 2026 年 10 月 28 日 · 星期三
TIDEFEED
OpenAI宣布AI生成三项研究成果，涉及卡凯亚猜想、ETH与杨-米尔斯理论
OpenAI宣布其AI系统在局部平滑化猜想、指数时间假设（ETH）和杨-米尔斯理论存在性等方向生成证明或反证。关于局部平滑化和ETH的材料已公开并完成Lean形式化，但文章强调形式化不能替代同行评审；杨-米尔斯与QCD成果则由外部物理学家团队继续审查，原始材料暂未公开。
虎嗅原文 产品发布/更新
灵光2.0实测：从宠物保单到双11比价，AI开始帮你管事
爱范儿作者实测蚂蚁灵光2.0，将宠物医疗险、双11比价和周末旅行等事务交给它处理，重点观察其持续跟进和动态调整能力。灵光2.0可读取合同、筛选群消息、监测价格，并在天气、行程或航班变化后重新规划。文章还提到，灵光2.0可接入支付宝等服务，并支持在开放环境中调用MCP、CLI等工具。
技巧与观点
虎嗅马斯克为何支持特斯拉与SpaceX探索合并
马斯克公开支持特斯拉与SpaceX探索合并，但因利益冲突不能参与双方特别委员会之间的核心谈判。两家公司已在Terafab、人工智能和计算基础设施等领域合作，潜在合并可能改变跨企业的技术协同与资本配置方式。交易目前仍处于研究阶段，双方尚未达成条款，合并能否实现存在重大不确定性。
掘金 · 人工智能Anthropic 半年营收163亿美元、算力承诺最高7800亿美元，长期合同风险如何衡量
Anthropic 的算力采购分析聚焦按量收入与长期刚性支出的错配，讨论企业如何选择自建、按需租用和长期合约。文中援引招股书称，其半年营收为163亿美元，算力承诺最高7800亿美元，约80%的云计算承诺无论是否使用均需支付；807亿净亏损中约720亿属于非现金会计计提。文章建议依据调用量预测、合同期限和退出条款选择采购方式，区分稳定业务与探索性试点的弹性需求。
掘金 · 人工智能Anthropic拟以ANT代码在纳斯达克上市，S-1披露“灾难性风险”等五处反常细节
Anthropic拟以ANT代码在纳斯达克上市，文章围绕其S-1披露的PBC治理结构和五处反常细节展开分析。文中提到风险因素包含“catastrophic risk”和“conscious AI”，前九个月推出250个新模型版本、平台功能和应用，最近六个月模型版本贡献80%以上收入，并有5180亿美元多年期算力承诺。
SidebarAI 智能体会操作软件，不等于知道如何达成业务目标
AI 智能体知道如何操作软件，并不等于能达成业务目标；作者主张训练环境应围绕组织规则、动态状态和真实业务结果构建。环境需要包含相互关联的信息、能依据权限与证据回应的模拟同事，以及共享同一状态的 GUI、API 和 CLI，评估则应检查审批、预算和过程中的违规，而非仅检查是否完成点击或发送邮件。
Sidebar代码审查从来不只是审查代码，而是验证软件是否有效
AI 编码加剧了人工审查瓶颈，代码审查应从判断代码好坏转向验证软件能否实现预期结果。文章主张让 AI 排查和修复明显代码问题，人类借助功能开关、金丝雀发布、可观测性和 CI/CD，在接近真实使用的条件下验证结果并建立反馈循环。涉及人身安全或重大经济后果的系统仍应保留代码审查，不能直接向用户发布变更来验证。