热点事件持续更新
OpenAI请外部专家核查AI数学物理论证
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月27日，The Decoder报道，OpenAI已邀请外部专家担任“shepherd”，核查其AI在数学、计算机科学与物理领域产出的证明，并按各领域情况分别处理。报道指出，数学与计算机科学的证明已被翻译成Lean，但Lean只校验证明是否推出所写命题，命题本身是否对应原问题仍需专家判断。目前进展停留在核查机制与分工的披露层面，尚无核查结果或具体案例公布。
AI 根据报道生成 · 3 小时前更新
最新进展10月27日 20:37
OpenAI请外部专家担任“shepherd”，按领域核查AI在数学、计算机科学与物理领域的证明产出。报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- The Decoder精选OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域产出的证明
OpenAI 请外部专家担任“shepherd”，核查其 AI 在数学、计算机科学和物理领域产出的证明，并按各领域情况分别处理。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只校验证明是否推出所写命题，命题本身是否对应原问题仍需专家判断。
本事件热度走势
当前热度 9·可比范围峰值 10（10月27日 21:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。