VOL · 4
把今天的 AI
一杯咖啡读完
每日精选 · 一手源优先 · 看见 AI 浪潮的真实方向
2026 ／ 05 ／ 21 · 周四
大 模 型
OpenAI 推理模型攻克 Erdős 80 年数学难题，单位距离猜想被推翻
通用推理模型独立给出 Gowers / Sawhney 反例构造 ／ 80 年代数数论开放问题首次被 AI 推翻。
推理模型从"做高考题"跨进"动开放问题"，数学家的工具栏正式增加一个新栏位。
A G E N T
腾讯 Marvis 正式上线：操作系统级 AI 助手，6 Agent 零配置
6 个内置 Agent ／ 端侧隐私模式 ／ Qwen 底座 ／ 与应用宝生态深度联动。
马维斯把 Agent 从 App 内服务下沉到 OS 层，腾讯抢占下一代入口的关键拼图。
政 策
特朗普签署 AI 行政令：国家级框架取代州级碎片监管
设立 AI 诉讼工作组 ／ 模型发布前审查 ／ 国家级框架取代各州独立立法。
联邦把 AI 监管收归中央，创业公司从"50 套法规"压力切换到"1 套白名单"门槛。
融 资
Meta 8000 人裁员落地，7000 人转岗 AI 新部门
裁员 8000 人 ／ 同步转岗 7000 人到 AAI 新部门 ／ 推行"AI 原生设计原则"。
扎克伯格把组织拆开重装，每条产线都要被 AI 原生重做一次。
OpenAI 秘密筹备 IPO，估值 8520 亿美元最快周五递表
高盛 ／ 摩根士丹利联合主承 ／ 估值 8520 亿美元 ／ 最快本周五秘密递表。
AI 时代第一个万亿级 IPO 的脚本已写好，二级市场算力期货故事正式登场。