OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul