“Within the next 10 to 20 years, AI may be producing novel mathematics that humans cannot understand.”