今天三条消息的共同点是“谁来控制AI”：学校要不要开、用户怎么确认模型没被偷换、推理算力的钱流向哪里。一手来源是Google官方博客、Anthropic研究博客和Fal官方博客，另用TechCrunch核对。
01 Google：K-12学生账号AI默认关闭，限制AI的学校用不了Search
Google教育博客（11月3日）写明：“Access to these products will be entirely off for K-12 student accounts until school administrators explicitly turn them on.” 受影响的产品是Gemini、Gemini Notebook、Classroom里的Gemini和Google Search。同一篇博客宣布Guided Learning在Classroom全球上线，并在为学生账号的Search开发类似能力。
引发争议的是Search。TechCrunch报道，选择完全限制AI的学校“will no longer be able to access Google Search”，Google教育副总裁Chris Phillips的解释是Search和AI深度整合。TechCrunch还列出批评者：参议员Bernie Sanders称之为“extortion”，Richard Blumenthal、前FTC主席Lina Khan和纽约市长Mamdani也公开批评。Google的回应是默认关闭AI就是给学校更多选择，学校可以逐个产品开启。
还没确定的：生效细节。Google称会在未来几个月向学校提供更多说明；TechCrunch提到的Google在X上的澄清帖我没能打开，不据此下结论。
我的判断：对学校IT管理员，现在要做的是盘点哪些年级依赖Search，等细则出来前别急着一刀切关AI。对做教育产品的人，这个争议说明把基础服务和AI功能捆绑，监管和舆论风险都会上来。
来源：Google官方博客；TechCrunch；TechCrunch（批评与回应）。
02 Anthropic开源FlashProve，证明输出来自哪个模型
Anthropic研究博客（11月2日）：“Today, we release FlashProve: an open-source performant prototype for provable inference.” 页面同时说明这是研究原型，并列出技术限制。思路是模型提供方先发布一个指纹，“a short fingerprint to pin down one exact choice of weights while the weights themselves remain hidden”，之后的输出可以对照这个指纹验证，权重不用公开。
TechCrunch把可证明推理解释为“a cryptographic proof, essentially a mathematical guarantee, that a given output came from a specific model”，应用场景是防止实验室悄悄换成更便宜的模型，或用更贵的模型虚高评测成绩。报道还说，Anthropic目前没有在自家或其他实验室部署的计划，规格文档和代码已按开源许可发布。
还没确定的：验证开销有多大、有没有厂商愿意采用，两者都没有公开数据。
我的判断：企业买API最怕的是“账单按旗舰模型算、实际跑的是小模型”。这类验证机制成熟之前，合同里写明模型版本、自己保留抽样评测集，是现在就能做的事。想看实现的工程师可以直接读GitHub上的FlashProve代码。
03 Fal融资13亿美元，估值160亿美元
Fal官方博客宣布同时完成E轮和F轮，F轮“led by Bessemer Venture Partners with continued investment from NVIDIA”，E轮由Sequoia领投。官方页面没有给出金额和估值。
数字来自TechCrunch转述Bloomberg：F轮融资13亿美元，“The deal values Fal at $16 billion, double its $8 billion valuation in April”；Fal今年早些时候年化收入已超过8亿美元。Fal做的是AI推理平台，开发者通过它调用各类生成模型。
还没确定的：这些金额都不是公司自己披露的，以Bloomberg原报道为准。
我的判断：估值半年翻倍，说明投资人押的是推理需求而不是单个模型。做应用的团队可以注意，托管推理平台的议价权在变强，选型时把迁移成本算进去。
来源：Fal官方博客；TechCrunch。