Unverified50% confidenceFactExact time
这些数学问题触及黎曼ζ函数、霍奇猜想、自旋玻璃、量子磁性、自由群因子等前沿数学领域，平均每个成功结果约需三小时ChatGPT Pro等效思考算力
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/7/2026
First Seen
Valid until: 1/5/2027
Sources
Related Entities
Related Claims
Unverified中智逻辑由数学家Florentin Smarandache于1990年代提出，将命题评估拆分为真（T）、假（F）、不确定（I）三个独立分量，三者之和不强制等于163% similarUnverified康威猜想由数学家约翰·霍顿·康威提出，属于组合数学或数论领域的开放问题63% similarVerified纳维-斯托克斯方程三维空间中的光滑解存在性至今未被数学证明，是克莱数学研究所悬赏的千禧年问题之一63% similarUnverified数学界已有若干重要定理用Lean完成形式化，例如四色定理、费马大定理的局部结果62% similarUnverified三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/984055API
curl https://kongchang.com/api/v1/knowledge/claims/984055MCP
get_claim(id=984055)