AI & design news, merged daily.
AI & design briefing for Monday, July 13, 2026
Loading today's digest…
No digest available yet today. Check back soon.
Merging & deduplicating today’s sources…
tldr
- Apple sued OpenAI over alleged hardware trade-secret theft, GPT-5.6 Sol Ultra proved a 50-year-old math conjecture with 64 parallel subagents, and OpenAI's safety head departed.
- Model routing emerges as critical middleware, DeepSeek and Meta both push custom AI chips, and Thinking Machines Lab argues for human-centered AI over full autonomy.
- Cursor ships side chats, Grok 4.5 launches at $2/$6 per million tokens, and ByteDance's Seedream 5.0 Pro undercuts GPT Image 2 by ~9x on price.
Top Stories
- Apple sues OpenAI over hardware trade secrets. Apple alleges former employees Tang Tan and Chang Liu brought confidential files to OpenAI's io devices unit, with 400+ ex-Apple staff now at the lab. OpenAI says it has "no interest" in others' trade secrets. The two remain partners on Apple Intelligence. [1]
- GPT-5.6 Sol Ultra proves 50-year-old math conjecture. Using 64 parallel subagents, the model produced a proof of the Cycle Double Cover Conjecture in under one hour. OpenAI published the proof PDF and Lean formalization on GitHub; the math community is still verifying. [2]
- OpenAI's head of safety is leaving. Johannes Heidecke departs as the company further integrates safety and research teams, following chief futurist Joshua Achiam's exit last week. [3]
- SK Hynix raises $26.5B in record US listing, warns of memory shortage through 2030. The largest foreign-company US share sale ever, with demand 7x oversubscribed. CEO says 2027 will be the worst supply shortage year in memory history; SK Hynix supplies 56.4% of AI-critical HBM. [4]
- Meta suspends Muse Image on Instagram after backlash. The tag-to-remix feature auto-enrolled all public accounts into AI edits; Meta admitted it "missed the mark." [5]
Deeper Cuts
- Model routers as the missing middleware. AlphaSignal's deep dive covers heuristic routers, learned classifiers, cascades, and ensembles. OpenRouter's Fusion beat standalone GPT-5.5 on the DRACO benchmark at roughly half the token cost; open-source options like NadirClaw cut API bills by up to 70%. [6]
- DeepSeek reportedly developing inference-focused AI chip. Reuters reports DeepSeek has spent ~a year designing an inference chip and is talking to foundry partners. With ~70% of AI compute demand being inference, a lab designing both models and chips could squeeze Nvidia's China business. [7]
- Meta's Iris AI chip enters production in September. Designed with Broadcom, manufactured by TSMC. Meta plans 7GW of compute capacity in 2026, doubling to ~14GW in 2027 on $125-145B spend. Broadcom holds a $73B AI chip backlog across Google, OpenAI, Meta, and ByteDance. [8]
- Microsoft routes some Copilot prompts to internal models. GPT-5.6 became the preferred model in Microsoft 365 Copilot, but Microsoft is routing some Excel/Outlook prompts to internal models to cut inference costs. [9]
- Thinking Machines Lab argues for human-centered AI. The lab's essay rejects the autonomy-timescale progress measure, arguing users should train and own their models, doubling as the case for its Tinker product. [10]
- AI 2040 drafts humanity's "Plan A". The AI Futures Project's new five-scenario forecast recommends US and China pausing frontier training in 2029 with expanded chip tracking. Co-author Daniel Kokotajlo predicts "companies won't like it." [11]
Tools and Launches
- Cursor v3.11. Side chats (/side, /btw) for parallel conversations, searchable agent history with Cmd+F, and cloud agent hooks for self-correcting loops. [12]
- Grok 4.5. xAI and Cursor co-developed model at $2/$6 per million tokens, trained on trillions of tokens of Cursor data; claims to beat Claude Opus 4.8 on coding benchmarks. [13]
- Cognition SWE-1.7. Coding model built on Kimi K2.7, runs at 1,000 tokens/sec via Cerebras, free in Devin's standard tier. [14]
- Runway Dev. Single API serving Runway's frontier video models alongside third-party image and audio generators. [15]
- Mistral Robostral Navigate. Mistral's first robotics model for plain-language robot navigation across factories and warehouses. [16]
- GitHub Spec Kit. Spec-first workflow forcing requirements, clarification, and planning before coding agents implement. [17]
- ByteDance Seedream 5.0 Pro. Image model with layer separation, infographic generation, and 10+ language text rendering at ~$0.03/image vs ~$0.28 for GPT Image 2. [18]
- Google AI Studio custom domains. Deployed apps can claim a permanent subdomain under ai.studio instead of a random URL. [19]
- a11y.quest. 128 practice questions for WCAG 2.2, ARIA, semantic HTML, keyboard, and contrast with plain-English answers. [20]
References
- DocumentCloud: Apple v. OpenAI complaint
- GitHub: OpenAI CDC Lean formalization
- Wired: OpenAI's head of safety is leaving
- Yahoo Finance: SK Hynix jumps in US market debut
- BBC: Meta removes Muse Image Instagram feature
- OpenRouter: Fusion beats frontier models
- Yahoo Finance: DeepSeek developing own AI chip
- TechCrunch: Meta's new AI chips begin production in September
- OpenAI: GPT-5.6 preferred model in Microsoft 365 Copilot
- Thinking Machines Lab: The Future Worth Building Is Human
- AI 2040: Five scenario forecasts
- Cursor: Side chat changelog
- xAI: Grok 4.5 announcement
- Cognition: SWE-1.7 announcement
- Runway: Introducing Runway Dev
- Mistral AI: Robostral Navigate
- GitHub: Spec Kit
- ByteDance Seed: Seedream 5.0 Pro
- Google AI Studio
- a11y.quest: Accessibility practice questions
Sources: The Neuron, The Rundown AI, AlphaSignal, The Strange Review