The Decoder· Maximilian Schreiner· 媒体 / 作者来源·· 3 小时前精选
OpenAI请求外部专家验证AI在数学、计算机科学和物理学中产生的证明
原文标题
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI称其内部AI模型已破解数学、计算机科学和物理学中的三个重大开放问题，其中一个属于著名的千禧年大奖问题，每项价值100万美元。目前包括诺贝尔奖得主在内的外部专家正在验证这些证明是否成立。如果计算机科学证明成立，数百篇研究论文将失去基础。
来源：The Decoder · the-decoder.com
导读与选稿说明
OpenAI声称AI模型解决了三个重大科学问题，包括一个千禧年大奖问题，正在等待外部专家验证，这可能影响多个领域的研究基础。
导读由模型辅助整理，非独立核验。完整信息见原文。