A.I. Is Coming for Mathematics, Too
New York Times
For thousands of years, mathematicians have adapted to the latest advances in logic and reasoning. Are they ready for artificial intelligence?
https://www.nytimes.com/2023/07/02/science/ai-mathematics-machine-learning.html