1To Have Machines Make Math Proofs, Turn Them into a Puzzle (opens in new tab)(quantamagazine.org)3oldgradstudent4mo ago0
2I Tried the Robot That's Coming to Live with You. It's Still Part Human (opens in new tab)(wsj.com)5oldgradstudent4mo ago2