Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...