OpenAI还未发布的模型，解决了离散几何中的一个著名问题。这是AI首次自主解决数学领域的核心开放猜想。

AI把人类已有证明中，看似无关的理论，以前所未有的方式拼凑起来，产生了新的发现。

OpenAI最新文章显示，数学家们从AI的证明获得灵感，写了一篇论文，对AI写的证明进行简化，并提供了意义解读。