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

3 points| oldgradstudent | 3 months ago |quantamagazine.org