待验证50% 置信事实精确时间
OpenAI发布的数学成果包含719个顶层结果，其中300个在Lean中完成了形式化，约为42%。
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/14
首次发现
有效期至：2027/1/12
来源
涉及实体
相关事实
待验证OpenAI发布的722篇手稿中约42%做了Lean形式化，平均每个结果约用三小时的ChatGPT Pro思考算力73% 相似待验证OpenAI公布Astra在Frontier Math Tier 4达到98%60% 相似待验证OpenAI 的 text-embedding-3-small 输出 1536 维向量，嵌入向量维度通常在 384 到 1536 之间59% 相似待验证在EvoMap的基准测试中，子智能体实际找出373个正确答案，但主智能体合并后最终结果只保留了217个58% 相似待验证Qwen3 27B在OpenAI HumanEval 164道Python题上取得85%通过率和99%应答率58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1022689API
curl https://kongchang.com/api/v1/knowledge/claims/1022689MCP
get_claim(id=1022689)