Unverified50% confidenceReleaseExact time
OpenAI published a proof of the Unique Games Conjecture, declaring the conjecture to be true.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
11/1/2026
First Seen
Valid until: 11/15/2026
Sources
AI Cracks the Unique Games Conjecture: A Turning Point for Theoretical Computer Science
youtubeLex Clips11/1/2026
Related Entities
Related Claims
UnverifiedOpenAI's proof is currently still a proof awaiting peer review, and its conclusion should be regarded as a hypothesis pending verification rather than an established fact.68% similarUnverifiedIn 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.64% similarUnverifiedThe AI puzzles format stipulates that only machine-checkable proofs count as solved; floating-point values are merely evidence, not proof.63% similarUnverifiedFormal verification provides the only objective criterion for determining the correctness of AI-generated proofs62% similarUnverifiedOpenAI released the public beta of the Decisions API, with the endpoint POST /v1/decisions, which returns only typed answers (probability, choice, or score).61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1122413API
curl https://kongchang.com/api/v1/knowledge/claims/1122413MCP
get_claim(id=1122413)