Learning dynamic polynomial proofs