标签 > 2 亿参数零样本预测未来，Mistral Timestral-209M 单次前向输出 21 档概率；OpenAI Math 用 Lean 为智能体打造可验证的数
Mistral Timestral-209M 实现 2 亿参数零样本时序预测，OpenAI Math 依托 Lean 构建智能体验证数学证明体系
Mistral 发布的 Timestral-209M 是轻量时序基础模型，2 09 亿参数就能做到零样本未来预测，单次前向推理直接输出 21 档分位数概率，
2026-11-15 09:04:38