OpenAI 发布了数千个机器生成的数学证明

OpenAI发布了大量由机器生成的数学研究，包括使用Lean形式化的证明，涵盖从数论到量子物理等多个主题。此次发布包含722篇论文，组织成372个研究家族，其中一些结果涉及复杂的难题，如无理性指数和NP难问题。

为什么重要. 数学家和研究人员将能够接触到一系列新的研究成果，这可能会加速数学和理论计算机科学各个领域的进展。