AI 能否构建数学理论引发追问

有提问者在 Hacker News 上援引数学家 Timothy Gowers 对“解题者”与“理论构建者”的区分，追问 AI 在数学理论构建上是否也取得了类似进展。提问者把理论构建定义为提出真正有用的数学概念、定义、结构或框架，以统一此前割裂的结果或开辟新研究方向，而非仅在人类已有框架内证明定理。 提问者希望获得 AI 实质贡献概念框架的具体案例，包括失败但有启发性的尝试及相关评估。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。