待验证50% 置信事实精确时间
OpenAI的074号成果只证明了四维Hausdorff维数版本，未解决四维极大函数猜想和五维及以上，且没有Lean形式化也未经同行评审
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/11
首次发现
有效期至：2027/1/9
来源
涉及实体
相关事实
待验证论文指出OpenAI的Navier-Stokes证明中equation 8.19声称某量可被m+4阶导数的范数控制，但Lean代码验证的是被m+5阶导数的范数控制，后者是更弱的结论66% 相似待验证OpenAI的GPT-6在孪生素数猜想上取得突破，证明存在无穷多个相邻素数对，其间隔不超过18665% 相似待验证q4_0使用对称量化（零点固定为0），q4_1使用非对称量化（零点可浮动），后者在数值分布不对称时更精确但需额外存储零点参数61% 相似待验证AQuA论文给出的单特征留出集IC基准中，将所有特征做岭回归组合最高只能达到+0.025，且没有任何单一特征能突破0.0361% 相似待验证在4-bit量化下，纯参数理论最小占用为：7B约3.26GiB，13B约6.05GiB，32B约14.90GiB，70B约32.60GiB60% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/997059API
curl https://kongchang.com/api/v1/knowledge/claims/997059MCP
get_claim(id=997059)