OpenAI邀外部专家核查AI数学物理论证
热点事件持续更新
OpenAI邀外部专家核查AI数学物理论证
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
OpenAI 邀请外部专家担任“shepherd”，核查其 AI 在数学、计算机科学和物理领域产出的证明。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只检查证明是否确立了所写命题，命题是否对应原问题仍需专家判断。 据 Williams 称，该专家组未签保密协议、无偿工作，并计划随时分享阶段性发现。应专家组要求，OpenAI 公开了书面证明和 Lean 证明等全部原始数据；但物理组与计算机科学组不同，目前暂不公开 AI 材料，计划自行撰写结果。OpenAI 另承诺向西蒙斯基金会提供 500 万美元，用于资助有关 AI 成果的研讨会和会议。
AI 根据报道生成 · 2 小时前更新
最新进展10月27日 20:37
OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明报道时间线
沿着报道，了解事件的不同侧面。
10月27日
- The Decoder精选OpenAI 请外部专家核查其 AI 在数学、计算机科学与物理领域产出的证明
OpenAI 邀请外部专家担任“shepherd”核查其 AI 在数学、计算机科学和物理领域产出的证明，并按领域采取不同处理方式。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只检查证明是否确立了所写命题，命题是否对应原问题仍需专家判断。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月27日 21:00
- 近 24 小时变化
- –
02.557.510
21:0022:0023:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。