素数奇偶性判定复杂度获突破算法由Claude Code写成

独立研究者 xennygrimmato 发布确定性算法，可在 x^o(1) 时间内判断不超过 x 的素数个数奇偶性，将此前最优的 x^(1/2+o(1)) 复杂度大幅降低，且适用于任意区间 [A,B]。证明含 5488 行 Lean 4 代码，零 sorry，全部由 Claude Code 完成；算法仅需向 Anthropic 的 #SAT 引擎查询一次，并经 85 万区间数值验证。

2026-11-06 ~ 2026-11-06 · 4 条相关

• 素数计数奇偶性算法复杂度大突破，5488 行 Lean 4 全靠 Claude Code — xennygrimmato_ · 2026-11-06
• 首个 x^o(1) 时间判定素数奇偶性的确定性算法发布 — xennygrimmato_ · 2026-11-06
• 素数奇偶性新算法细节：1 次 SAT 查询与 85 万区间数值验证 — xennygrimmato_ · 2026-11-06
• 素数奇偶算法细节:5488 行 Lean 4 由 Claude Code 写就、零 sorry — xennygrimmato_ · 2026-11-06