DeepSeek-V3.1 发布，迈向 Agent 时代的第一步
DeepSeek 正式发布 DeepSeek-V3.1，采用混合推理架构，一个模型同时支持思考与非思考模式，官方 App、网页端及 API 均已同步升级。
推理能力 大事记
重要进展 IMPORTANT_PROGRESS
2026-06-09 — 2026-06-09
重要进展 · 第 13 / 24 页
MaxProof框架：MiniMax M3在IMO 2025和USAMO 2026超越人类金牌线
AIHOT事件 ↗原始外链未提供
推理能力 精选历史资讯
— · 5 条
精选资讯 · 第 1 / 2 页
DeepSeek-V3.1 发布，迈向 Agent 时代的第一步
DeepSeek-V3.1 以混合推理模型形式开源，用户可一键切换思考模式，同时 Agent 智能体支持性能得到增强。
AI 辅助已在改变软件工程，数学将是下一个
GPT-5-pro 已能证明新的数学定理。在凸优化开放问题测试中，它给出了比原论文更优的边界且经验证正确。这意味着继软件工程之后，数学研究也将成为 AI 辅助的下一个前沿。
分类
排序
暂无内容