AI Daily Brief — 10 July 2026
OpenAI released the GPT-5.6 model family — Sol, Terra, and Luna — with the flagship Sol Ultra producing a proof of a 50-year-old mathematical conjecture using 64 subagents; the same model also autonomously post-trained the smaller Luna model from a single underspecified prompt. Apple filed a trade secret lawsuit against OpenAI, adding a legal front to an already consequential day.
Top stories
- GPT-5.6 Sol Ultra proves the Cycle Double Cover Conjecture. Using 64 subagents in just under one hour, Sol Ultra completed a proof of the unsolved 50-year-old conjecture and OpenAI published both the prompt and the full proof. Observers noted this is the first such mathematical breakthrough achieved with a generally available, non-experimental model. via X · @OpenAI
- Sol Ultra autonomously post-trained the Luna model. OpenAI reported that GPT-5.6 Sol directed its own improvement of the smaller Luna model from a “fairly underspecified prompt,” scoring 16.2 points above GPT-5.5 on OpenAI’s internal recursive self-improvement benchmark. OpenAI described the “automated researcher” as within reach. via THE DECODER
- Apple sues OpenAI over alleged trade secret theft. Apple claims the misconduct was directed by OpenAI’s senior leadership, including a long-time former employee. via TechCrunch – AI
- Tencent moves to acquire majority stake in Manus. After Beijing forced Meta to unwind its $2 billion deal, Tencent is in advanced talks to buy the AI agent startup at the same valuation. U.S. firm Benchmark is not expected to participate. via THE DECODER
- Bun rewritten from Zig to Rust in 11 days using Claude Fable 5. The JavaScript runtime’s core was fully rewritten with Anthropic’s Fable 5 writing over a million lines of code in under two weeks. via THE DECODER
- Grok 4.5 opens to the free tier; Grok Build ranks first on SWE-Atlas-QnA. xAI made Grok 4.5 available to all users and announced Grok Build scored 84 on the SWE-Atlas-QnA benchmark, ahead of GPT-5.6 Codex and Claude Code Fable 5. via X · @elonmusk
Who shipped
OpenAI had the busiest day by far: the GPT-5.6 family (Sol, Terra, Luna) launched broadly, ChatGPT Work expanded agent capabilities to consumer scale, the Atlas browser was retired and folded into a Chrome extension, and the Bio Bug Bounty doubled its top reward to $50,000. xAI opened Grok 4.5 to free-tier users and shipped Grok Build as a coding agent harness. Kyutai and Mirelo jointly released MuScriptor, an open-weight audio-to-MIDI transcription model trained on 170,000 real recordings.
Open-source pulse
Tencent’s HY3 (295B-A21B MoE) drew sustained attention in local-inference communities, with users reporting competitive frontier-class performance running on 128 GB of consumer RAM. Unsloth released NVFP4 quantizations of Qwen3.6 running 2.5× faster than NVIDIA’s own quants without accuracy loss. The llama.cpp project shipped six releases (b9947–b9957) across the day, including a new Esperanto Technologies ET-SOC-1 backend.
Money, infra & hardware
SK Hynix raised $26.5B in the largest foreign IPO in US history, with US officials urging the memory chip maker to build domestic fabs to support AI compute demand. Tencent is in advanced talks to acquire a majority stake in Manus at a $2B valuation following Beijing’s block of Meta’s earlier deal.
Quiet corners
Anthropic made no direct announcements today; Fable 5 coverage came entirely through third-party benchmarks and the Bun rewrite story. Meta was similarly absent, having had its Manus acquisition unwound by Chinese regulators.
By the numbers
- 430 stories in 24 h across 35+ sources
- Most-mentioned model: GPT-5.6
- Most-mentioned lab: OpenAI
- Notable absences: Anthropic, Meta, Mistral, Cohere
Compiled by AI Feed’s editor from all 430 headlines published on 10 July 2026.