AI Morning Brief — 11 July 2026
GPT-5.6 Sol Ultra produced a machine-verified proof of the Cycle Double Cover Conjecture — a 50-year-old unsolved problem in graph theory — using 64 parallel subagents overnight, while Apple filed a lawsuit alleging former employees now at OpenAI stole proprietary hardware trade secrets.
Top stories
- GPT-5.6 Sol Ultra proves 50-year conjecture. OpenAI announced that Sol Ultra generated a proof of the Cycle Double Cover Conjecture in under one hour using 64 subagents. The prompt and proof have been posted publicly. via OpenAI (proof PDF)
- Sol autonomously post-trained the Luna model. OpenAI reported that GPT-5.6 Sol fine-tuned the smaller Luna model from a single, “fairly underspecified prompt.” Sol scores 16.2 points above GPT-5.5 on OpenAI’s internal RSI benchmark, and the company says an “automated researcher” is within reach. via THE DECODER
- Apple sues OpenAI for trade secret theft. Apple alleged a “pattern of theft” by former employees now at OpenAI, naming IO Products — linked to OpenAI’s senior leadership — in its complaint. via The Verge – AI / via TechCrunch – AI
- Grok 4.5 available to free-tier users via Grok Build. xAI opened Grok 4.5 to all free users through the Grok Build CLI and reported it ranked first on the SWE-Atlas-QnA benchmark at a score of 84, ahead of Claude Code Fable 5 and GPT-5.6 Codex. Perplexity added it as an orchestrator model at roughly half the cost of Opus 4.8. via X · @elonmusk
- Meta reverses Instagram AI image generation feature. Meta removed a feature launched this week that allowed any user to generate AI images using public Instagram account content by tagging it — without the account holder’s consent — following significant backlash. via The Verge – AI / via TechCrunch – AI
- GPT-Live rolls out globally; GPT-5.6 lands in Microsoft 365. OpenAI confirmed GPT-Live reached all ChatGPT users worldwide, with voice usage limits doubled for the weekend. GPT-5.6 is now the preferred model in Microsoft 365 Copilot. via X · @OpenAI
Who shipped
OpenAI dominated the cycle across multiple fronts: the GPT-5.6 family (Sol, Terra, Luna) continued generating analysis, GPT-Live reached full global rollout, ChatGPT Work and Codex shipped, and the company doubled its Bio Bug Bounty reward to $50K. xAI opened Grok 4.5 to free users through Grok Build and reported leads on multiple coding benchmarks. Kyutai and Mirelo released MuScriptor, an open-weight decoder-only model that transcribes full multi-instrument audio mixes to separate MIDI tracks per instrument.
Open-source pulse
Tencent’s HY3 (295B MoE) attracted sustained local LLM community interest, with reports of frontier-class performance on 128 GB hardware at significantly smaller active-parameter count than comparable models. Unsloth released 2.5× faster NVFP4 quants for Qwen3.6 27B using W4A4 with no reported accuracy loss. Kyutai MuScriptor, trained on 170K real recordings and 1.45M synthetic MIDIs, is available as an open-weight checkpoint.
Money, infra & hardware
SK Hynix raised $26.5B in what was described as the largest foreign IPO in US history, with calls from Washington to build domestic fabrication plants. Tencent moved to acquire a majority stake in AI agent startup Manus at a $2B valuation after Beijing forced Meta to unwind its own acquisition of the company earlier this year.
Quiet corners
Anthropic, Google DeepMind, and Mistral were each absent from new announcements during the overnight window — a notable gap given the pace set by OpenAI and xAI.
By the numbers
- 311 stories in 24 h across 15+ sources
- Most-mentioned model: GPT-5.6
- Most-mentioned lab: OpenAI
- Notable absences: Anthropic, Google DeepMind, Mistral
Compiled by AI Feed’s editor from all 311 headlines published on 11 July 2026.