Unverified50% confidenceBenchmarkExact time
EasyProver proved 669/672 problems on PutnamBench.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/30/2026
First Seen
Valid until: 1/28/2027
Sources
Related Entities
Related Claims
UnverifiedPutnamBench contains problems from the William Lowell Putnam Mathematical Competition and is a classic benchmark for measuring automated theorem proving capability.65% similarUnverifiedHacker's Delight, authored by Henry S. Warren Jr., is a classic reference in the field of bit manipulation and integer arithmetic optimization.50% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1114736API
curl https://kongchang.com/api/v1/knowledge/claims/1114736MCP
get_claim(id=1114736)