数学研究的人工智能化到底好还是不好? 一、人工智能在数学猜想上的攻城略地 最近一两年来,生成式人工智能证明或者证伪各种数学猜想的新闻层出不穷。例如,人工智能辅助证明了组合数学中的拉姆齐数下界新结果;在纽结理论中,机器学习发现了新的不变量关系;2026年9月,人工智能模型经11天自主运行
数学研究的人工智能化到底好还是不好?
一、人工智能在数学猜想上的攻城略地
最近一两年来,生成式人工智能证明或者证伪各种数学猜想的新闻层出不穷。例如,人工智能辅助证明了组合数学中的拉姆齐数下界新结果;在纽结理论中,机器学习发现了新的不变量关系;2026年9月,人工智能模型经11天自主运行