文档中心 / AI 热点雷达 / OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

来源：The Decoder：AI News（RSS） · 时间：2026-10-27T12:37:24.000Z

阅读原始报道 →

事件速览

The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。

胜算云可直接调用

相关热点

• OpenAI 发布 GPT-6.1 Terra，API 价格减半
• OpenAI 称 AI 取得三项科学发现，细节未公开
• OpenAI 宣布模型产出三项数学成果并与学界协作发布
• Greg Brockman 称 GPT-6.1 Terra 的电脑操作速度已超过…
• OpenAI GPT-6.1 Terra 上线 OpenRouter，定价 $1…

Data source: AI HOT · AI 热点雷达 · 快速开始调用 · 文档中心