To Have Machines Make Math Proofs, Turn Them into a Puzzle #1 Post by sonabinu » Thu, Apr 16, 2026, 12:16 PM UTC To Have Machines Make Math Proofs, Turn Them into a Puzzlequantamagazine.org