Hacker News· one-punch·· 2 小时前AI 评分71
确定性整数分解达到 N^o(1)：一份由 Claude Opus 5.5 生成的 Lean 证明
Deterministic Factoring in Time N^O(1)
AI 导读
论文给出 Lean 证书，证明存在确定性图灵机可在 N^o(1) 步内算出每个 N 的最小质因数，对 n 位输入在 Ck·2^(n/k) 步内运行，而此前确定性分解的最好上界是 N^(1/5+o(1))。
来源：Hacker News · hexagonmath.org