#MathOverflow

MathOverflow 讨论：AI 能否成为数学理论构建者而非证明机器

MathOverflow 上发起讨论，追问 AI 在数学领域是否已从「证明机器」进展为真正的「理论构建者」。该帖引发对当前 AI 数学能力边界的争论。