排序
Gemini 3.5 Pro延期与Grok开源争议后,AI工具竞争开始补可信度
Gemini 3.5 Pro被曝因为编码能力未达到内部标准而推迟发布,这个细节比“晚几个月上线”本身更刺眼。谷歌并不缺模型、论文和算力资源,但当下一代产品被放到真实开发任务里检验时,内部标准没有...
AI开始参与AI研发后,Deep Search竞争进入系统闭环时代
AI开始参与AI研发 XYZ Agentic Team 把 Deep Search 做到 SOTA 的消息,比单纯发布一个新模型更值得盯。它的特别之处不只是有 35B 和 397B 两款模型,也不只是多项测试拿到高分,而是整个研发过...
机器人开始有手感后,具身智能竞争进入触觉与实时规划阶段
李飞飞团队T-Rex触觉反馈、AXIS机器人数据和INTACT实时规划共同说明,具身智能正在从视觉演示走向触觉反馈、数据覆盖与实时控制的系统竞争。
OpenAI高管离职、DeepSeek V4 Pro上线后,AI竞争开始转向执行闭环
OpenAI 高管离职、DeepSeek V4 Pro 上线、面壁智能启动上市辅导、瓴羊谈企业 Agent 交付和 Today AI 争夺个人入口,共同说明 AI 竞争正在从模型发布走向执行闭环。
AI不再只会生成:382个软件漏洞与82500个电子模拟背后的验证革命
AI正在进入可验证的生产环节:形式化验证发现深层软件漏洞,量子化学模拟大幅降低计算成本,医疗与工程应用也开始用可复核结果衡量价值。







