OpenAI's GPT-5.6 Sol Ultra has produced a proof for the decades-old mathematical 'Cycle Double Cover Conjecture.' This highlights…

…the growing capability of AI models to tackle complex scientific problems but also raises questions about verifying such AI-generated proofs.

AI-generated: summaries written by AI from the linked sources. How we use AI