IBM 2026财年前三季净利55.71亿美元,第三财季利润同比增26%
IBM公布2026财年前三季及第三财季业绩:前三季营收501.82亿美元、归母净利润55.71亿美元,同比增11.58%;第三财季净利润同比增26%,公司维持营收指引并上调全年自由现金流预期。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
百度世界2026聚焦智能组织:10+分论坛勾勒AI组织进化路径
百度世界2026将于11月12日举行,设置10+场分论坛,围绕组织跃迁、AI办公、智能体与数字人等议题,解析AI时代的智能组织进化路径。
黄仁勋谈PC重造:Agent真能成为下一代PC的“最佳宿主”吗?
英伟达在柏林GTC上给出AI PC新设想,黄仁勋称PC需要被重新发明。但围绕Agent的最佳载体,盒子、分布式算力等路线也在升温。
微软让Agent监督Agent:企业智能体安全进入“监工”时代
微软在Project Perception中引入Guardian Agents,让一批Agent监督另一批Agent,试图用身份、权限与行为审计控制企业智能体的越权与误操作风险。