关于那个 o(n log n) 整数乘法算法：Harvey 说小 o 不是笔误 — Hacker News 中文摘要
来源：web.maths.unsw.edu.au — 281 分 · HN #50190455
📋 概述
UNSW 的 David Harvey 是 2021 年 O(n log n) 整数乘法算法的作者之一，他撰文评述某公司近期在 GitHub 上公开的一批数学手稿中提出的 o(n log n) 算法。他的判断是"可信"，但坦承自己没读论文，而是让模型讲给他听、反复追问才逐步理解。他强调小 o 不是笔误：ε 的初始值 2 的 -182 次方看着荒谬，却比 Fürer 2007 与他 2021 年的改进都"指数级更大"，是巨大的跨越。文章更沉的一层是：数学界必须开始面对"机器能做数学研究"这件事。
🔑 核心要点
- 声称的界是 O(n (log n)^(1-ε))，ε 初始为 2^-182，Harvey 强调"小 o 不是笔误"。
- 他本人没读懂原始论文，而是让 Claude 解释、层层追问后才逐步理解论证。
- 相对 2007 年 Fürer 与 2021 年的 O(n log n)，这一步改进的间隔是"指数级更大"的跨越。
- 他写道：人类作为数学论文作者被认真对待的时间，恐怕不会太久了。
💡 金句
The small “o” is not a typo.
👍 0
👎 0
← 返回 Hacker News 首页