As AI continues to improve its reasoning abilities, mathematicians are increasingly worried about the computer algorithms replacing them. In late May, those fears got even worse when OpenAI revealed that one of its general-purpose reasoning models had written a proof solving a math problem that’s sat unsolved for more than 80 years. But should they actually be worried? Let’s take a look.