Unverified50% confidenceEventExact time
The modularity theorem was completely proved by Breuil, Conrad, Diamond, and Taylor in 2001
1
Sources
50%
Confidence
Long-term
Relevance
9/7/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedCAP定理由加州大学伯克利分校教授埃里克·布鲁尔于2000年提出，并由吉尔伯特与林奇在2002年给出形式化证明71% similarUnverifiedThe CAP theorem was proposed by Eric Brewer in 2000 and formally proved by Gilbert and Lynch in 2002, stating that only two of the three properties—consistency, availability, and partition tolerance—can be guaranteed simultaneously.64% similarUnverifiedRobertson、Seymour、Sanders、Thomas在1997年给出了四色定理的第二个计算机辅助证明63% similarUnverifiedSylvester (1814–1897) co-founded matrix theory and invariant theory together with Arthur Cayley.63% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/870177API
curl https://kongchang.com/api/v1/knowledge/claims/870177MCP
get_claim(id=870177)