确定性 Miller-Rabin 素性测试随新进展落入 P，复杂度约 (log n)^9.9984
geoffreyirving · x · 2026-10-15
Geoffrey Irving（Anthropic 研究员）指出，随着上周相关数论进展的推论，确定性 Miller-Rabin 素性测试现已落入 P，这在此前是一个悬而未决的问题。据 Claude 估算，其复杂度约为 O((log n)^9.9984 · (log log n)^(-8.3×10⁻¹¹))。他呼吁优化研究者尝试进一步加速，看能否比 AKS 素性测试更快。
所属事件:quasi-Riemann 新进展推论：确定性 Miller-Rabin 落入 P(2 条相关)→
「研究」频道最新
- Vals AI 实测前沿模型：MuJoCo 仿真中操控机械臂与人形机器人 — scaling01 · 2026-10-15
- AI 极端天气预报新突破：预警窗口从 10 天延伸到 6 周 — LesterMackey · 2026-10-15
- DuplexJev：免解码单token决策，8卡0.1秒答80个语音决策 — adventists-ai · 2026-10-15
- LLM-to-Flow 蒸馏:让科学生成器听懂自然语言的发现目标 — rbhar90 · 2026-10-15
- ETH推出不确定性感知世界模型，真机器人上跑通离线强化学习 — breadli428 · 2026-10-15
- 16.7 万模拟店铺日研究:评测世界的设计本身塑造了模型行为得分 — liminal_bardo · 2026-10-15