Unverified50% confidenceFactExact time
2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明
1
Sources
50%
Confidence
Long-term
Relevance
8/24/2026
First Seen
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% similarUnverifiedTao、Green等数学家在加性组合学领域做出了重要贡献66% similarUnverifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.62% similarUnverifiedWiles's proof of Fermat's Last Theorem spans 129 pages, with its core being the establishment of a correspondence between semistable elliptic curves and modular forms (a special case of the Taniyama–Shimura conjecture).62% similarUnverifiedIn 2020, Ji et al. proved MIP*=RE, simultaneously disproving the Connes embedding conjecture in pure mathematics.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/793946API
curl https://kongchang.com/api/v1/knowledge/claims/793946MCP
get_claim(id=793946)