Anyone familiar with frontier models—and with the nature of higher mathematics—can see why OpenAI keeps pushing further on deep mathematical reasoning. Mathematics punishes messiness, and that's why Claude isn't making breakthroughs in math.