**AI 作为数学理论构建者的进展如何？**

_Has AI made any progress as a mathematical theory-builder,,,,?_

> 讨论 AI 是否已超越单纯作为工具的角色，在数学理论的构建与发现方面取得了实质性进展。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：论文
- **发布时间**：2026-10-24 18:42（北京时间）
- **原文**：[打开原文](https://mathoverflow.net/questions/516336/has-ai-made-any-progress-as-a-mathematical-theory-builder-rather-than-just-a-pr)