The Decoder· Maximilian Schreiner·· 3 小时前AI 评分65
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 在数学、计算机科学和物理领域生成的证明。在计算机科学领域，AI 的证明涉及指数时间假设（ETH），若成立将影响数百篇论文的基础。
来源：The Decoder · the-decoder.com