llm-kb
← Back to research
Breakthroughfeatured

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

On July 10, 2026, a user on X (__eknight__) shared a PDF hosted on OpenAI's CDN containing a prompt that led GPT-5.6 Sol Ultra to produce a proof of the Cycle Double Cover Conjecture, a long-standing open problem in graph theory. The post on Hacker News garnered 755 points, indicating significant community interest. The prompt and resulting proof are available via OpenAI's CDN link.

755 engagement·1 source·Fri, Jul 10, 2026, 06:29 PM
The post on Hacker News links to an X post by __eknight__ (also mirrored on xcancel.com) that includes a prompt hosted at cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... The prompt was used with GPT-5.6 Sol Ultra, which then generated a proof of the Cycle Double Cover Conjecture. The conjecture, proposed by W.T. Tutte in 1971, states that every bridgeless graph has a collection of cycles covering each edge exactly twice. This marks a notable achievement in AI-assisted mathematical research.

Entities

Hacker News(tool)OpenAI(company)GPT-4.5(model)__eknight__(person)GPT-5.6 Sol Ultra(model)Cycle Double Cover Conjecture(concept)

Related

CommunitySun, Jul 12, 2026, 02:32 AM

Developer seeks prompt caching optimization for GitHub Copilot Agent Mode with GPT-5.6

A developer is trying to optimize prompts for GitHub Copilot Agent Mode, noting that GPT-5.6 models make prompt caching more valuable due to specific Cache Read and Write costs. They reference OpenAI's API documentation for prompt caching (1024-token prefix, 128-token increments, identical prefix matching, short-lived in-memory caches, optional 24-hour extended caches) but cannot find whether GitHub Copilot exposes the same behavior or has its own orchestration layer.

4 engagement·1 source·reddit
Tool ReleaseFri, Jul 10, 2026, 01:05 AM

OpenAI launches ChatGPT Work with confusing cloud-local split

OpenAI released ChatGPT Work, a new tier that runs conversations in the cloud on web and mobile, while the desktop app can also access local files and apps. At launch, cloud Work conversations are not visible in the desktop Work interface, and desktop threads remain local. The rollout aims to offer a more integrated productivity experience but has drawn criticism for its confusing cross-platform behavior.

0 engagement·1 source·rss
RSS
Agent ReleaseThu, Jul 9, 2026, 10:00 AM

OpenAI launches ChatGPT Work agent with Codex for multi-hour autonomous tasks

OpenAI announced ChatGPT Work, a new agent that can operate across apps and files, stay with complex projects for hours, and produce finished materials like sheets, slides, docs, and web apps. It incorporates Codex technology to move beyond answering questions to autonomous task completion.

0 engagement·1 source·rss
RSS
ProductSat, Jul 11, 2026, 09:00 PM

Lightweight AI image and video generator with API key setup

A minimal web-based tool that lets users generate AI images and videos by connecting their own API key and endpoint URL. It serves as a lightweight alternative to heavier tools like ComfyUI, targeting developers and hobbyists who want quick generation without complex setup.

2 engagement·1 source·reddit
ProductSat, Jul 11, 2026, 05:04 AM

Generative media catalog with social interactions, search, and recommendations

Gal is an open-source generative media catalog that lets users browse, search, and interact with AI-generated videos and images. It uses LLMs (via Codex GPT-5.6) to build the full-stack application, including social features like likes and comments, personalized recommendations, and a search interface. The project aims to provide a YouTube-like experience for generative content.

1 engagement·1 source·hackernews