Prove PowerFreeValues (openai/math family 020: Squarefree quartics and power-free polynomial values) in Lean…
Prove PowerFreeValues (openai/math family 020: Squarefree quartics and power-free polynomial values) in Lean…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 020 of the release, Squarefree quartics and power-free polynomial values (Number…
The task
Context: this statement belongs to family 020 of the release, *Squarefree quartics and power-free polynomial values* (Number theory). The family as a whole: Proves the squarefree-values conjecture for irreducible integer quartics with no fixed prime-square divisor: squarefree values on positive integers have the…
Part of raising-heart/openai-math.