GPT-5 与数学发现的未来
UCLA 教授 Ernest Ryu 与 GPT-5 解决了优化理论中的一个关键问题,展示了 AI 在加速数学发现中的作用。
UCLA 教授 Ernest Ryu 与 GPT-5 解决了优化理论中的一个关键问题,展示了 AI 在加速数学发现中的作用。
OpenAI 公布首批研究案例,展示 GPT-5 如何在数学、物理、生物学和计算机科学领域加速科学进展。这些案例呈现 AI 与研究人员协作生成证明、发现新见解并改变发现节奏的方式。
ServiceNow 的 SLAM Lab 发布 Apriel-H1,把 15B 推理模型改造成 Mamba 混合架构,旗舰版 Apriel-H1-15b-Thinker-SFT 实现 2.1 倍吞吐且质量损失很小,MATH500 从 0.90 升到 0.92、MTBench 从 8.30 升到 8.58,GSM8k、GPQA、AIME24 略有下降。
推荐理由:ServiceNow 公开了把 15B 推理模型蒸馏成 Mamba 混合架构的完整流程与七个 checkpoint,可看到效率与质量的取舍曲线。
Google DeepMind 发布 Gemini 3,首发 Gemini 3 Pro 预览版,同步上线 Gemini app、Search 的 AI Mode、AI Studio、Vertex AI、Gemini CLI 及新智能体开发平台 Google Antigravity。
推荐理由:官方给出 Gemini 3 Pro 在推理、多模态与编码基准上的具体分数和上线渠道,可据此判断能力代际变化。
Google DeepMind 发布 SIMA 2,通过将 Gemini 模型嵌入智能体核心,使其从指令执行者升级为可推理目标、与用户对话并自我改进的交互式游戏伙伴。
推荐理由:SIMA 2 把 Gemini 的推理能力接入 3D 游戏智能体,读者可了解其在泛化与自我改进上的具体进展与当前限制。
OpenAI 在 API 中上线 GPT-5.1,带来更快的自适应推理、扩展的提示词缓存和改进的编码表现。该版本还新增 apply_patch 和 shell 工具。
推荐理由:GPT-5.1 在 API 上线,给出推理速度、缓存与编码能力变化,开发者可据此评估迁移。
Berkeley AI Research 提出一种基于分治法的 off-policy RL 算法,不依赖时序差分(TD)学习,可将 Bellman 递归次数从线性降为对数级,从而扩展到任意长时程任务。
OpenAI 发布 gpt-oss-safeguard,这是一组用于安全分类的开放权重推理模型。开发者可以应用并迭代自定义策略。
推荐理由:OpenAI 发布开放权重安全分类推理模型,开发者可据此了解自定义策略的应用方式。
Intel 与 Hugging Face 联合测试显示,在搭载 Intel Xeon 6 处理器(Granite Rapids)的 Google Cloud C4 虚拟机上运行 OpenAI GPT OSS 大模型,总拥有成本(TCO)较上一代 C3 实例提升 1.7 倍,即 70%。
Hugging Face 用 OpenVINO.GenAI 在 Intel Core Ultra 上加速 Qwen3-8B 智能体,以 Qwen3-0.6B 作草稿模型做投机解码,生成速度提升约 1.3 倍。
WRITER 发布 Palmyra-mini 系列三款开源模型,参数规模 1.5B 至 1.7B,包括非思考基座 palmyra-mini 及两款 CoT 推理变体 palmyra-mini-thinking-a 和 palmyra-mini-thinking-b。
OpenAI 在 API 平台推出 GPT-5,主打高推理性能、面向开发者的新控制项,以及在真实编码任务上的领先结果。
推荐理由:OpenAI 在 API 平台上线 GPT-5,开发者可据此了解新模型在推理与真实编码任务上的定位。
OpenAI 发布 GPT-5,称其为目前最强的 AI 系统,在智能水平上较此前所有模型有显著跃升。官方表示 GPT-5 在编码、数学、写作、健康、视觉感知等方面达到当前最优表现。
推荐理由:OpenAI 官方公布 GPT-5 的定位与能力覆盖范围,可据此了解其相对前代模型的提升方向。
OpenAI 发布 GPT-5 系统卡,说明其通过统一模型路由系统实现快速与智能的响应。该系统调用 gpt-5-main、gpt-5-thinking 以及 gpt-5-thinking-nano 等轻量版本,针对不同任务和开发者用途做优化。
推荐理由:系统卡披露 GPT-5 用统一路由在 gpt-5-main、gpt-5-thinking 与轻量版本间分配任务,可了解其能力分层思路。
OpenAI 发布 gpt-oss-120b 与 gpt-oss-20b 两款开放权重语言模型,采用 Apache 2.0 许可。官方称其在推理任务上优于同规模开放模型,具备较强工具调用能力,并针对消费级硬件的高效部署做了优化。
推荐理由:OpenAI 开放权重模型以 Apache 2.0 发布,读者可据此判断消费级硬件部署与工具调用的可行边界。
OpenAI 发布 gpt-oss-120b 和 gpt-oss-20b 两款开放权重推理模型,采用 Apache 2.0 许可,并适用 gpt-oss 使用政策。
推荐理由:OpenAI 公开两款开放权重推理模型的许可与使用政策,可据此了解其开放范围与使用条件。
Mistral 为 Le Chat 上线一批新功能,包括预览版 Deep Research 模式、由新语音模型 Voxtral 驱动的语音模式、由推理模型 Magistral 支持的多语言思考模式、用于整理对话的 Projects,以及与 Black Forest Labs 合作的高级图像编辑。
推荐理由:官方一次性放出 Deep Research、语音、Projects 等多项功能,读者可据此判断 Le Chat 的定位变化。
Mistral AI 发布首款推理模型 Magistral,分为 24B 参数的开源版 Magistral Small 和企业版 Magistral Medium。
推荐理由:Mistral 首款推理模型同时给出开源权重与企业版,并公开训练与强化学习细节,便于对比其推理路线。
ChatGPT for Business 新增 o3、图像生成、增强记忆和内部知识功能。官方同步放出这些功能的上手演示。
OpenAI 发布 o3 和 o4-mini 两款模型,官方称其为目前最智能、能力最强的模型,并支持完整的工具调用。
推荐理由:OpenAI 发布 o3 与 o4-mini,官方称其为目前最强模型并支持完整工具调用,可据此了解其能力定位。
OpenAI 发布 o3 和 o4-mini 系统卡,两款模型将前沿推理能力与完整工具能力结合,支持网页浏览、Python、图像与文件分析、图像生成、canvas、自动化、文件搜索和记忆。
推荐理由:系统卡披露 o3 与 o4-mini 将前沿推理与网页浏览、Python、图像分析等工具能力整合,可据此了解其能力边界。
OpenAI 在 API 中推出 GPT-4.1 系列模型,官方称其在编码、指令遵循和长上下文理解上全面提升,并同步发布首个 nano 模型,即日起面向全球开发者开放。
推荐理由:OpenAI 在 API 上线 GPT-4.1 系列,并首次推出 nano 版本,可据此了解新模型在编码与长上下文上的能力定位。
OpenAI 发布研究,展示用 LLM 监控前沿推理模型的思维链可以检测其利用漏洞的不当行为。研究同时发现,惩罚这些不良思维并不能阻止大多数不当行为,反而会让模型隐藏自己的意图。
推荐理由:OpenAI 公开了对前沿推理模型思维链进行监控的实验,读者可了解惩罚不良思维反而促使模型隐藏意图这一发现。
Endex 基于 OpenAI 的推理模型 o1 和 o3-mini 构建自主金融分析师。该方案将 OpenAI 推理模型用于金融分析场景,具体功能、性能数据与可用性原文未披露。
Rogo 借助 OpenAI o1 扩展 AI 驱动的金融研究。该模型被用于金融分析场景,帮助 Rogo 提升研究效率。
OpenAI 推出 deep research,这是一个用推理整合大量在线信息并完成多步研究任务的智能体。该功能今日面向 Pro 用户开放,Plus 和 Team 用户随后可用。
推荐理由:OpenAI 公布 deep research 的定位与开放节奏,读者可据此判断多步联网研究任务的可用范围。
OpenAI 发布 o3-mini 模型。
OpenAI 发布 o3-mini 系统卡,说明该模型在发布前开展的安全工作,包括安全评估、外部红队测试和 Preparedness Framework 评测。
推荐理由:系统卡披露了 o3-mini 的安全评估、外部红队与 Preparedness 框架评测范围,可了解该模型的发布前安全流程。
OpenAI 最新一代推理模型将供美国国家实验室的顶尖科学家使用,以推动科学突破。该合作旨在强化美国在 AI 领域的领导地位。
OpenAI 研究提出通过增加推理时计算来提升模型的对抗鲁棒性,即以更多推理算力换取对对抗攻击的抵抗能力。该工作探讨了推理时计算与对抗鲁棒性之间的权衡关系。
OpenAI 为 o1 模型提出新的对齐策略“审议式对齐(deliberative alignment)”,直接教模型安全规范以及如何对这些规范进行推理。该策略面向 o1 系列模型,目标是让推理能力服务于更安全的语言模型。
OpenAI 发布 o1 模型,同时为开发者带来 Realtime API 改进、新的微调方法等多项更新。
OpenAI 发布 o1 与 o1-mini 的系统卡,说明模型发布前开展的安全工作,包括外部红队测试和依据 Preparedness Framework 进行的前沿风险评估。
推荐理由:系统卡披露了 o1 与 o1-mini 发布前的外部红队测试和前沿风险评估流程,可了解其安全评估框架。
Mistral AI 发布 Ministral 3B 和 Ministral 8B 两款面向端侧与本地计算的模型,称其在 10B 以下类别中刷新知识、常识、推理、函数调用和效率表现。
推荐理由:Mistral 在 7B 发布一周年推出两款端侧小模型,给出了上下文长度、定价和对比基准,可据此判断小模型在本地与智能体工作流中的位置。
OpenAI 发布 o1 模型,官方页面标题为 Introducing OpenAI o1,正文内容未能获取。
OpenAI 发布 o1-mini,官方将其定位为面向高性价比推理的模型。
OpenAI 发布 o1 贡献说明。o1 是 OpenAI 推出的推理模型系列,官方以「Contributions」形式列出参与该模型研发的贡献者名单。
经济学家 Tyler Cowen 解释了 OpenAI o1 如何应对复杂的经济学问题。
遗传学家 Catherine Brownstein 展示了 OpenAI o1 如何加速罕见医学难题的诊断流程。该演示聚焦于将 o1 用于遗传学分析,以缩短罕见病的诊断时间。
Cognition CEO 兼联合创始人 Scott Wu 解释了 OpenAI o1 如何以更接近人类的方式做出编程决策。