Unverified50% confidenceFactExact time
These mathematical problems touch on frontier mathematical areas including the Riemann zeta function, the Hodge conjecture, spin glasses, quantum magnetism, and free group factors, with each successful result requiring on average approximately three hours of ChatGPT Pro-equivalent compute.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/7/2026
First Seen
Valid until: 1/5/2027
Sources
Related Entities
Related Claims
UnverifiedNeutrosophic logic was proposed by mathematician Florentin Smarandanche in the 1990s, decomposing proposition evaluation into three independent components—truth (T), falsity (F), and indeterminacy (I)—whose sum is not forced to equal 1.63% similarUnverifiedThe Conway conjecture was proposed by mathematician John Horton Conway and is an open problem in the field of combinatorics or number theory.63% similarVerifiedThe existence of smooth solutions to the Navier–Stokes equations in three-dimensional space has not yet been mathematically proven, and is one of the Millennium Prize Problems offered by the Clay Mathematics Institute.63% similarUnverifiedSeveral important theorems have been formalized in Lean, such as the four-color theorem and partial results of Fermat's Last Theorem62% 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)