Unverified50% confidenceFactExact time
Thomas Hales' team completed the formal verification of the Kepler conjecture (the Flyspeck project) in 2017.
1
Sources
50%
Confidence
Long-term
Relevance
9/11/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThomas Hales' computer-assisted proof of the Kepler conjecture underwent more than twelve years of review and was ultimately accepted by the mathematical community in 2017 through complete formal verification by the Flyspeck project.76% similarUnverifiedPolymath 1 成功给出了 Hales-Jewett 定理的组合证明50% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/894640API
curl https://kongchang.com/api/v1/knowledge/claims/894640MCP
get_claim(id=894640)