The Decoder· Maximilian Schreiner·· 4 小时前同事件AI 评分88
OpenAI 请外部专家审阅 AI 生成的数学、计算机科学与物理证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 请外部专家担任“shepherd”，审阅其 AI 在数学、计算机科学和物理领域生成的证明，并按领域分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻长期被接受的 ETH，数学结果声称把局部光滑猜想推广到所有维度。
同一件事，精选收录的是《OpenAI 公布数学、计算机科学与物理三项发现，并尝试与学界合作新方式》
来源：The Decoder · the-decoder.com