EVENT DOSSIER
On September 8, 2026, Axios Technology reported that artificial intelligence is profoundly transforming the field of mathematics. With the advancement of generative AI models, their ability to solve complex mathematical problems, assist in theorem proving, and optimize algorithm design has significantly improved, prompting mathematicians to reexamine traditional problem-solving processes and educational models.
OpenAI 表示其新发布的模型 Astra 已生成关于长期未解数学问题的新结果。Astra 解决了或取得了“实质性进展”的数十年数学及理论计算机科学难题。Anthropic 和 Google 也报告了 AI 驱动数学领域的进步。AI 开始发现能引导数学家和研究人员走向意外方向的联系。研究人员使用这些模型的方式显得非常非正式，例如 Anthropic 员工在初始运行失败后鼓励 Claude“相信自己”，去尝试黎曼猜想。Claude 在消耗 3100 万输出令牌并协调约 60 个子代理的情况下，将黎曼相关界限推高。数学家陶哲轩预测，该领域将从“证明稀缺时代”过渡到“证明丰富时代”。