数学即将进入音乐学院模式吗？
AI 生成证明的进展，引发了人们将数学的未来与古典音乐在音乐学院中的命运相比较：一种由机构支持的、小众的实践，而非一个广泛、完全靠市场维持的职业。评论者争论 AI 是否会大幅取代人类数学家，还是只会把他们的角色转向引导研究、验证结果和选择有意义的问题，类似于古典音乐家在经济现实变化中的适应。也有人认为，即使机器在许多技术任务上超越人类，人类的理解、解释能力以及支持人类创作者的意愿，仍会继续成为数学与艺术的支柱。
类比：数学与音乐学院模式
- 几位评论者认为“数学 → 音乐学院”的类比有些牵强，因为数学不只是娱乐，而且它其实已经通过学术界“在音乐学院里”了。
- 也有人喜欢这种表述，把它当作一种思考方式：数学的价值到底在于过程（做数学）还是结果（成果），有点类似古典音乐与流行音乐的区别。
- 还有人认为，高水平数学远没有音乐那样普及可及，所以“定理酒吧”式的受众会非常小。
古典音乐与数学的经济学
- 关于古典音乐家是否能获得良好支持，争论很大：
- 一种观点认为：几乎没人能完全靠演出维生；大多数人都得依赖教学和零工。
- 反方观点则认为：大型交响乐团和独奏家可以赚得相当不错，甚至收入很高；瓶颈在于拿到这些职位。
- 欧洲（尤其是德国、法国、挪威）被描述为有大量国家资助的交响乐团，以及针对自由职业演奏者的特殊制度，而这在美国的大部分地区并不常见。
- 也有人说，即使在欧洲，古典音乐相对于流行音乐仍是小众，而大量补贴会带来机会成本。
AI、艺术与数学中的过程 vs 结果
- 一个反复出现的主题是：一个学科是由过程定义，还是由结果定义？
- 在艺术中，许多人反对 AI，是因为他们重视人类表达某种想法的过程，而不只是一个“能用”的图像。
- 另一些人反驳说，与 AI 进行提示和反复迭代，本身也可以是真实的表达行为。
- 对数学而言，有些人主要在意正确结果；另一些人则强调，人类理解和交流才是核心。
AI 时代人类数学家的角色
- 一派认为，AI 的进展（例如在重大猜想上的进展）表明，人类很快就可能不再需要，除了做最低限度的提示；数学“已经不再需要”人类专家。
- 其他人坚持认为：
- 提出好问题、解释结果、验证证明，仍然是极其人类化且需要专业能力的任务。
- 目前已经有一些证明只有少数人类能理解；AI 可能会扩大这种情况，但人类仍然是意义与信任的锚点。
- 也有人设想，数学家会引导 AI：选择公理、决定哪些计算值得做，并充当传递者与解释者。
资助、赞助与机构支持
- 讨论把 AI 提示、历史上的艺术赞助，以及当代 PR 驱动的 AI 数学演示作比较。
- 有人怀疑，如果没有重视、资助并理解它的人类，AI 驱动的数学研究难以持续。
- 讨论还指出，“社会”往往实际上指的是政府和机构；它们目前通过资助、大学和公共资金来支持古典音乐（以及纯数学）。