待验证50% 置信事实精确时间

OpenAI发布的722篇手稿中约42%做了Lean形式化，平均每个结果约用三小时的ChatGPT Pro思考算力

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/11

首次发现

有效期至：2027/1/9

来源

OpenAI一夜发722篇数学手稿：挂谷猜想被AI推到四维

涉及实体

OpenAIcompany ChatGPT Proproduct Leanproduct

相关事实

待验证据报道，平均每个成功的数学结果仅需约3小时的ChatGPT Pro等效思考算力70% 相似待验证在512-4096上下文长度测试中，将草稿长度从4字符拉满至16字符，整体推理延迟仅增加0.2%-1.3%62% 相似待验证通义千问3.6 27B在语义三次全对率和格式正确率上均领先Muse Glimmer60% 相似待验证模型在铅笔计数的多模态图片识别测试中给出34只的正确答案，此时速度为每秒55 Token60% 相似待验证在思维链（CoT）提示下，EngramEdit的多跳推理准确率接近最强基线方法的三倍59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/997060

API

curl https://kongchang.com/api/v1/knowledge/claims/997060

MCP

get_claim(id=997060)