To Have Machines Make Math Proofs, Turn Them into a Puzzlehttps://www.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/ by oldgradstudent • 8 months ago 3 0 8 months agoQUquantamagazine.org