Meta的8250亿美元AI账单:算力竞赛开始拼融资成本
Meta三季度文件显示,表外租赁、采购合同与云容量采购承诺最高约8250亿美元,而自由现金流已转负。AI算力竞赛正从资本开支转向融资成本比拼。
Instacart 被曝评估出售:已聘投行,DoorDash 谈过、Uber 据称退出
多家外媒称,生鲜杂货配送平台 Instacart 已聘请投资银行评估包括出售在内的选项,并与 DoorDash 进行过收购接触,Uber 也曾参与讨论但据称退出。消息传出后,Instacart 股价一度大涨逾 9%。
手握10亿现金仍二闯港交所,百普赛斯为何把募资重心放在瑞士?
重组蛋白试剂龙头百普赛斯首版招股书失效后再递港交所,谋求A+H。公司现金超10亿、分红率约65%,净利率却从45%降至19.7%。募资投向为何指向欧洲与瑞士?
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
Uber全员接入ChatGPT Work:3万员工的AI办公实验
Uber与OpenAI扩大合作,全球约3万名员工全面接入ChatGPT Work。此前1000人试点中八成是非工程岗,公司未披露投入,表示将依据实际使用效果决定下一步。