OpenAI Says Its AI Just Solved a 90-Year-Old Math Problem — One Mathematician Calls It Theft