“Greg Brockman predicts that an AI will make a novel advance in mathematics or science, such as solving a Millennium Prize problem, within two to five years.”