Unverified50% confidenceFactExact time
The mathematical results released by OpenAI include 719 top-level results, of which 300 were formalized in Lean, about 42%.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/14/2026
First Seen
Valid until: 1/12/2027
Sources
Related Entities
Related Claims
UnverifiedApproximately 42% of the 722 manuscripts released by OpenAI were formalized in Lean, with each result consuming on average about three hours of ChatGPT Pro inference compute.73% similarUnverifiedOpenAI announced that Astra achieved 98% on Frontier Math Tier 4.60% similarUnverifiedOpenAI 的 text-embedding-3-small 输出 1536 维向量，嵌入向量维度通常在 384 到 1536 之间59% similarUnverifiedIn EvoMap's benchmark test, sub-agents actually found 373 correct answers, but after the main agent merged the results, only 217 were retained in the final output.58% similarUnverifiedQwen3 27B在OpenAI HumanEval 164道Python题上取得85%通过率和99%应答率58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1022689API
curl https://kongchang.com/api/v1/knowledge/claims/1022689MCP
get_claim(id=1022689)