研究者称 AI 数学「现象到猜想」式进展路径将式微

博主 onionesque 认为，当前 AI 研究「从有趣现象出发、形成猜想、成为社区聚焦点、发展新理论工具、最终得到解法」的「地表开采」式路径将逐渐式微。他讨论 AI 数学能力边界时指出，已开发的 eps 邻域既是矿藏也提供了通往可验证性的路径，但上游概念开发能否仅靠 AI 完成仍是未知数，他表示好奇 AI 能否攻击那些重要问题。