To Have Machines Make Math Proofs, Turn Them into a Puzzle

3 points | by oldgradstudent 10 hours ago