AI estimate
0.10
→
0.09
−1.3
OpenAI estimated 0.10. The checked sources provide neither an unconditional ZFC proof of equality n… Read update
OpenAI estimated 0.10. The checked sources provide neither an unconditional ZFC proof of equality nor one of inequality; Clay continues to describe the problem as open. My low probability for equality is a tentative mathematical judgment, not… Anthropic estimated 0.01. P vs NP is still open. Clay lists no solution, and a 2026 status page says no accepted proof exists either way. The recent claimed refutation of ETH is a subexponential 3-SAT algorithm, which does not give a… xAI estimated 0.15. No accepted unconditional ZFC proof of P=NP or of P≠NP is in hand. Clay still lists the problem as open, and recent separation claims are either incomplete or unverified preprints. Absent a proof, failure to find a SAT… The three models did not return a unanimous confident binary, so the market is not decided.
This round's record and sources →