AI in mathematics is forcing big questions

· Hacker News