srush 新博客验证 152 个算子浮点证书，揪出主流 ML 库未报缺陷
ChrSzegedy · x · 2026-11-15
- Serge Yamaguchi-Labaune（srush）发布博客系列第 2 篇《When Rounding Breaks Machine Learning》，对 152 个算子生成浮点正确性证书，系统验证整条 ML 技术栈。
- 方法在多个核心 ML 库中发现了问题，其中若干是此前从未被报告过的——说明舍入误差足以破坏机器学习计算的正确性。
- Chris Szegedy 转发并强调「验证整个技术栈」的必要性。
「Infra」频道最新
- SpaceX 把 AI 数据中心工期砍到 4 个月，MiniHard 仅 5 个月建成 — Dr_Singularity · 2026-11-15
- 33B 图像模型 MiniMax-H3-Image 纯端侧跑进骁龙 8 Gen 1 手机 NPU — shirosoro · 2026-11-15
- 独立开发者推出 LMDeck:macOS 菜单栏一键卸载本地大模型 — Fickle_Tradition4491 · 2026-11-15
- Kosmo×Ropedia 发布 Physical AI 数据集：1589 个 3D 环境与 131 小时第一人称录像 — liuziwei7 · 2026-11-15
- 前微软工程师复盘 Outlook 大面积宕机：到底改坏了什么 — nicolascraske · 2026-11-15
- 曝 AMD 下一代 Siren Halo APU 拟配专用 GDDR7 封装内存，约 2028 年底推出 — Terminator857 · 2026-11-15