To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org) 2 points by baruchel 8mo ago ↗ HN
0 comments
[ 2.4 ms ] story [ 8.1 ms ] threadNo comments yet.