⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· 人工智能学家·· 29 天前AI 评分51

数学家斯特罗加茨:AI重塑数学前沿引发职业身份危机

AI开始超过数学家,他们真的害怕了

AI 导读

康奈尔大学数学家斯特罗加茨认为AI正剧烈改变数学研究,他提出未来做出突破性成果不借助AI将无法与人竞争,2026年可能是数学的奇迹之年或恐怖之年。文章回顾OpenAI用多智能体解决90年数学难题,以及Anthropic证明29500个小型定理并完成费马大定理证明形式化。斯特罗加茨指出,AI虽加速研究,但数学家群体面临动力受威胁,人类目前仍保有将机器证明“消化”成人类可理解形式的能力。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:人工智能学家 · mp.weixin.qq.com