To Have Machines Make Math Proofs, Turn Them into a Puzzle

(quantamagazine.org) by Brajeshwar | Jan 14, 2026 | 0 comments on HN