一天之内，17条AI与科技公告挤在同一条时间线上。算力、模型、机器人、安全、开发者工具、工厂，甚至计算机验证数学，全都在同一天冒了出来。

先看钱流向哪里。General Compute拿到1亿美元A轮融资，方向是AI推理基础设施；Infisical完成4000万美元B轮，做密钥管理与智能体保险库；Hyperbolic Labs拿到3000万美元A1轮，要建一张全球GPU算力网格。Machenta则以4000万美元种子轮资金退出隐身模式，主攻「单次演示机器人学习」。

模型侧同样密集。Liquid AI推出LFM3多模态模型，针对端侧部署优化；Google预览Genie 4交互式世界模型，原生支持音频；Giotto AI一次拿出两款——欧洲托管推理模型Alto，以及单GPU部署的Solo。SpAItial AI发布Echo-3，把手机拍摄转成照片级真实的3D环境。

产品与工具层面，几条值得单独拎出来：

  • p0推出Parallel Decisions API，把决策模型与网页实时信息结合
  • Supabase进入私有Alpha，支持在项目中与Postgres数据并行运行智能体与长任务
  • Judgment Labs通过执行轨迹提供智能体可观测性
  • Wonder更新设计转代码画布，集成Claude与Codex订阅
  • HarmonicMath把形式化验证引入C与Verilog

还有两条容易被忽略但分量不轻。XploreAi发布RWE-Bench，用20项CAD与工程分析任务测试11个前沿模型；Axiom完成有限单群分类的Lean形式化，其证明器在24天内生成5000万行Lean代码。

硬件侧，Anduril与高通合作推出BlueChip加固笔记本，面向高要求政府与国防环境，计划2027年交付。Neywa Labs则盯着另一个方向——为Apple Silicon等现有设备做本地AI基础设施；Lumaril发布面向现有工厂的工业自主平台。

把这份清单摊开看，覆盖面从算力基础设施一直铺到计算机验证数学。一天17条，密度确实不低。