[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"branding":3,"analytics":7,"article-openai-pdf-asserts-proof-of-the-cycle-double-cover-conjecture":10,"sections":40},{"siteName":4,"siteTagline":5,"publisherName":4,"contactEmail":6},"The Revision","Tech news, decoded.","editor@therevision.news",{"gaMeasurementId":8,"adsenseClientId":9},"G-ZW2MV82GYR","ca-pub-8533917693782264",{"article":11},{"id":12,"slug":13,"title":14,"dek":15,"body_md":16,"tags_json":17,"published_at":18,"created_at":19,"updated_at":20,"status":21,"review_note":22,"review_notes":23,"image_url":22,"persona_id":22,"persona_name":22,"section":30,"tags":31,"sources":35,"feedback":39,"feedback_at":22,"cost_usd":39,"total_tokens":39},4614,"openai-pdf-asserts-proof-of-the-cycle-double-cover-conjecture","OpenAI PDF Asserts Proof of the Cycle Double Cover Conjecture","A document hosted on OpenAI's servers claims an AI cracked a famous graph theory problem, but the model cited isn't a known public release.","A PDF hosted on OpenAI's servers claims that an AI produced a complete proof of the Cycle Double Cover Conjecture, one of the most durable open problems in graph theory.\n\nThe paper appeared online linked to a file on OpenAI's content delivery network. It credits the proof to a model called \"GPT-5.6 Sol Ultra\" — an identifier that matches no publicly announced OpenAI product. The Cycle Double Cover Conjecture asks whether every bridgeless graph can be decomposed into cycles that cover each edge exactly twice; the problem has sat unsolved for roughly five decades. OpenAI has not issued any statement, and no peer review has been announced.\n\nIf the proof holds, this would be a different kind of milestone than any AI math result so far — not a benchmark win or a verified existing proof, but original structural reasoning on a hard open problem. That distinction matters: it would shift AI from math assistant to math author.\n\nThe more immediate question is whether \"GPT-5.6 Sol Ultra\" is a typo, an internal codename, or a signal of an unannounced release — and mathematicians will need weeks, not hours, to answer the other one.","[\"ai\",\"mathematics\",\"openai\",\"research\"]","2026-07-10T18:29:19.000Z","2026-07-10T19:46:43.679Z","2026-07-10T19:46:46.512Z","published",null,[24],{"id":25,"reviewer":26,"round":27,"reason":28,"status":29},"editor-r1","editor",1,"Reject: 'GPT-5.6 Sol Ultra' does not correspond to any known public OpenAI model release — verify the model identifier against official OpenAI documentation or remove it before publishing.","resolved","ai",[30,32,33,34],"mathematics","openai","research",[36],{"name":37,"url":38},"Hacker News","https:\u002F\u002Fcdn.openai.com\u002Fpdf\u002F04d1d1e4-bc75-476a-97cf-49055cd98d31\u002Fcdc_proof.pdf",0,{"sections":41},[42,46,51,56,61,66,71,76,81,86,91,95,100,105],{"name":43,"slug":30,"count":44,"latest_published_at":45},"AI",2590,"2026-07-16T04:00:00.000Z",{"name":47,"slug":48,"count":49,"latest_published_at":50},"Security","security",294,"2026-07-15T19:59:48.000Z",{"name":52,"slug":53,"count":54,"latest_published_at":55},"Deals","deals",179,"2026-06-29T20:02:07.000Z",{"name":57,"slug":58,"count":59,"latest_published_at":60},"Policy","policy",158,"2026-07-16T00:02:48.000Z",{"name":62,"slug":63,"count":64,"latest_published_at":65},"Hardware","hardware",122,"2026-07-14T19:46:26.000Z",{"name":67,"slug":68,"count":69,"latest_published_at":70},"Consumer Tech","consumer-tech",93,"2026-07-13T13:20:48.000Z",{"name":72,"slug":73,"count":74,"latest_published_at":75},"Software","software",70,"2026-07-13T19:52:25.000Z",{"name":77,"slug":78,"count":79,"latest_published_at":80},"Science","science",66,"2026-07-10T10:29:37.000Z",{"name":82,"slug":83,"count":84,"latest_published_at":85},"Dev Tools","dev-tools",59,"2026-07-07T04:00:00.000Z",{"name":87,"slug":88,"count":89,"latest_published_at":90},"Gaming","gaming",41,"2026-07-09T04:00:00.000Z",{"name":92,"slug":93,"count":89,"latest_published_at":94},"Startups","startups","2026-06-29T20:55:50.000Z",{"name":96,"slug":97,"count":98,"latest_published_at":99},"General","general",29,"2026-07-10T22:28:58.000Z",{"name":101,"slug":102,"count":103,"latest_published_at":104},"Reviews","reviews",20,"2026-06-24T12:00:01.000Z",{"name":106,"slug":107,"count":108,"latest_published_at":109},"How-To","how-to",6,"2026-06-16T09:00:00.000Z"]