Unverified50% confidenceFactExact time
Approximately 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.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/11/2026
First Seen
Valid until: 1/9/2027
Sources
Related Entities
Related Claims
UnverifiedReportedly, each successful mathematical result required on average only about 3 hours of ChatGPT Pro-equivalent compute for thinking.70% similarUnverifiedIn tests covering context lengths of 512–4096, increasing the draft length from 4 tokens to 16 tokens resulted in only a 0.2%–1.3% increase in overall inference latency.62% similarUnverified通义千问3.6 27B在语义三次全对率和格式正确率上均领先Muse Glimmer60% similarUnverifiedThe model gave the correct answer of 34 in a multimodal image recognition test counting pencils, at a speed of 55 tokens per second at that time.60% similarUnverifiedUnder chain-of-thought (CoT) prompting, EngramEdit's multi-hop reasoning accuracy approaches three times that of the strongest baseline method.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997060API
curl https://kongchang.com/api/v1/knowledge/claims/997060MCP
get_claim(id=997060)