素数奇偶算法细节:5488 行 Lean 4 由 Claude Code 写就、零 sorry
xennygrimmato_ · x · 2026-11-06
作者公布新算法的技术细节:x^o(1) 时间(从 x^(1/2+o(1)) 降下来);支持任意区间 [A, B] 而非仅短区间;仅需查询一次 Anthropic 的 #SAT 引擎;证明由 5488 行 Lean 4 写成,借助 Claude Code 完成;0 个 sorry、仅 3 个标准公理;数值上验证了 855,150 个区间。作者同时说明边界:不包括素数求解或精确计算 π(x),这些在真实规模下不实用,且依赖尚在评审、未经人工核查的 Anthropic ETH 证明。
所属事件:素数奇偶性判定复杂度获突破算法由Claude Code写成(4 条相关)→
「编程与Agent」频道最新
- 首个律所赞助的开源法律 AI MikeGC 发布，Intake 功能对标 Harvey — Scobleizer · 2026-11-13
- 在 UE5 里用 AI 搭出 4000 栋楼的岛城,MacBook 跑到风扇狂转 — chrisfirst · 2026-11-13
- UE 5.9 内置 AI 助手从空白地图自动建城,布局可随时重建 — chrisfirst · 2026-11-13
- AI 写台词、ElevenLabs 配音,给游戏造一位毒舌女导演 — chrisfirst · 2026-11-13
- Profound 联创 CTO 播客:两周变两小时,谈 Fractal Speed 与创业无护城河 — soleio · 2026-11-13
- 开源权重模型仅占 T3 Code 流量 0.5%，但这是客户数据而非市场数据 — Arindam_1729 · 2026-11-13