← 返回动态 OpenAI 2026-08-01 OpenAI 公布数学与理论计算机科学的十项新进展 摘要 OpenAI 公布十项长期开放问题的新结果，并同时提供由研究者整理的论文和 Lean 形式化证书。 阅读完整原文 ↗ 证据与核对发现渠道OpenAI原始材料openai.com材料类型来源网页；材料类型未核实材料范围获取范围未知复核状态未标记人工复核
