AI 数学突破：从解题到出题，但黑箱问题没解决

What an AI maths breakthrough means for human discovery

FT 评论认为，AI 在数学上的最新进展不只是算得快，还能自己提出新猜想、发现新结构，可能改变数学研究的方式。但作者也提醒，AI 的“黑箱”特性让验证和信任变得更难。对 AI 从业者来说，这意味着模型能力从“解问题”扩展到了“提问题”，人机协作需要重新定义。不过正文没有披露具体用了什么模型、在什么数据集上验证，也没说这些猜想是否已经被数学家确认。