OpenAI邀请包括诺贝尔奖得主在内的外部专家审查其AI生成的数学、计算机科学与物理学证明 | AI Archive

OpenAI邀请包括诺贝尔奖得主在内的外部专家审查其AI生成的数学、计算机科学与物理学证明

decoder · 2026-10-27T12:37:24+00:00

OpenAI已聘请外部专家（包括一位诺贝尔奖得主）对其人工智能模型在数学、计算机科学和物理学领域生成的证明进行验证。在计算机科学方面，该AI声称已证伪指数时间假设，这将挑战关于问题复杂性的基础假设，并可能对SAT求解器产生影响。另一项数学成果涉及所有维度下的波局部光滑猜想，这也意味着解决了Kakeya猜想和Stein限制猜想。在物理学方面，该AI宣称已证明了四维杨-米尔斯理论的数学存在性，这触及了千禧年大奖难题的一部分，但并未解决相关的质量间隙问题。每个领域均由不同的专家小组进行审查，OpenAI提供原始数据和Lean翻译以促进独立验证。该公司强调，其不寻求科学署名，而是旨在通过资金支持和透明度来促进严格的同行评审。此举是在此前的争议之后采取的，促使OpenAI在对AI生成发现的归属和验证问题上采取更为谨慎的态度。