Q quantamagazine.org How close are computers to automating mathematical reasoning? 100 points auggierose 6 years ago 97 comments
