OpenAI已将一批共722篇数学论文上传至公开的GitHub代码库。这些论文归为372类成果,每类汇集了相关发现。该公司表示,这些研究由一款尚未发布的前沿模型完成;独立数学家顾问小组(AGMAI)评估认为,其中包括对“数百个”未解问题的解答。OpenAI还分享了简要的推理摘要、算力估算,以及尝试解决的问题数量。
此次发布的安排
OpenAI宣布,每篇论文都将在代码库中附有修订和引用规范。该公司表示,将继续寻找符合AGMAI准则的社区托管方案。今年早些时候成立的这一顾问小组曾敦促AI实验室通过既有学术渠道发布研究成果,并避免将突破性进展用作营销工具。
为什么重要
对数学家来说,这些论文带来了大量需要验证的新成果,或能加快某些领域的研究。对公众而言,此次发布展示了AI生成形式化数学解答的能力,同时也引发了关于如何署名,以及这些成果在应用前应如何审核的问题。