马斯克成全球首位万亿富翁！SpaceX 暴涨 19%，Anthropic 要政府给 AI 装「封禁开关」
6 月 12 日五条主线：SpaceX 挂牌首日暴涨 19%，市值破 $2.1 万亿，马斯克成史上首位万亿富翁；Anthropic 发布 Advanced AI Framework，要求政府有权封禁超大规模 AI 模型部署；Moonshot 开源 Kimi K2.7-Code（思考 Token 减少 30%），但第三方测试发现内核基准有回退；Google Gemini-SQL2 登顶 Text-to-SQL 榜单；简讯覆盖 G7 AI 高管峰会与 Colorado AI Act 倒计时。
马斯克成全球首位万亿富翁！SpaceX 昨天正式挂牌，首日涨幅 19%，市值直破 2 万亿美元。同一天，Anthropic 拍桌子要求政府能「一票否决」危险 AI 部署；月之暗面开源了最强代码模型 Kimi K2.7；Google 悄悄在 Text-to-SQL 上打了一个重要的 benchmark。前一天的 AI 圈，一边在造钱，一边在争着画边界。
SpaceX 上市，马斯克身价破万亿
6 月 12 日，SpaceX 正式在纳斯达克挂牌，股票代码 SPCX，开盘即报 $150——比 $135 的 IPO 价高出 11%。1
收盘时报 $160.95，全天涨幅 19.2%，市值站上 $2.11 万亿。交易量突破 5 亿股，接近 Facebook 2012 年上市首日的 5.8 亿股纪录。Citadel Securities 数据显示，零售 IPO 申购订单量创历史最高，散户净买入额是英伟达同日交易量的 3.5 倍。2
马斯克持有 SpaceX 和特斯拉的合计市值，当天突破 $1 万亿美元，成为人类历史上第一位万亿富翁。参议员沃伦随即发帖：「我们需要财富税。」3
SpaceX 上市之所以与 AI 相关，是因为该公司去年 2 月把 xAI 并入，带进来了 Grok 模型、Colossus 数据中心、以及 X 社交平台。在招股书里，SpaceX 还披露了和特斯拉共同推进一个代号「Macrohard」的 Agent 平台——试图从代码到办公全流程取代人类知识工作者。上市同时，SpaceX 持有以 $600 亿收购 AI 代码工具 Cursor 的选择权，还有在轨道上建 AI 数据中心卫星的规划。1
值得注意的是，SpaceX 去年净亏损 $49 亿，年营收约 $187 亿，盈利部分仅靠 Starlink 支撑。CFRA 分析师 Keith Snyder 当天给出「卖出」评级和 $115 的目标价，比 IPO 价还低。他说：「要得到他们说的那个估值，所需的 AI 增长倍数简直是天文数字，近乎可笑。」
Anthropic：强 AI 来了，政府必须有「一票否决权」
6 月 12 日，Anthropic 公开了一份**《Advanced AI Framework》**，正式要求立法者给超级强大的 AI 模型套上强制安全测试的枷锁。4
框架的核心主张有三点：
- 强制测试范围：适用于训练算力超过 10²⁵ FLOPs、且年营收超过 5 亿美元或研发投入超过 10 亿美元的公司。以此标准，OpenAI、Google DeepMind、Meta AI、xAI 均在射程之内。
- 独立审计：公司不得自评自己的模型，须引入独立第三方审查，且评审方须在利益冲突方面受到约束，有权公开表达「不同意见」。
- 部署阻断权：若模型存在生物武器制造、攻击性网络行动、失控风险或加速危险研究的可能，政府有权叫停上市部署，违规公司承担与全球年营收挂钩的民事处罚。
这份框架和 Anthropic 6 月 10 日发布的 Claude Fable 5 是同一天捆绑发出的——前者给业界展示能力，后者要求业界承担责任。一家公司同时站在「我们造了史上最强公开模型」和「政府必须有权封禁它」两个位置，这个姿态本身就引发了大量讨论。5
Kimi K2.7-Code：开源代码模型来了，但第三方测评有不同声音
Moonshot AI（月之暗面）在 6 月 12 日同时发布了两个产品：Kimi K2.7-Code 开源模型和 Kimi Work 本地桌面 Agent。
K2.7-Code 延续 K2.6 的万亿参数 MoE 架构，以 Modified MIT 协议开源，权重已上传 Hugging Face，支持 vLLM / SGLang 部署，与 OpenAI 接口兼容（K2.6 用户无需改架构即可切换）。Moonshot 声称相比 K2.6 的改进：
- 思考 Token 减少 30%，直接降低 Agent 工作流的推理成本
- Kimi Code Bench v2 提升 21.8%、Program Bench 提升 11%、MLS Bench Lite 提升 31.5%
然而，第三方独立测试给出了不同信号。研究员 Elliot Arledge 在 KernelBench-Hard（GPU 内核优化基准）上跑了 K2.7 对比 K2.6 和 Claude Fable 5，结论直接：「K2.7 更诚实，但能力没有提升。」MoE kernel 上，K2.7 的得分从 K2.6 的 0.222 退步到了 0.157。6
开发者 Sugumaran Balasubramaniyan 在 X 上直接问 Moonshot：「每家模型都在自家测试集上提升两位数，K2.6 在 DeepSWE 独立基准上只有 24%，和 GPT-5.4-mini 持平。K2.7 会不会提交 DeepSWE？」目前官方未回应。
Kimi Work 则是同步亮相的本地桌面 Agent，支持 macOS / Windows，使用你自己已登录的真实浏览器（而不是云端沙箱），可以挂载本地文件夹、运行 Python 脚本，内置 Cron 调度引擎，最多 300 个子 Agent 并行运作，还预置了 A 股、港股、美股的行情数据接口。7
Google Gemini-SQL2：Text-to-SQL 单模型榜登顶
Google Research 在 6 月 12 日宣布发布 Gemini-SQL2，基于 Gemini 3.1 Pro，在 BIRD Text-to-SQL 单模型榜拿下 80.04% 执行精度。8
BIRD（BIg Bench for LaRge-scale Database Grounded Text-to-SQL）是业内公认的 Text-to-SQL 基准，包含 12,751 条问答对、横跨 37 个专业领域。「执行精度」衡量的是：生成的 SQL 不只是语法通顺，还必须跑起来并返回正确结果。
在 Google 公布的榜单中，Gemini-SQL2（80.04%）明显领先此前 Google 自己的 Gemini-SQL（约 77.2%）以及 AWS Q-SQL（约 76.5%）、Databricks RLVR 32B（约 75.7%）等。做对比：人类水平在同一榜单上是 92.96%，差距还有约 13 个百分点。
目前 Gemini-SQL2 尚未作为独立 API 或模型字符串对外开放，Google 也没有披露将首先集成到哪些产品——BigQuery Studio、AlloyDB AI 和 Cloud SQL Studio 都是候选。在 AI 工具逐渐渗入数据分析工作流的当下，这个方向上的每一个百分点，对那些用自然语言查数据库的从业者来说，都是真实的效率差。
简讯
OpenAI/Anthropic/Google 三大 CEO 将出席 G7：据 Seeking Alpha 报道，OpenAI、Anthropic、Google 高管将出席下周在法国举行的 G7 峰会，AI 监管议题预计进入各国政府首脑级别的讨论桌。9
Meta Creator Assistant 上线：Facebook 推出面向创作者的 AI 助手，不只告诉你内容表现好不好，还解释「为什么好」。Meta 同时透露，AI 翻译 Reels 每周触达超过 5 亿观看次数。10
Colorado AI Act 倒计时 18 天：美国首部综合性州级 AI 法律将于 6 月 30 日正式生效，寄望联邦立法「抢先打压」各州法规的科技公司如今时间所剩无几。
Add more perspectives or context around this Post.