AI in mathematics is forcing big questions · HackerLangs