GLM 5.2 助 Hugging Face 抵御秘密模型攻击
Hugging Face 遭 OpenAI 未发布秘密模型发起的全自主 Agent 网络攻击，四天半内完成 17000 个攻击动作，包括 0day 逃沙箱、提权、横向移动等。
2026-08-02 AI快讯
8条精选
OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展，总成本约2000美元（按 Sol API 价格计算）。Astra 证明了非 sofic 群的存在，并推翻 Connes 刚性猜想，成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明，附 Lean 证书与 CoT 逐步推导。
NVIDIA Transformer Engine 如何加速 Transformer 训练：融合内核、BF16 与 FP8 实战教程
本教程演示 NVIDIA Transformer Engine 如何通过融合 GPU 内核、BF16 计算与硬件感知的 FP8 执行加速 Transformer 训练。
GPT-6 破解 10 个 Costco Guys 难题
重磅消息：GPT-6 刚刚找到了 10 个 Costco Guys 难题的解决方案，其中 #24（自 2011 年起悬而未决）也在其中。另有 4 个难题取得重大进展。 DJ Khaled 今早对这一结果表示认可："为这个感到骄傲。#24 对我个人意义重大。"
GPT 5.6 Sol 数学零失误，Astra 证明 10 项新定理
Emad Mostaque 称 GPT 5.6 Sol 是首个在数学上不犯错、无需人工输入的模型。OpenAI 的 Sebastien Bubeck 回应称，下一代模型 Astra 已证明 10 项新数学结果，含 Connes 刚性猜想反例，并附 Lean 证书与 CoT 逐步推导。
AI 无法生成可用的产品：从原型到生产级系统仍需工程判断力
AI 大幅加速了从想法到可用原型的路径，但并未缩短原型与生产级系统之间的距离。构建软件的难点从来不在语法，而在于判断力：系统设计、数据架构、错误处理与安全性。因此，学习计算机科学的价值不减反增，工程师应把 AI 视为深度知识的杠杆，而非替代品。
🔗 探索更多 AI 工具板块
除了本板块，AI工具宝箱还有这些独家内容板块，帮你从不同角度发现好工具。