Unverified50% confidenceFactExact time
When solving the puzzle, Astra used the official hints provided by the puzzle creator, which were the same hints given to human contestants at the time
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/12/2026
First Seen
Valid until: 12/11/2026
Sources
Related Entities
Related Claims
UnverifiedAstra's main agent proposes hypotheses or theories, then dispatches sub-agents to actually verify them and observe the running results65% similarUnverifiedA tech enthusiast who had previously participated in DEF CON puzzle challenges conducted a real-world test using a new model called "Astra"63% similarUnverifiedPinpoint Answer Today features a spoiler-free design that supports revealing clues one by one, guessing before verifying, and preserving reasoning space.56% similarUnverifiedThe Astra model formalized each result as a Lean proof certificate, allowing the underlying logic to be automatically verified by machine.56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/914326API
curl https://kongchang.com/api/v1/knowledge/claims/914326MCP
get_claim(id=914326)