Deterministic Miller-Rabin primality testing now in P after last week's breakthrough, ~O((log n)^9.9984)

geoffreyirving · x · 2026-10-15

Geoffrey Irving points out that as a corollary of last week's number theory breakthrough, deterministic Miller-Rabin primality testing is now in P — a problem that was open before. Per Claude's estimate, the complexity is about O((log n)^9.9984 · (log log n)^(-8.3×10⁻¹¹)). He calls on tuners to optimize it further, asking if it can be made faster than AKS.

Related event: Deterministic Miller-Rabin Falls Into P After Quasi-Riemann Breakthrough(2 posts)→

Original post →

More from Research

Research channel →