Unverified50% confidenceBenchmarkExact time
On benchmarks shared with published prover systems, Maestro solved 669/672 problems on PutnamBench, 59/60 on Lean-IMO-Bench, and achieved 6/6 on IMO 2026.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/20/2026
First Seen
Valid until: 11/3/2026
Sources
Related Entities
Related Claims
UnverifiedAmong the 603 contestants at the 2025 IMO, only 6 achieved a perfect score on Problem 6.62% similarUnverifiedThe intelligent routing solution passes 9/12 (75%) tasks and Opus passes 11/12 (92%); of the three failures, two unit test tasks and one QA task were routed to Claude Haiku 5.5, whose responses exceeded the 8,000-token limit.60% similarUnverifiedAfter 6.1 days the live scoreboard: audit +4259, analysis +2300, scouting +1459, closing +775, building +619, marketing +521, total +9933.59% similarUnverifiedThe Mersenne Twister algorithm uses a state array of 624 32-bit integers (approximately 2.5 KB of memory) and employs a four-step tempering operation: right-shift by 11 bits, left-shift by 7 bits with a mask, left-shift by 15 bits with a mask, and right-shift by 18 bits.58% similarUnverifiedThe method achieves an SSIM of 0.816 ± 0.112 on the BraTS 2026 Inpainting Challenge validation set.58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1073841API
curl https://kongchang.com/api/v1/knowledge/claims/1073841MCP
get_claim(id=1073841)