Unverified50% confidenceFactExact time
To support the main proof, this work also proved more than 29,000 subsidiary theorems.
1
Sources
50%
Confidence
Long-term
Relevance
9/13/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedLogic Theorist successfully proved 38 theorems from Principia Mathematica.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.61% similarUnverifiedAnthropic announced that dozens of Claude agents, with the help of the Proof-2 platform, completed the first end-to-end machine-verifiable proof of Fermat's Last Theorem in 11 days.57% similarUnverified工作量证明（Proof of Work）概念最早在1997年由密码学家Adam Back提出的Hashcash中得到系统应用57% similarUnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196956% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/919125API
curl https://kongchang.com/api/v1/knowledge/claims/919125MCP
get_claim(id=919125)