A reflection on how AI is transforming mathematics, and why that shift is provoking grief, skepticism, and excitement within the field. The author contrasts different views of what mathematics is for—proof, understanding, theory-building, and conjecture—and argues that machines are rapidly changing the balance. [xenaproject.wordpress.com]
About The Author
