OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中数学与计算机科学结果已连同 Lean 证明发布到 GitHub。
推荐理由：OpenAI 公布三项 AI 辅助成果，并首次引入外部专家把关，读者可据此观察 AI 产出如何进入学术验证流程。
OpenAI 公布数学、计算机科学和物理三项“重大”发现，其中数学与计算机科学结果已连同 Lean 证明发布到 GitHub。
推荐理由：OpenAI 公布三项 AI 辅助成果，并首次引入外部专家把关，读者可据此观察 AI 产出如何进入学术验证流程。