AI in mathematics is forcing big questions
(news.ycombinator.com)
1.
2.
What it Means to Be a Mathematician When AI Does the Math
(spectrum.ieee.org)