AI 会终结我们所知的数学吗

OpenAI 宣布其模型解决了数学界最著名的问题之一，随即引发关于作者身份与学术标准的争议。Scott Aaronson 称人类数学家已不再是地球上主要的定理证明实体，而 AI 证明虽经逻辑验证却跳过了数学家赖以为生的理解过程。