AI 在数学理论构建上取得进展了吗？

针对数学界对“解题者”与“理论构建者”的划分，该讨论探讨了 AI 是否在数学理论构建层面取得实质进展。理论构建意在提出有用的新数学概念、定义或统一框架，而非仅在既有框架内解决猜想或证明定理。讨论聚焦现有 AI 系统是否对概念框架本身做出过原创贡献，并征集相关实际案例与评估文献。