admin 2026-04-02 124浏览

AI首次独立完成数学证明，数学界震动 近日，比利时布鲁塞尔自由大学（VUB）发布了一项引发全球数学界关注的成果：一个商用大语言模型在没有人类直接干预的情况下，独立推导出一...