A creator outlines a math verifier for AI evaluation and later training · Digg