腾讯AI“加班论”引争议:大模型竞争,靠工时还是靠人才密度?
腾讯首席AI科学家姚顺雨被曝内部谈“把DeepSeek卷到加班”,说法语境尚未获独立证实,却把大厂与极客团队的效率之争推到台前。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
雷军谈智能网联汽车:没有安全其他都是0,下半场比的是生态
在2026世界智能网联汽车大会上,雷军重申小米造车从第一天起就把安全放在首位,称“汽车产业如果没有安全,其他都是0”;他还提出,智能网联汽车下半场比拼的是生态能力,而完备产业链、活跃AI氛围与超大单一市场是中国优势。
超微电脑上调2027财年首季指引:营收最高195亿美元,毛利率同步走高
超微电脑发布2027财年第一财季业绩预告,预计营收185亿至195亿美元,毛利率12%至12.5%,均高于此前指引,AI平台需求成为主要推动力。
百度世界2026聚焦智能组织:10+分论坛勾勒AI组织进化路径
百度世界2026将于11月12日举行,设置10+场分论坛,围绕组织跃迁、AI办公、智能体与数字人等议题,解析AI时代的智能组织进化路径。