OpenAI发布近400项AI生成数学成果，已形式化约42%
OpenAI在GitHub公开近400项AI生成的数学结果，覆盖700多篇手稿，其中719篇中的300项核心成果已完成形式化验证。
据theverge.com报道，OpenAI在GitHub上发布了近400项由AI生成的数学结果，这些结果分布在700多篇手稿中。成果涵盖组合数学、几何学的多个分支、数论、理论计算机科学、代数、拓扑学、概率论与统计力学，以及数学物理等领域。
OpenAI同时发布了关于如何浏览该GitHub代码库的指引。该公司表示，这些结果处于不同的验证阶段，许多手稿已经完成形式化，但并非全部。
OpenAI称，在719篇手稿中，已有300项核心结果完成形式化，约占42%。该公司还表示，随着获得更多形式化成果，将持续更新该代码库。
数学家评估所需时间
在此次发布之后，多位数学家在与其他媒体的交流中表示，仅理解OpenAI发布的内容就可能需要数年时间。有数学家称，通读约40页的目录和摘要就花了他们近一个小时。
伦敦帝国理工学院的数学教授Kevin Buzzard表示，他在其中识别出大量代数数论定理，但其中只有大约6项立即引起了他的注意。
快速问答
OpenAI这次发布的是什么？
OpenAI在GitHub上发布了近400项AI生成的数学结果，分布在700多篇手稿中，涵盖组合数学、几何学、数论、理论计算机科学、代数、拓扑学、概率论与统计力学以及数学物理等领域。
这些结果完成验证了吗？
OpenAI表示结果处于不同的验证阶段，719篇手稿中有300项核心结果已完成形式化，约占42%，公司称将随着更多形式化成果的获得而更新代码库。