How close are computers to automating mathematical reasoning?quantamagazine.org100 pointsauggierose6 years ago