Mike Frank:让 AI 找 BF16 乘加最小电路,远胜指数微降的数学灌水
MikePFrank · x · 2026-10-09
MikePFrank 建议一个『远更有用』的问题：让 AI 去找 BF16 乘加（multiply-add）的布尔电路，目标是用最少的二输入门数、或最少的并行门层级、或两者兼顾。他直言这类真实的常量规模问题远胜『渐近复杂度自嗨』（asymptotic complexity fapping）。
在引用的上文中他批评：把一个天文学级不实用算法的指数从 1 降到 0.99999 是『数学灌水』（mathematical slop），只暴露了人类提示者对什么值得花时间和 token 判断力欠佳。
所属事件:研究者批评AI优化算法指数是数学灌水(2 条相关)→
「研究」频道最新
- NYU 数学教授:OpenAI 单日放 722 篇 AI 论文,冲击青年数学家生涯 — tekbog · 2026-10-10
- Calico 开源 Cerberus 基因组模型:786kb 输入预测 8000+ 轨迹,迁移 PyTorch — anshulkundaje · 2026-10-10
- 状态空间模型用于长序列基因组预测,开源 Cerberus PyTorch 模型集 — anshulkundaje · 2026-10-10
- MaCVi 海事计算机视觉工作坊登录 WACV 2027,10 月截稿 — HildeKuehne · 2026-10-10
- OpenAI 将 722 篇数学手稿推上 GitHub，外界模型无法使用 — thursdai_pod · 2026-10-10
- 神经科学论文：AI 模型推导出此前被认为解析不可解的方案 — scottleibrand · 2026-10-10