OpenAI's blockbuster math proof isn't what you think it is