AI 与科技日报｜2026年09月14日
今日要点
- OpenAI 发布针对纳维–斯托克斯千禧年难题的 AI 生成解答，并附 Lean 形式化证明。
- DeepSeek 灰度测试语音功能，支持四种音色。
- 港股 AI 大模型板块获资金追捧，智谱相关标的一度涨超 8%。
- Kimi、BAI、自然选择围绕智能体商业与“硅基生命支付”展开讨论。
- OpenAI 披露 1Password 使用 Codex 提升工程效率的案例，以及科研团队借助 Codex 与 ChatGPT 搜寻抗菌分子的实践。
新闻速览
OpenAI 发布纳维–斯托克斯难题 AI 解答
OpenAI 表示，正在分享一份针对纳维–斯托克斯千禧年难题的 AI 生成解答，包含一份书面说明以及 Lean 形式化证明。该问题属于克雷数学研究所七大千禧年大奖难题之一，长期未获解决。需要强调的是，目前公开信息仅为 OpenAI 方面的声明与材料，其数学正确性仍有待学界独立验证。
来源：OpenAI News
DeepSeek 灰度测试语音功能，支持四种音色
据 cnBeta 报道，DeepSeek 已上线语音功能的灰度测试，支持四种音色。这意味着 DeepSeek 的产品形态从文本交互向语音交互延伸。具体覆盖范围与正式上线时间，仍以官方信息为准。
来源：cnBeta.COM
港股 AI 大模型双雄获资金追捧，智谱盘中涨超 8%
财联社报道称，港股“AI 大模型双雄”获资金追捧，智谱认领“牛来”大模型，盘中涨超 8%。该消息反映资本市场对国产大模型相关标的的关注度仍在延续。
来源：财联社
Kimi、BAI、自然选择谈智能体新商业
新浪财经消息，Kimi、BAI、自然选择就智能体新商业展开讨论，提出“AI 支付增量来自硅基生命的支付”等观点，涉及蚂蚁集团、流量与信用卡等话题。该讨论指向智能体在支付与商业闭环中的潜在角色。
来源：新浪财经
1Password 借 Codex 提升工程效率 21%
OpenAI 发布案例称，1Password 的工程师使用 Codex 快速构建新功能和内部工具，在维持严格安全策略的同时达到可投入生产的状态，工程效率提升 21%。
来源：OpenAI News
研究者用 Codex 与 ChatGPT 搜寻新型抗菌分子
OpenAI 介绍，César de la Fuente 的实验室使用 Codex 和 ChatGPT，在现存与已灭绝生物的基因组中搜寻抗菌候选分子，以应对耐药性感染。该案例展示了 AI 工具在生命科学检索与发现流程中的应用。
来源：OpenAI News
趋势判断
今日新闻呈现出两条并行线索。其一是能力边界的推进：OpenAI 将 AI 输出指向千禧年数学难题，并配套形式化证明，若经学界验证，将成为 AI 参与基础科学研究的标志性事件；同时 Codex 在工程与科研场景的落地案例，说明 AI 正从“辅助写代码”走向“参与发现流程”。其二是产品与商业形态的扩展：DeepSeek 试水语音，智能体支付成为讨论焦点，资本市场对国产大模型标的保持热情，交互入口与商业闭环正在同步演化。
—
编辑点评： 纳维–斯托克斯的 AI 解答若被证实，意义远超一次产品发布，但在此之前应保持审慎。DeepSeek 语音与智能体支付讨论，则提示竞争正从模型能力转向入口与交易层。