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.
Entities
Related
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.
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.
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.
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.
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.
