OpenAI CEO 奥尔特曼被妹妹指控性虐待,法官以不可再诉方式驳回诉讼
美国地区法官布卢斯通驳回安·奥尔特曼对兄长萨姆·奥尔特曼的诉讼,理由是原告一年间未出席独立医学检查、未遵守期限要求;本案以不可再诉方式驳回,但法官未支持萨姆索要律师费的请求。
黑石 AI 负责人回应市场担忧:AI 基建债务风险被高估了吗
黑石 AI 业务负责人 Jas Khaira 表示,市场对 AI 基建债务的恐慌被放大。围绕 CoreWeave 案例、GPU 抵押逻辑与信用利差走阔,本文梳理这套融资模式的支撑点与潜在边界。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
黄仁勋谈PC重造:Agent真能成为下一代PC的“最佳宿主”吗?
英伟达在柏林GTC上给出AI PC新设想,黄仁勋称PC需要被重新发明。但围绕Agent的最佳载体,盒子、分布式算力等路线也在升温。
Token 摆上天猫货架:大模型厂商开始卖“算力流量包”
双11前夕,MiniMax、智谱、阿里云等纷纷在天猫开出官方旗舰店,把大模型 Token 订阅套餐摆上货架。购买门槛降了,销量却还没跟上——这场算力零售化试验,究竟是一次营销造势,还是商业结构的真正转向?