AI‑written proofs force verification overhaul

An AI (here, OpenAI) produced a candidate proof for a deep complexity problem (the Unique Games Conjecture). Experts are now needed to check soundness, formalize the arguments, and decide authorship and publication norms — exposing gaps in current peer review, formal verification tooling, and academic credit systems. — If AI can generate high‑level, novel mathematical proofs, science and publishing will need new verification standards, formalization pipelines, and rules for attribution and liability.