AI system generates proof for long‑standing Cycle Double Cover conjecture

Researchers released a PDF detailing a proof produced by an advanced AI system. The proof tackles the Cycle Double Cover conjecture, a problem in graph theory. The conjecture has resisted proof for decades despite many attempts. The AI system generated the proof without human derivation. The result was posted on a public repository for peer review. Experts are examining the validity of the proof and its methodology. If confirmed, the proof would resolve a notable open question in mathematics. The development highlights the growing role of AI in mathematical research.