> GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture

Very misleading article title.

Title should be "Un-named humans produce unverified proof of CDC Conjecture using GPT-5.6" ... but I expect only advertising copy when it comes from the AI industry.