AI 会是数学的终结吗？

2026年夏季，AI 模型接连给出多个数十年悬而未决的数学猜想的证明；9月8日 OpenAI 宣布其模型解决了一个著名数学问题。该文讨论这些进展对数学研究意味着什么，但所给正文未提供具体问题、证明细节与验证状态。