he described a kind of AI-enabled, “industrial-scale mathematics” that has never been possible before