确定性 Miller-Rabin 素性测试随新进展落入 P，复杂度约 (log n)^9.9984

Anthropic 研究员 Geoffrey Irving 指出，随上周相关数论进展的推论，确定性 Miller-Rabin 素性测试现已落入 P，此前这是一个悬而未决的问题。据 Claude 估算，其复杂度约为 O((log n)^9.9984 · (log log n)^(-8.3×10⁻¹¹))。他呼吁优化研究者尝试进一步加速，看能否比 AKS 素性测试更快。