OpenAI 高管离职、DeepSeek V4 Pro 上线、面壁智能启动上市辅导、瓴羊谈企业 Agent 交付和 Today AI 争夺个人入口，共同说明 AI 竞争正在从模型发布走向执行闭环。

哈达玛矩阵 Claude与研究人员合作构造出668阶哈达玛矩阵后，AI在数学研究中的位置又往前挪了一步。哈达玛矩阵不是普通的计算题，它要求矩阵中的元素取值为加一或减一，并且任意两行都保持正交。...

DeepSeek Harness 的插件生态突然扩张，说明 Agent 产品的竞争已经不只发生在模型参数、上下文长度和单次回答质量上。GitHub 上带有 dsh-plugin 标签的仓库突破 700 个，开发者把多 Agent 团队...

斯坦福团队用多候选生成与自验证框架提升开源模型任务成功率，Qwen低成本架构与Specula形式化验证则从推理和工程两端补齐可靠性，AI竞争正在从一次答对走向可验证交付。

OpenClaw发布v2026.8.1，933名贡献者合力提交超过1.6万次PR，安装、浏览器、跨设备会话、团队协作、记忆和权限体系都被重新整理。这个版本真正值得看的，不是更新列表有多长，而是它把一个能调...

GPT-6 Astra上线第一天就在FME数学基准中解出5道Erdős难题，Claude则用数十个智能体协作完成费马大定理的形式化证明。两条消息放在一起看，意义并不只是“哪个模型更强”：AI正在从展示流畅答...