S spectrum.ieee.org AI in mathematics is forcing big questions 210 points rbanffy 4 months ago 181 comments
