数学家起草宣言反对 AI 滥用，Papers with Code 回归、LITMUS 执行幻觉评测和 Linux 社区争议同步出现，AI 正在把知识基础设施推向可信边界竞争。

Stripe 投资 5 亿美元成立非营利组织 Intercept，并把 Anthropic、OpenAI 基金会等机构拉到同一张桌上，目标指向一个听起来很大胆、但商业账本又非常现实的问题：用 AI 辅助研发广谱药物和空气...

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

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

Claude完成大规模Lean形式化证明，GPT-6在开放数学问题基准中提交机器可验证结果，AI科学正在从生成答案转向交付证据链。

Mira开放注册、Codex长任务、企业Agent和AI视频工作流同时升温，AI产品竞争正从单次问答转向完整流程入口。