Unverified60% confidenceEventExact time
In 2023, Terence Tao participated in formalizing the proof of the Polynomial Freiman-Ruzsa conjecture, and the entire process was completed within a few weeks.
2
Sources
60%
Confidence
Medium-term (~90 days)
Relevance
9/10/2026
First Seen
Valid until: 12/9/2026
Sources
Related Entities
Related Claims
VerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture75% similarUnverified2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明74% similarUnverifiedThe mathematics community spent years holding seminars and writing detailed papers before finally confirming the correctness of Perelman's proof of the Poincaré conjecture.68% similarUnverifiedPerelman 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.67% 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.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/886999API
curl https://kongchang.com/api/v1/knowledge/claims/886999MCP
get_claim(id=886999)