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

1 points | by baruchel 6 hours ago