OpenAI 宣称其 AI 在数学、计算机科学和物理学领域产出重大证明，邀请外部专家核查
OpenAI 宣布其 AI 在数学、计算机科学和物理学领域产出重大证明结果，并请外部专家担任 shepherd 核查，数学与计算机科学证明已翻译为 Lean。
推荐理由：原文梳理了三个领域证明的核心内容和不同验证机制，读者可借此了解 AI 数学成果如何被外部专家独立核查。
#OpenAI
The Decoder精选AI 评分8282
The Decoder精选AI 评分7575 OpenAI 智能体 32 分钟完成小鼠大脑数据分析，人工需数月
OpenAI 与 PerturbAI、Scripps Research 合作，部署数千个基于 GPT-Rosalind 的 AI 智能体分析数百万个小鼠细胞的生物数据，完成全脑 CRISPR 图谱分析仅用 32 分钟，团队估计人工完成同样分析需数月至一年。
推荐理由：读者可看到多智能体并行分析科学数据的实际分工方式，以及人类专家对分布式报告的盲评偏好。
已经到底了