Komlós 猜想被宣布解决,数学家点出其对神经网络量化的隐含意义
stevenstrogatz · x · 2026-09-21
数学界传来重磅消息:悬挂数十年的 Komlós 猜想(关于 min-max 优化的经典难题,预测存在与维度无关的一致常数界)被宣布解决, Terry Tao、Damek Davis 等人参与了相关问题的优化问题仓库维护。
- 数学家 Strogatz 转发并指出一个论文中未讨论的隐含意义:神经网络的本质是反复进行权重矩阵 Wx 乘法,存储和计算高精度权重耗内存、时间与能耗。
- 量化(quantization)正是把权重复制到极细网格 hℤ 上同时保持输出近似不变,而 Komlós 猜想所属的不一致理论(discrepancy theory)与量化的联系此前已由 Lybrand 和 Saab 讨论过。
- 这一证明可能为「能压多狠而模型输出不变」提供理论保证。
「Infra」频道最新
- 干细胞成像模型量化实测:W4/W8 混合压缩 6.76 倍零失败 — capicu-ai · 2026-09-21
- 爆料:DeepSeek 正训练 2T 参数模型,8T 也在规划中 — Hesamation · 2026-09-21
- 双卡 R9700 本地推理踩坑:从 LGA1700 升级 Threadripper 的 PCIe 通道账 — El_90 · 2026-09-21
- 英伟达点名 5 家用 AI 做清洁能源的公司:电网评估从 45 天缩到 2 分钟 — nordicinst · 2026-09-21
- Mozilla 实测:本地 30B 模型零 API 全程自动开出真实 PR — mozilla-ai · 2026-09-21
- NVIDIA 盘点 5 家 AI 清洁能源公司:电网审核从 45 天缩到 2 分钟 — NVIDIA Blog · 2026-09-21