AKS runtime is proven polynomial in log(n)—O((log n)⁶) or O((log n)⁴) with improvements—making super...
This proposition has not been edited since the history system was added.