过去24小时，AI 的影响继续从产品能力外溢至基础设施、网络安全与工程方法论：智能体展示了更长程的自主执行能力，而恶意软件也开始利用大模型提升攻击效率。与此同时，xAI 面临的数据中心污染诉讼推进，提示算力扩张的环境与合规成本正在成为行业硬约束。

头条大事

币安称，约63亿美元被盗资产中已有90%得到补足，平台将自行承担其余10%的损失；剩余缺口主要涉及流动性较低的代币，提现暂停预计于周日恢复。事件短期缓解了用户资产兑付担忧，但交易所的托管安全、流动性管理与损失承担能力仍将接受市场检验。详情

模型与产品

开发者称，GPT-5.6 Sol 借助 Codex 和游戏管理器提供的 Python 接口，以较低推理强度完成《异星工厂》和平模式通关，游戏内累计约13.5小时。该结果的价值不在于单一游戏成绩，而在于进一步验证智能体在规划、工具调用、状态跟踪和长链路执行上的可用边界。详情

苹果CEO约翰·特努斯表示，公司将在新产品中广泛运用AI，但不会为追逐概念而堆砌AI功能，重点是让能力自然融入用户体验。苹果延续“技术隐身化”的产品叙事，意味着其竞争重点更可能落在端侧整合、交互质量与硬件协同，而非功能数量。详情

芯片与硬件

美国联邦法官驳回xAI要求撤销诉讼的申请，允许NAACP继续就孟菲斯Colossus数据中心燃气涡轮机污染问题提起诉讼；原告指称其在缺少必要许可的情况下运行至少35台燃烧涡轮机，可能违反《清洁空气法》。随着超大规模算力项目密集落地，电力来源、排放许可与社区关系正从选址问题转为建设节奏的关键变量。详情

行业与资本

名为VOLTA的信息窃取木马会在窃取凭证、会话信息和加密钱包后，将结构化证据交给大模型评估受害者的可变现价值，并通过多模型故障转移规避拒答。AI正在被嵌入网络犯罪的情报分层环节，安全团队需将“模型辅助攻击链”纳入检测、响应与威胁建模。详情

Lean创始人Leo de Moura讨论AI、Lean与形式化验证的交汇，指向大模型辅助证明和软件验证工具更深进入工程流程的可能。对高可靠软件而言，AI若能降低证明与验证门槛，形式化方法或将从小众基础设施逐步成为开发工具链的一部分。详情