大模型屡破数学猜想引发热议，重塑数学研究范式

近期语言模型在数学领域屡创佳绩，接连找出雅可比猜想和单位距离猜想等悬而未决问题的反例。数学家陶哲轩评价其构造过程如同“奇迹”，极难通过暴力搜索发现。结合国际数学家大会上的见闻，Hugging Face 研究员等业界人士深入探讨了 LLM 能力的飞速提升对数学界带来的根本性冲击，认为大模型正推动数学研究范式发生深刻转变，并引发了对连接主义与符号操作的思考。

2026-08-03 ~ 2026-08-05 · 2 条相关