To Have Machines Make Math Proofs, Turn Them into a Puzzlequantamagazine.org3 points·oldgradstudent··0 commentsOpen articleSaveView on HN