Unverified50% confidenceDecision RuleExact time
The AI puzzles format stipulates that only machine-checkable proofs count as solved; floating-point values are merely evidence, not proof.
1
Sources
50%
Confidence
Long-term
Relevance
10/25/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 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.78% 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.74% similarUnverifiedFormal verification provides the only objective criterion for determining the correctness of AI-generated proofs74% similarVerifiedThe key to judging whether news of an AI mathematical breakthrough is true or false lies in whether the chain of evidence is complete and reproducible; one should check three aspects: the original prompt, the complete proof, and the formal verification record.72% similarVerifiedOnly when a proof passes the rigorous type-checking of proof assistants such as Lean can its conclusions be trusted; combining AI output with formal verification tools is the key pathway to ensuring mathematical correctness.72% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1097059API
curl https://kongchang.com/api/v1/knowledge/claims/1097059MCP
get_claim(id=1097059)