Unverified70% confidenceFactExact time
Thomas 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.
2
Sources
70%
Confidence
Long-term
Relevance
7/16/2026
First Seen
Sources
Related Claims
UnverifiedThomas Hales' team completed the formal verification of the Kepler conjecture (the Flyspeck project) in 2017.76% similarUnverifiedThe four-color theorem was verified by computer-aided proof in 1976.61% similarUnverifiedOn August 22, 2026, the proof by Buckmaster and Alpaçu passed formal verification in the Lean system.60% similarUnverifiedThe mathematics community spent years holding seminars and writing detailed papers before finally confirming the correctness of Perelman's proof of the Poincaré conjecture.59% similarVerifiedThe computer-assisted proof of the four color theorem in 1976 sparked years of controversy in the mathematical community because it contained extensive exhaustive computations that could not be individually verified by hand.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/533531API
curl https://kongchang.com/api/v1/knowledge/claims/533531MCP
get_claim(id=533531)