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

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

很多团队在接入大模型 API 时，最开始只关注“能不能调通”，却忽略了成本、速率限制、兼容性和数据安全。本文会整理几个接入前最好先想清楚的关键问题。

Anthropic企业市占率反超OpenAI，Google、Kimi、国产GPU、Cerebras和Agent产品变化共同显示，AI竞争正在从单一模型发布转向企业交付、基础设施和工作流入口。

Claude in Chrome与Real Profile Browsing让AI开始进入网页和用户身份执行任务，模型竞争由回答能力转向连续操作、成本控制与安全治理。

微信测试内置 AI Agent，OpenAI、Liquid AI、OPPO 和豆包同步推进工具化与端侧能力，AI 应用竞争正在从聊天框走向真实代办。