OpenAI Astra 被曝在数学开放问题上取得突破，形式化验证、科研 Agent 与企业应用共同说明，AI 竞争正在从单点能力展示走向可验证的复杂任务系统。

ScienceOne、书生端砚、神珍和 Matrix-Game 3.5 等重点资讯显示，AI 正在从科研问答、模型演示走向实验闭环、科学多模态和真实世界建模。

上海AI实验室发布「书生·端砚」科学发现平台，把AI科研从“读论文、跑模型、等实验结果”的松散流程，推进到一个更接近真实研发闭环的系统里。它强调的不是单点算法炫技，而是把文献理解、数字...

DeepSeek V4-Flash参与形式化数学证明，低成本智能体系统把AI科研、代码复现和机器人落地推向可验证交付。

GPT-5.6 泄露、AlphaProof Nexus 数学突破、Claude 记忆与端侧模型同场升温，AI 竞争正在从模型榜单转向长上下文、可验证推理、设备入口和真实工作流。

谷歌 Gemini for Science、GPT-5.5 自动改造 AlphaFold2、苹果系统级无障碍 AI 与 Skill 生态同步推进，AI 正从聊天框进入科研实验室、企业系统和内容平台。