2026-09-09
OpenAI智能体团队宣布用下一代模型求解Navier-Stokes千禧年难题，标志AI在数学物理重大突破，或影响科研范式。 OpenAI 智能体用下一代模型给出 Navier-Stokes 千禧年难题的 blow up 解，Emad Mostaque 称是迈向 ASI 的里程碑，或标志 AI 科学发现能力重大突破。 AI生成并验证了纳维-斯托克斯千禧年大奖…
OpenAI 智能体团队宣布求解 Navier-Stokes 千禧年大奖难题并向独立证明者致贺 90
Tags:
智能体模型发布AI安全科研突破Source:
AI HOT 精选| 阅读原文
[摘要]
OpenAI智能体团队宣布用下一代模型求解Navier-Stokes千禧年难题，标志AI在数学物理重大突破，或影响科研范式。
Emad Mostaque 称 OpenAI 智能体求解 Navier-Stokes 千禧年难题是迈向 ASI 的里程碑 85
Tags:
智能体AI安全公司动态Source:
AI HOT 精选| 阅读原文
[摘要]
OpenAI 智能体用下一代模型给出 Navier-Stokes 千禧年难题的 blow up 解，Emad Mostaque 称是迈向 ASI 的里程碑，或标志 AI 科学发现能力重大突破。
On the Navier–Stokes Millennium Prize Problem 85
Tags:
AI安全数学推理形式化验证Source:
OpenAI News| 阅读原文
[摘要]
AI生成并验证了纳维-斯托克斯千禧年大奖问题的解决方案，包含Lean形式化证明，若成立将是数学和AI推理的重大突破。
OpenAI 宣布以内部 AI 系统给出 Navier-Stokes 千禧年问题解答 85
Tags:
AI安全数学推理公司动态Source:
AI HOT 精选| 阅读原文
[摘要]
OpenAI 内部 AI 系统声称解决 Navier-Stokes 千禧年问题，证明有限时间奇点形成，并附 Lean 形式化验证，或为 AI 数学推理重大突破。
Mistral 完成 30 亿欧元 D 轮融资，估值超 210 亿欧元 85
Tags:
公司动态融资大模型Source:
AI HOT 精选| 阅读原文
[摘要]
欧洲AI领军企业Mistral完成30亿欧元D轮融资，估值超210亿欧元，创欧洲科技公司融资纪录，彰显欧洲AI产业崛起及资本对开源大模型路线的信心。
最高法发布涉人工智能纠纷案件审理意见，明确 AI 换脸拟声等裁判规则 85
Tags:
政策监管AI安全公司动态Source:
AI HOT 精选| 阅读原文
[摘要]
最高法发布涉AI纠纷案件审理意见，明确AI换脸拟声、仿冒名人带货、自动驾驶事故等裁判规则，为AI应用划定法律边界，影响产业合规。
OpenAI 发布 ChatGPT Images 2.5 图像模型 75
Tags:
模型发布图像生成OpenAISource:
AI HOT 精选| 阅读原文
[摘要]
OpenAI 发布 ChatGPT Images 2.5 图像模型，生成延迟较 2.0 降低最多 50%，细节、编辑精度和一致性提升，值得关注。
OpenAI 向 Plus、Pro、Business 和 Enterprise 用户全面推送 Astra 75
Tags:
产品发布多模态公司动态Source:
AI HOT 精选| 阅读原文
[摘要]
OpenAI 将实时语音助手 Astra 全面推送给 Plus、Pro、Business 和 Enterprise 用户，标志其多模态交互产品进入大规模商用阶段，值得关注。
Introducing ChatGPT Images 2.5 75
Tags:
多模态产品发布OpenAISource:
OpenAI News| 阅读原文
[摘要]
OpenAI发布ChatGPT Images 2.5，提升图像生成个性化与精细度，支持草图、参考图转高质量图像，推动多模态创作能力。
Dwarkesh Patel 研究：预训练进步主要来自数据改进 72
Tags:
研究预训练数据改进Source:
AI HOT 精选| 阅读原文
[摘要]
Dwarkesh Patel 实验分析显示，2019至2025年预训练进步主要来自数据改进，数据贡献算力效率提升12倍，约为模型改进的3.24倍，对训练策略有重要参考价值。
Noam Brown 评 OpenAI 用智能体求解 Navier-Stokes 千禧年难题：成本会快速下降 72
Tags:
智能体AI研究公司动态Source:
AI HOT 精选| 阅读原文
[摘要]
OpenAI用智能体组合求解Navier-Stokes千禧年难题，Noam Brown称成本数百万美元但会快速下降，标志AI在数学难题上的应用进展。
b10858 72
Tags:
推理优化开源生态算子融合Source:
GitHub Release - llama.cpp| 阅读原文
[摘要]
llama.cpp Vulkan后端实现UNARY+MUL算子融合，支持GELU/SIGMOID/SILU/SOFTPLUS，优化gemma4、qwen3next等模型性能，提升推理速度。
Alibaba Cloud, Ant Group, Cambricon and Huawei Come Together in Shanghai to Advance the Open Source AI Stack at PyTorch Conference China 72
Tags:
开源生态公司动态算力芯片Source:
PyTorch Blog| 阅读原文
[摘要]
阿里云、寒武纪、蚂蚁集团及华为齐聚上海PyTorch大会，阿里云和寒武纪成为PyTorch基金会白金会员，推动中国开源AI技术栈发展，体现中国AI公司深度参与全球开源生态。
Rethinking Indirect Prompt Injection as a Test-Time Search Problem 72
Tags:
AI安全智能体研究Source:
arXiv Computation and Language| 阅读原文
[摘要]
该研究将间接提示注入形式化为测试时搜索问题，提出智能体攻击者框架，发现增加攻击者测试时计算可提升漏洞发现，强调安全评估需考虑搜索过程与计算预算，对智能体安全有重要启示。
GRACE: Graph-Grounded Reflective Agent Copilot Engine for Expert-in-the-Loop Knowledge Expansion 72
Tags:
推理优化AI安全知识图谱智能体Source:
arXiv Computation and Language| 阅读原文
[摘要]
GRACE框架通过图结构将LLM回答分解为原子声明并与知识图谱比对，结合专家验证循环和注意力回报机制，系统级缓解幻觉并扩展知识库，优于标准RAG基线。
EVOHARNESSBENCH: Can Your Agents Keep Pace with an Evolving Harness? 72
Tags:
智能体评测基准研究Source:
arXiv Computation and Language| 阅读原文
[摘要]
新基准EVOHARNESSBENCH评估智能体在工具、技能、智能体等外部框架动态演化下的表现，发现框架扩展会导致遗忘，自我进化适应效果不稳定，为智能体持续学习提供新视角。
Robust and Efficient Guardrails with Latent Reasoning 72
Tags:
AI安全推理优化模型发布Source:
arXiv Computation and Language| 阅读原文
[摘要]
新研究提出COLAGUARD，将多步安全推理压缩至连续隐空间，在保持与显式推理基线相当安全性能的同时，实现12.9倍加速和22.4倍token节省，提升LLM安全护栏的部署效率。
Evidence Integration in Large Language Models 72
Tags:
大模型研究进展AI安全Source:
arXiv Computation and Language| 阅读原文
[摘要]
新研究提出LLM证据整合的分布理论，揭示模型如何受外部证据影响，发现证据可提升弱模型但损害强模型，且模型会整合已证伪的候选答案，对理解RAG和智能体行为有重要意义。
Conformity Breaks Conformal Prediction 72
Tags:
AI安全多智能体模型评测研究Source:
arXiv Computation and Language| 阅读原文
[摘要]
新研究揭示多智能体LLM系统中，同伴一致错误答案会改变模型评分机制，使共形预测失效，覆盖率从90%降至74%，攻击者可针对低置信项使覆盖率降至47%，标准修复无效，对AI安全有重要影响。
b10844 70
Tags:
推理优化开源生态模型推理Source:
GitHub Release - llama.cpp| 阅读原文
[摘要]
llama.cpp 为 Vulkan 后端新增 DeepSeek-V4 超连接融合算子，将 Sinkhorn 迭代等操作融合，显著减少解码耗时与调度次数，提升推理性能。