OpenAI暂停高风险训练后,AI竞争开始重算安全、开源和算力底座
OpenAI 暂停下一代旗舰模型的强化学习训练,这个动作比单纯的新模型传闻更值得盯。它说明前沿模型公司已经开始把能力上限、安全边界和算力调度放到同一张表里计算:模型越接近高风险能力区,继...
AI科研工作台扎堆出现后,实验室入口开始被重估
AI for Science 正从模型演示走向实验室流程,科研智能体和一站式工作台开始重写文献、实验、验证与复盘环节。
AI不再只会生成:382个软件漏洞与82500个电子模拟背后的验证革命
AI正在进入可验证的生产环节:形式化验证发现深层软件漏洞,量子化学模拟大幅降低计算成本,医疗与工程应用也开始用可复核结果衡量价值。









