史上最挤 AI 发布日：OpenAI 开源数学手稿、Meta 等 Agent Protocol 同日齐发

altryne · x · 2026-10-07

altryne 盘点 10 月 6 日堪称近期最密集的 AI 发布日：

• OpenAI 开源 722 份数学手稿，覆盖大量此前未解的数学问题，许多附带 Lean 形式化证明
• Meta、Stripe、Shopify 联合发布 Agent Protocol（作者认为更像 Assistant Protocol）
• OpenAI 上线 Decisions API，对标多模态 JEV
• Mistral 顺势玩梗推出 Le Chonk——1T 参数模型，即将开放权重
• Google 发布 Embedding Gemma 2（端侧可用）并更新 Nano Banana 2.1
• Brett Adcock 推出 AI 助手新品 Hark Pro
• Perplexity 开放权重 Decider v1.1（其 JEV），价格减半
• Claude 进驻 Google Docs/Sheets/Slides
• CoreWeave 发布 RL rollouts；OpenAI 上线 auto-review 与 granola 杀手产品；Gumloop 推出 agent 浏览器

原文链接 →

「公司和人」频道最新

• 业内人士预言:Meta 或将转身成为前沿模型顶级玩家 — BLUECOW009 · 2026-10-07
• 奥特曼官宣：我们正迈入科学发现新时代 — sama · 2026-10-07
• SpAItial 创始人 Niessner 招兵买马:3D 世界生成与机器人学习 15 个岗位 — CSProfKGD · 2026-10-07
• Beam 团队澄清:模型从零训练,未蒸馏闭源模型 — alexpolozov · 2026-10-07
• 1X NEO 灵巧手工程师 Max Titov 离职创业,公开寻求合作 — eigenron · 2026-10-07
• OpenAI 一口气放出 700 篇数学证明与反例预印本 — tootie · 2026-10-07

更多「公司和人」频道 AI 资讯 →