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