Unverified50% confidenceEventExact time
In the first public test of AI puzzles, when asked about an open-level puzzle, Grok claimed to have given a proof, but it was actually only a numerical estimate, and it subsequently retracted that claim.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/25/2026
First Seen
Valid until: 11/8/2026
Sources
Related Entities
Related Claims
UnverifiedThe AI puzzles format stipulates that only machine-checkable proofs count as solved; floating-point values are merely evidence, not proof.78% similarUnverifiedThe work uses "tensor puzzles" as test cases to verify the correctness of the Jax-Lean translator.69% similarUnverifiedIn testing, the extended reasoning agent correctly identified a layered coin-mixing pattern that the junior analyst had initially missed.69% similarUnverifiedIn the AI puzzles format, lower-level puzzles already have exact answers and the answers can be automatically verified by program, so they can be used to train and check model output, and variations of the questions are easy to generate to prevent memorizing the answers.68% similarUnverifiedThe test was a proof of concept, not a complete benchmark of Adapt-1's general capabilities.68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1097062API
curl https://kongchang.com/api/v1/knowledge/claims/1097062MCP
get_claim(id=1097062)