AI in mathematics is forcing big questionsspectrum.ieee.org
54 points by rbanffy 4 hours ago | 22 comments