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

这些数学问题触及黎曼ζ函数、霍奇猜想、自旋玻璃、量子磁性、自由群因子等前沿数学领域，平均每个成功结果约需三小时ChatGPT Pro等效思考算力

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/7

首次发现

有效期至：2027/1/5

来源

GPT-7预览、Mistral Large 4与Claude Code更新全解析

涉及实体

OpenAIcompany ChatGPT Proproduct

相关事实

待验证中智逻辑由数学家Florentin Smarandache于1990年代提出，将命题评估拆分为真（T）、假（F）、不确定（I）三个独立分量，三者之和不强制等于163% 相似待验证康威猜想由数学家约翰·霍顿·康威提出，属于组合数学或数论领域的开放问题63% 相似已验证纳维-斯托克斯方程三维空间中的光滑解存在性至今未被数学证明，是克莱数学研究所悬赏的千禧年问题之一63% 相似待验证数学界已有若干重要定理用Lean完成形式化，例如四色定理、费马大定理的局部结果62% 相似待验证三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/984055

API

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

MCP

get_claim(id=984055)