AI Evaluation Turns Into a Product Market as Researchers Show Cheap Open Models Can Grade Proofs · Polylog