oldgradstudent Karma 3,611 Created 8 years ago Recent Submissions 1. ▲ To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org) 3 points · 1 month ago · 0 comments 2. ▲ I Tried the Robot That's Coming to Live with You. It's Still Part Human (wsj.com) 5 points · 1 month ago · 2 comments All submissions on HN · View profile on HN