{"type":"analysis","id":"analysis:research-of-three-ai-proof-claims-only-the-qcd-proof-is-unreleased-eth-and-cfsg-await","slug":"research-of-three-ai-proof-claims-only-the-qcd-proof-is-unreleased-eth-and-cfsg-await","title":"Of three AI proof claims, only the QCD proof is unreleased; ETH and CFSG await human review","description":"OpenAI's QCD existence proof is held by a Gross-led committee, the ETH refutations and Axiom's CFSG formalization are public and Lean-checked, and no independent expert has finished verifying any of them.","published_at":"2026-11-09T20:00:00.000Z","updated_at":"2026-11-09T20:00:00.000Z","record_date":"2026-11-09","topics":["openai","anthropic","research"],"source_urls":["https://openai.com/index/building-scientific-understanding-with-academic-communities/","https://www.kitp.ucsb.edu/sites/default/files/YM_working_group.pdf","https://www.science.org/content/article/ai-cracks-27-year-old-pillar-computer-science-openai-and-anthropic-claim","https://raw.githubusercontent.com/anthropics/formal-math/main/eth/README.md","https://blog.computationalcomplexity.org/2026/10/the-exponential-time-refutation.html","https://axiommath.ai/research/the-enormous-theorem-formalized/","https://raw.githubusercontent.com/AxiomMath/CFSG/main/README.md"],"language":"en","routes":{"html":"https://newruntime.com/analysis/research-of-three-ai-proof-claims-only-the-qcd-proof-is-unreleased-eth-and-cfsg-await/","markdown":"https://newruntime.com/analysis/research-of-three-ai-proof-claims-only-the-qcd-proof-is-unreleased-eth-and-cfsg-await.md","json":"https://newruntime.com/analysis/research-of-three-ai-proof-claims-only-the-qcd-proof-is-unreleased-eth-and-cfsg-await.json"},"author":{"role":"author","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"editorial_provenance":{"desk":"authorial","target_ref":"deep_research:759aefd3-2b47-4065-86e5-6549ee134e66","authorial_article_id":"759aefd3-2b47-4065-86e5-6549ee134e66"},"next_reads":[{"type":"topic","path":"/topics/anthropic/","url":"https://newruntime.com/topics/anthropic/","title":"Anthropic","reason":"Explore the anthropic topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/anthropic.md","json_url":"https://newruntime.com/topics/anthropic.json"},{"type":"collection","path":"/analysis/","url":"https://newruntime.com/analysis/","title":"Analysis","reason":"Open the latest authorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/analysis.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}