To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org) 3 points by oldgradstudent 11mo ago ↗ HN
0 comments
[ 3.9 ms ] story [ 20.9 ms ] threadNo comments yet.