To Have Machines Make Math Proofs, Turn Them into a Puzzle #1 Post by oldgradstudent » Tue, Nov 11, 2025, 9:34 PM UTC To Have Machines Make Math Proofs, Turn Them into a Puzzlequantamagazine.org