To Have Machines Make Math Proofs, Turn Them into a Puzzlequantamagazine.org1 point·sonabinu··0 commentsOpen articleSaveView on HN