The day's tech, sifted: Jul 11, 2026

What matters today: Apple sued OpenAI, alleging trade secret theft "at every level" of the company, from rank-and-file hires up to chief hardware officer Tang Tan, a 24-year Apple veteran accused of directing job candidates to bring actual Apple parts to interviews and coaching departing staff on evading security procedures; Apple's filing also names ex-Apple engineer Chang Liu and Jony Ive's startup io Products, and claims 400+ former Apple employees now work at OpenAI. OpenAI had a rougher day elsewhere too: its head of safety, Johannes Heidecke, is leaving as the safety team folds into research under newly promoted VP Mia Glaese, and a claimed proof of the long-unsolved Cycle Double Cover Conjecture from GPT-5.6 Sol Ultra drew immediate caution, OpenAI itself says it needs weeks of independent stress-testing before anyone should trust it. Elsewhere, three unrelated physics and space stories landed the same day: a Chinese rocket booster's first sea-based net recovery, Google's Willow chip learning to recalibrate itself mid-computation, and the most precise test yet of Einstein's frame-dragging prediction.

AI / LLMs

• OpenAI made its AI biosafety bug bounty a permanent program and doubled the top reward to $50,000, covering GPT-5.6 going forward; separately, Artificial Analysis's independent AA-Briefcase benchmark gave GPT-5.6 Sol the best presentation score of any model tested, citing roughly 1.6x better token efficiency and about half the cost of rivals on the same tasks.
• OpenAI published a PDF claiming GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture using 64 subagents in under an hour, a graph theory problem open since the 1970s; the result is not yet peer-reviewed, OpenAI itself frames it as needing weeks of mathematician scrutiny, and the conjecture has a history of claimed-then-retracted proofs on arXiv since 2015.
• OpenAI's safety team is being folded into research: head of safety Johannes Heidecke is leaving as Mia Glaese becomes VP of research and safety and Saachi Jain takes over as interim head of safety systems, the latest OpenAI leadership move after product chief Fidji Simo's exit this week.
• China Mobile released JT-4.1 Flash, a 236B-parameter model priced at zero dollars per million tokens via API, positioned against DeepSeek on cost even though, unlike DeepSeek's MIT-licensed weights, JT-4.1 Flash's weights stay proprietary.
• Perplexity's Agent API added Grok 4.5 as a selectable model, priced at roughly half GPT-5.5's per-task cost on coding benchmarks.
• Meta's FlashNormAttention fuses RMSNorm into the attention and feed-forward kernels of a transformer block to cut memory-bandwidth and kernel-launch overhead from normalization; separately, Upstage's Solar 31B hit 2,000 tokens per second on Cerebras' wafer-scale inference hardware, part of a push to bring fast local inference to South Korea.

Devtools & Infra

• Cursor 3.11 added "side chats", durable parallel agent conversations that inherit context from the main chat and can be pulled back in with an @-mention, without pausing the primary run.

Security & Privacy

• A CISA contractor exposed roughly 844MB of internal CISA/DHS data on a personal GitHub repo for about six months, including AWS GovCloud admin credentials, plaintext passwords, SAML signing certificates, and SSH keys, after disabling GitHub's default secret-scanning protection; CISA says it learned of the exposure only when a journalist asked for comment.

Startups & Industry

• Apple sued OpenAI over alleged systemic trade secret theft, naming chief hardware officer Tang Tan and engineer Chang Liu, who Apple says kept a company laptop after leaving and used a cloud storage bug to download dozens of confidential hardware files; OpenAI responded that it has "no interest in other companies' trade secrets."
• Meta discontinued the Instagram Muse feature that let any user generate AI images of public accounts without consent, days after its Tuesday launch drew backlash from talent agencies and union officials; Meta says the feature "missed the mark."
• SK Hynix's CEO warned 2027 will be the memory industry's worst-ever supply year, with customer demand outstripping the company's production capacity beyond 2030, two days after its record foreign IPO debut on Nasdaq.
• New York City announced a "Click to Cancel" rule requiring subscription cancellation to be as easy as signup, taking effect October 1 with penalties starting at $525 per violation and an estimated $162.5 million in annual consumer savings.

Research

• China recovered a Long March-10B first-stage booster at sea using a net, not a powered vertical landing, the first net-based rocket recovery; the reusable configuration carries up to 16,000kg to low Earth orbit versus Falcon 9's 22,800kg.
• Google trained a reinforcement-learning agent to continuously recalibrate its Willow quantum processor mid-computation, repurposing error-detection events as a live training signal instead of pausing for periodic recalibration.
• The LARES satellite, a 362kg tungsten sphere covered in laser reflectors, delivered the most precise measurement yet of frame-dragging, confirming Einstein's prediction that Earth's rotation drags spacetime with it.

Hacker News

Three stories already covered above were also topping Hacker News today: Apple's suit against OpenAI (discussion), New York's new click-to-cancel subscription rules (discussion), and the disputed GPT-5.6 Cycle Double Cover proof, which pulled 306 comments on top of the skepticism already noted there (discussion).

Elsewhere on the front page, a CASP report on how Boko Haram is using frontier AI for propaganda and logistics drew a heavier than usual 163 comments, and SpaceX's plan to launch 100,000 more Starlink satellites for a 100x bandwidth jump pulled 360 comments (discussion) arguing over orbital congestion and cost. Developers dug into an LWN update on residential proxies and the arms race against scrapers, while a Google forum thread pleading to keep Gemini 2.5 Flash alive became a rallying point against API deprecation churn. A widely shared essay on why successful companies go blind to their own weaknesses rounded things out, alongside a lighter cluster of front-page favorites spanning a Terminator 2 oral history, snail teeth outclassing spider silk, and a love letter to flashcards.

Threads

• OpenAI's own claims kept meeting scrutiny the same day it went on the offensive against Apple: the Cycle Double Cover Conjecture proof needs independent verification, and Perplexity's "swap" to Grok 4.5 turned out on inspection to be an added option, not a clean replacement, extending yesterday's pattern of frontier claims landing softer under independent testing.
• OpenAI's leadership kept turning over: Johannes Heidecke's exit and the safety-into-research reorg lands three days after product chief Fidji Simo's own departure, while Apple's lawsuit alleges the company built its hardware team partly on poached Apple talent.
• Consumer-facing platforms kept correcting themselves under pressure: Meta pulled its Instagram deepfake feature days after backlash, the same week NYC mandated one-click subscription cancellation and the EU found Instagram's design itself addictive.
• The memory and compute crunch kept surfacing from every angle: SK Hynix's shortage warning followed its own record IPO by two days, while Upstage and China Mobile both raced to cut inference costs and China's net-recovery rocket chased down launch costs the same way SpaceX has for a decade.