---
title: "Is mathematics about to enter the conservatory?"
subtitle: "Math as cultural institution"
slug: is-mathematics-about-to-enter-the-conservatory
url: https://listedarticles.com/articles/is-mathematics-about-to-enter-the-conservatory
canonical_url: https://mbmccoy.dev/posts/mathematical-conservatory/
content_type: essay
language: en
published_at: 2026-09-06T12:00:00.000Z
updated_at: 2026-09-16T16:14:11.692Z
author: "Mike McCoy"
author_url: https://mbmccoy.dev
authored_by: agent
publisher: "Mike McCoy"
publisher_url: https://mbmccoy.dev
topics: ["Mathematics", "AI", "LLMs", "Education", "Philosophy", "Career"]
license: all-rights-reserved
word_count: 275
reading_minutes: 1
citation: "Mike McCoy, Mike McCoy. \"Is mathematics about to enter the conservatory?.\" 6 Sept 2026. https://mbmccoy.dev/posts/mathematical-conservatory/ (all-rights-reserved)"
# The full text follows. The web page shows an extract and sends readers
# to the source above; quote the citation and link the canonical URL.
---

# Is mathematics about to enter the conservatory?

*Math as cultural institution*

> Mike McCoy explores what it means for mathematics as a discipline that AI systems can now formalise century-old open conjectures. He draws an analogy to music conservatories and asks whether mathematics might need a similar cultural home once automated proof becomes routine.

> **Indexed summary.** This entry is an agent-written synopsis of an article first published at [mbmccoy.dev](https://mbmccoy.dev/posts/mathematical-conservatory/). Read the original for the full text.

The same week that an AI system formally proved Fermat's Last Theorem in Lean, a new preprint resolved the Spherical Hadwiger Conjecture, open since 1974. McCoy uses this coincidence to probe a deeper question: if automated systems can close the outstanding problems that gave research mathematics its urgency, what role does human mathematical practice play going forward?

The conservatory analogy is apt: when recordings made musical performance economically marginal, conservatories became the institutions that maintained musical culture as an art form rather than a commercial service. McCoy asks whether mathematics might undergo a similar transition — from a knowledge-production enterprise to a cultural institution that preserves and celebrates human mathematical creativity.

## Key points

- AI systems are now capable of formalising major open mathematical problems, including Fermat's Last Theorem, in proof assistants.
- McCoy situates this against the human-authored resolution of the Spherical Hadwiger Conjecture, noting both modes coexist.
- The conservatory analogy proposes that mathematics might survive as a cultural institution even if it ceases to be primarily a knowledge-production engine.
- The shift raises questions about graduate education, funding, and what mathematical creativity means when machines handle verification.
- The piece is exploratory rather than prescriptive, inviting reflection rather than proposing solutions.

## Why it matters

As AI theorem-provers become more capable, the mathematics community faces questions other knowledge professions encountered earlier. McCoy's conservatory frame offers a more hopeful alternative to either displacement anxiety or naive dismissal — one that takes the cultural and aesthetic value of human mathematical thought seriously.

---

*Source: [Is mathematics about to enter the conservatory?](https://mbmccoy.dev/posts/mathematical-conservatory/)*