AI 中文总结
本文以2026年国际数学家大会公开讲座为基础，探讨数学界如何应对能完成研究级数学任务的AI工具，以数学问题解决为案例，研究数学研究的目标与价值。
AI 中文摘要
本文是一篇随笔，基于2026年国际数学家大会上的公开讲座撰写，探讨数学界如何应对能完成研究级数学任务的人工智能工具的到来。我们不辩论这类工具的能力，而是以其能力将到来为前提，研究与之正交的问题：数学研究的目标与价值究竟是什么，并以数学的问题解决部分作为案例展开分析。
英文摘要
An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks. Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are. The problem-solving component of mathematics is used as a case study.
Comments12 pages, four figures. Submitted to the Proceedings of the ICM 2026
