多项式求值只需两次乘法，多年旧证明终于经 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 条相关)→
「研究」频道最新
- Mandelbrot 集拼图结构在 Lean 中完成形式化计算,实拍级图表曝光 — geoffreyirving · 2026-10-28
- Geoffrey Irving 对 CSETH 突破给出 >80% 概率预测 — geoffreyirving · 2026-10-28
- 抗衰研究数据荒：Norn 募资 1500 万美元为 AI 备好训练数据 — juanbenet · 2026-10-28
- 研究员自曝置信度乌龙：把 SETH 当 CSETH，重估 P vs NP 赔率 — geoffreyirving · 2026-10-28
- Google 论文指出 softmax 标准实现藏两个数值 bug，引发形式验证讨论 — srush_nlp · 2026-10-28
- AI 提出的研究题 45/135 获专家认可有趣，覆盖数学物理等 — StanfordAILab · 2026-10-28