Anthropic IPO文件披露AI安全漏洞与训练中止

OpenAI周一宣布，其人工智能模型在数学、计算机科学和物理学领域产出了三项可能具有突破意义的科学发现，其中一些结论甚至可能动摇计算机解决复杂问题方式的长期理论。这家ChatGPT的开发公司表示，其AI系统生成了针对重大数学猜想的证明，对计算机科学中一个被广泛接受的理论提出了质疑，并在涉及量子物理的数学问题上取得了新结果。 具体来看，OpenAI称其模型证明了“指数时间假说”不成立——这一假说长期以来被认为描述了某些计算问题的求解难度。该结果随后通过Lean软件系统进行了形式化验证，Lean是一种用于严格检验数学证明的工具。此外，OpenAI还报告称，其模型在任意维度下针对Kakeya猜想及相关数学问题给出了证明，并在量子色动力学的数学基础方面取得了成果。量子色动力学是描述基本粒子之间相互作用的理论。OpenAI表示，正在与外部研究人员合作，对这些发现进行独立审查、解释和进一步拓展，其中包括由诺贝尔物理学奖得主David Gross领导的一个物理学团队。目前，OpenAI已公开其数学和计算机科学领域的证明，但表示物理学研究团队选择暂缓发布材料，以便研究人员准备自己的分析。OpenAI称，这些合作旨在帮助科学家评估AI生成的发现，并更好地理解其对未来研究的影响。