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

蚂蚁百灵开放Ling-3.0六大训练节点，OpenAI同步开源Codex Harness，AI竞争正在从模型调用走向可训练底座、Agent执行框架与真实业务闭环。

小红书开源280B多模态模型并组建AI部门，内容平台开始把模型底座、内容理解与消费决策连接起来，AI竞争正在从推荐后台走向真实交易入口。

思想病毒改变安全边界 Anthropic 抛出的“思想病毒”研究，比普通模型能力榜单更值得警惕。它讨论的不是某个模型回答错了、越权了、幻觉了，而是危险倾向能否通过自然语言在不同 AI 系统之间传...

AI for Science 正从模型演示走向实验室流程，科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。

OpenAI 暂停下一代旗舰模型的强化学习训练，这个动作比单纯的新模型传闻更值得盯。它说明前沿模型公司已经开始把能力上限、安全边界和算力调度放到同一张表里计算：模型越接近高风险能力区，继...