A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Deterministic polynomial factorization over prime fields
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Egyptian Fractions <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:algorithms, speed Levels:1
Category:Theoretical computer science Lean version:not yet
Rate this game! 4.1 out of 5 (7,634 votes)

>>> How to Play <<<
Deterministic polynomial factorization over prime fields. Gives a uniform deterministic algorithm that completely factors every nonzero dense degree-n polynomial over a prime field 𝔽p, including multiplicities, in bit complexity polynomial in $(n+1)\log p$. The prime is supplied in binary. No randomness, integer-factorization or primitive-root oracle, or GRH assumption is required.

>>> Level Select <<<
released 2026-10-04  |  4 theorems · 16 lemmas · 26 proofs · 22,529 words  |  PLAY LEVEL 1 »  (pdf)
We give a uniform deterministic polynomial-time algorithm for complete factorization over prime fields. For a prime p in binary and a nonzero polynomial $f\in\mathbf F_p[x]$ given by its dense coefficient list, the algorithm computes the irreducible factors and their multiplicities using a number of bit operations polynomial in $(\deg f+1)\log p$. The proof uses the uniform Hecke zero-free theorem from the companion paper *Primitive roots for every admissible integer base*.

More Theoretical computer science Games!
Approximate counting and the perfect-matching entropy conjectureApproximate counting of common integer polymatroid basesSampling and counting contingency tables with arbitrary marginsUniform identity testing for noncommutative formulas
Uniform sparsest cut: hardness and semidefinite gapsUnbounded bin-packing gaps and the modified integer round-up conjectureThe Courtade–Kumar and Hellinger conjecturesAlmost-linear-time exact matching in general graphs

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games