proofs

GPT-5.6 Claims to Solve a 50-Year-Old Math Problem

OpenAI presented a proof for the 50-year-old Cycle Double Cover Conjecture. However, the validity of this proof has not yet been verified.