每条发布 = 一张工具卡 · 命中 "新工具 / 产品更新 / 模型发布 / 平台" 标签(itemType=tool_release)· 按时间排序
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
推荐理由：原文列出 372 项数学突破与所用算力、问题类型，可帮助读者判断新模型在深度推理上的实际边界。
Mistral 发布 Mistral Large 4（ML4）公开预览，称其为 1 万亿参数、49B 激活参数的多模态模型，在 Mistral 自己的欧洲数据中心用 3,800 块 NVIDIA Grace Blackwell GPU 从头训练，preview API 即日在 Mistral Studio 开放，权重计划于本月底发布。
推荐理由：原文给出 1T 总参数 / 49B 激活参数、训练规模与多项基准结果，可作为评估开源权重前沿模型多模态与智能体能力的参考。
Mistral 发布 Mistral Large 4（昵称 le Chonk）公开预览 API，模型为 1 万亿总参数、490 亿激活参数的原生多模态模型，权重计划本月底开源，由 Mistral 欧洲自建数据中心用 3,800 张 NVIDIA Grace Blackwell GPU 训练。
推荐理由：1 万亿参数原生多模态模型公开预览并在网络安全、编码与视觉任务上对标开源前沿，可作为开源权重模型能力上限的参考基线。
德国 AI 公司 Aleph Alpha 发布开放权重大语言模型 Kolibri，总参数 78B、激活参数约 3.5B，采用混合专家架构，基于 Apache 2.0 许可证开源。
推荐理由：提供了模型的技术架构、性能数据、对比基准和可用入口，读者可以据此判断这个模型在德语场景和本地部署需求下的适用性。
开发者发布 Slipstream 引擎，可在 64GB Mac 上以 41-52 tok/s 运行 95.5 GiB Qwen3.8-Flash-Next 模型，比 llama.cpp 快 1.76 倍。
推荐理由：原文给出了新推理引擎的具体性能数据、架构设计和与 llama.cpp 的对比，读者可以据此判断它在本地运行大模型场景下的实际价值。
已经到底了