AI 在数学理论构建上是否取得进展？

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