Is mathematics about to enter the conservatory?

AI assistance has reportedly been used to prove the Spherical Hadwiger Conjecture, an open mathematics problem since 1974, with OpenAI's Codex helping to develop proof details, identify gaps, and write the paper. This milestone suggests that AI is beginning to penetrate research-level mathematics—an area where mathematicians were previously thought to have greater insulation from AI disruption compared to writers, artists, and other creative fields. The author notes this shift may reflect not the superior difficulty of mathematics, but rather its lower economic value and training data availability.