数学家称已见「弱 AGI」：模型正成为数学研究日常工具

Scobleizer · x · 2026-11-03

数学领域作者 nasqret 认为 AI 已在数学域达到「弱 AGI」形态：模型可帮助形式化重大项目、在几乎任何数学分支提供专业技术支持，越来越多数学家用模型做探索、验证甚至创意启发。

他透露正准备一篇长文，称从自己的代数项目看，AI 带来的速度提升与质量跃升前所未有；大多数数学问题对 AI 仍不可解，但对人类同样无解——而文献中相当多的问题，用合适的 auto-research 技巧和精心搭建的 harness（外加大量 token）就能攻克。Scobleizer 转发时强调作者毕生研究数学，其判断有分量。