Unverified50% confidenceFactExact time
The mathematics community spent years holding seminars and writing detailed papers before finally confirming the correctness of Perelman's proof of the Poincaré conjecture.
1
Sources
50%
Confidence
Long-term
Relevance
10/27/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedPerelman published three papers on arXiv in 2002–2003 outlining the proof of the Geometrization Conjecture using Ricci flow and surgery techniques; the verification process took about three years, and the Clay Mathematics Institute did not officially recognize the conjecture as solved until 2010.70% similarUnverified机器辅助完成的四色定理证明历经十余年争论才被数学社区广泛接受70% similarUnverifiedTheorem proving in applied mathematics often relies on vast theoretical systems, and proving a single theorem may require invoking dozens of prerequisite lemmas spanning multiple branches of mathematics.68% similarUnverifiedTerence Tao has publicly led the effort to formalize the proof of the Polynomial Freiman-Ruzsa conjecture into Lean, completing it in collaboration with dozens of mathematicians worldwide.68% similarUnverifiedIn 2023, Terence Tao participated in formalizing the proof of the Polynomial Freiman-Ruzsa conjecture, and the entire process was completed within a few weeks.68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1103840API
curl https://kongchang.com/api/v1/knowledge/claims/1103840MCP
get_claim(id=1103840)