Mathematical discovery in the age of artificial intelligence [pdf] | Dark Hacker News