OpenAI将三项人工智能研究主张提交学术审查
aiinsider ·
OpenAI已提交三项由人工智能生成的研究主张，涵盖数学、计算机科学和物理学领域，供独立学术审查。该倡议旨在确定科学家如何验证人工智能的推理是否支持真正的重大发现，而非仅仅生成看似合理的回答。在计算机科学方面，包括Ryan Williams在内的专家将审查一项关于“指数时间假设”被推翻的主张。数学家将评估有关局部平滑猜想（local smoothing conjecture）的证明，该猜想涉及多维空间中的波行为。由David Gross领导的物理学家团队将评估量子场论（如量子色动力学）存在性证明的相关主张。为支持验证工作，OpenAI提供了使用Lean软件检查的数学证明，以确保逻辑严谨性。尽管这些努力提供了比标准解释更强的证据，但研究人员仍需对结果及其更广泛的影响进行解读。
aiinsider