HF RL Explorer

Prove ExactQuantumFactoring (openai/math family 279: Exact quantum factoring over a fixed finite gate set)…

Prove ExactQuantumFactoring (openai/math family 279: Exact quantum factoring over a fixed finite gate set)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 279 of the release, Exact quantum factoring over a fixed finite gate set…

The task

Context: this statement belongs to family 279 of the release, *Exact quantum factoring over a fixed finite gate set* (Mathematical physics). The family as a whole: Gives a polynomial-time uniform quantum circuit family that outputs the complete prime factorization of every integer with probability one. Both gate…

Part of raising-heart/openai-math.