Skeptical community analysis of OpenAI CDC claim. Artifacts public but no expert verification or proof-assistant formalization. r/mathematics demands Lean code; three-page length suspicious for 50-year conjecture with history of flawed proofs.
64-subagent orchestration noted as engineering story regardless of proof acceptance. Distinguishes company-published PDF from validated mathematical result.