Is mathematics about to enter the conservatory?
Summary
A math-focused blog post discusses a preprint claiming AI-assisted proof of the Spherical Hadwiger Theorem and the disclosure of Codex involvement. It uses this to explore AI’s impact on mathematical labor, ethics, and funding, and uses a conservatory metaphor to discuss the future of pure mathematics in an AI-enabled era.