大模型

Anthropic 称 Claude 用 11 天完成费马大定理的端到端形式化证明。相比结果本身，更值得关注的是 AI 在长时程 Agent、状态管理和形式化推理上的能力边界。

微信开源 WeMM-Embedding 通用多模态嵌入模型，日调用量达十亿量级，已用于视频号、直播、公众号、电商与朋友圈等推荐与搜索系统，并提供 2B、4B、9B 三个版本。

英伟达宣布将以129.303亿美元收购Hugging Face，交易预计2027年上半年完成。GPU巨头正把算力优势延伸到开源模型托管、数据集管理和开发者生态层面，而Hugging Face能否在收购后继续保持开放，将成为行业关注重点。

The Information称，OpenAI新一代模型Astra正在使用一种名为“循环深度”的推理技术。由于该技术可能减少可读思维链记录，AI安全研究者开始担心，模型监控难度会随之上升。

Meta Muse Spark 1.3 以 62 分进入 Artificial Analysis 第一梯队，同时把输入输出成本大幅压低。对 Agent 应用来说，前沿模型的竞争开始从“谁更聪明”转向“谁更值得调用”。