OpenAI 邀请诺奖得主等外部专家审查 AI 生成的数学、计算机科学与物理证明

OpenAI 邀请诺奖得主 David Gross 等外部专家审查其 AI 在数学、计算机科学与物理领域生成的证明，并按领域采取不同的复核方式。数学与计算机科学证明已转换为 Lean，物理领域的 Yang-Mills 证明也已转换，但相关团队暂缓公开材料并计划自行撰写结果。