Text this: Efficient checking of polynomials and proofs and the hardness of approximation problems