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 產生的數學、電腦科學與物理學證明，並將證明轉為 Lean 程式碼供機器驗證。
推薦理由
OpenAI 透過 AI 產生的數學、電腦科學與物理學證明，邀請外部專家審核，對理論基礎與實務演算法可能產生深遠影響。
信源出處the-decoder.com
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
本文為 888news AI 精選之重點導讀。若需閱讀作者完整原文、技術細節與官方討論，請前往原始網站。
來源： The Decoder (the-decoder.com)
開啟原文