For AI doomers, signs and portents are everywhere. When OpenAI introduced ChatGPT, almost four years ago, it couldn’t do basic arithmetic. Now the company has unreleased models that are more fluent in higher mathematics—the language of the universe—than all but the most highly trained mathematicians