Unverified50% confidenceFactExact time
The formalization of the Kepler conjecture was completed by the Flyspeck project in 2014.
1
Sources
50%
Confidence
Long-term
Relevance
9/6/2026
First Seen
Sources
Related Entities
Cite This Claim
Stable URI
https://kongchang.com/claim/865934API
curl https://kongchang.com/api/v1/knowledge/claims/865934MCP
get_claim(id=865934)