数学
分类
领域
数学研究的门槛在降低，无论是专业数学家，还是非数学领域的人士，都纷纷借助AI的力量探索经典数学猜想。
文章
”6年后，陈小杨开始牵头筹建一家AIforMath方向的商业公司，但彼时投资机构几乎无人相信AI能在数学领域有所作为。
文章
能力
AI的水平将达到人类数学工作者所能企及的高峰，也将彻底打消人们对AI数学能力的怀疑。
文章
猜想
”过去，普通老师一年写一篇论文，现在AI一个月就能生成几篇中等水平的论文，甚至开始挑战经典数学猜想。
文章
”陈小杨表示，目前AI尚未提出像黎曼猜想这样的原创性、基础性数学猜想，陈小杨表示，更不擅长提出全新的数学观念或发现此前未曾存在的数学工具。
文章
成果
最近，引人瞩目的AI数学突破均由OpenAI和Anthropic发布，陈小杨预判，未来在数学研究领域，少数掌握最前沿模型和最巨量算力资源的研究者，所产出的数学成果将远远超越传统数学学者。
文章
近期，由AI产出的几个数学成果在未经充分验证的情况下直接公开发布，这在某种程度上对传统数学生态造成冲击，陷入浮躁。
文章
”陈小杨认为，转折点出现在今年5月，AI数学成果开始密集涌现。
文章
工具
然而，AI证明大猜想的结果还较少，因为很多大猜想的证明或需发展全新的数学工具。
文章
今年5月，OpenAI使用代数数论的数学工具成功构造了反例，一举推翻了该猜想。
文章
发现
两家头部AI公司“神仙打架”，短短数月，AI站到了数学发现的前沿。
文章
价值
陈小杨坦言，AI冲击职业数学家已是不争的严峻事实，但系统性学习数学本质上是一种思维训练，数学的价值在于提供理解世界的独特视角，而非得出某个具体结果，这是难以被技术替代的。
文章
事件
2026-05-04
转折点出现在今年5月，AI数学成果开始密集涌现
文章
效果
数学研究的门槛在降低，无论是专业数学家，还是非数学领域的人士，都纷纷借助AI的力量探索经典数学猜想。
文章
”同济大学数学科学学院长聘副教授陈小杨如此描述这场变革，数学研究按下了加速键，门槛在降低，“抽卡式”科研兴起，数学家陷入焦虑。
文章
近期，由AI产出的几个数学成果在未经充分验证的情况下直接公开发布，这在某种程度上对传统数学生态造成冲击，陷入浮躁。
文章
其它
然而，AI证明大猜想的结果还较少，因为很多大猜想的证明或需发展全新的数学工具。
文章
”陈小杨表示，目前AI尚未提出像黎曼猜想这样的原创性、基础性数学猜想，陈小杨表示，更不擅长提出全新的数学观念或发现此前未曾存在的数学工具。
文章
