Mathematical discovery in the age of artificial intelligence [pdf] uva.theopenscholar.com 2 points by gmays 4 hours ago