多项式求值只需两次乘法，多年旧证明终于经 Lean 验证可以发表
srchvrs · x · 2026-09-11
回复中转述了一个有趣的计算结果：多项式 P(x) = x⁴ + a₃x³ + a₂x² + a₁x + a₀ 只需两次乘法即可求值，技巧是写成 y = (x + b₀)x + b₁ 的嵌套形式。作者称这是多年前完成的成果，但因证明长达百页而不敢发表，如今 AI 在 Lean 中验证成功。原帖作者注明「完全没用 AI 做出该结果」，AI 仅用于验证。
所属事件:四次多项式仅需两次乘法，尘封旧证明经 Lean 验证后发表(5 条相关)→
「研究」频道最新
- 新方法将成对相互作用引入祖先序列重建 — KevinKaichuang · 2026-09-12
- 神经符号推理遭「错误但匹配判定」翻译欺骗，生成式奖励模型来救场 — CWRU · 2026-09-12
- AIRO 上线:用前沿模型自动预测 AI 灾难性风险,效果媲美人类专家 — soumitrashukla9 · 2026-09-12
- LiveBench agentic coding 评测遭质疑:4 个 Python 问题撑起异常高分 — teortaxesTex · 2026-09-12
- NVIDIA BioNeMo 跑 3100 万次蛋白质复合物预测,省约 1.35 GWh 能源 — AllThingsApx · 2026-09-12
- Greenblatt 谈 RL 环境为何 2026 比 2024 更有效 — dejavucoder · 2026-09-12