The Omniscient Bulletin · 2026-07-13
The Omniscient Bulletin — July 13, 2026
Apple took OpenAI to court, Washington opened the chip taps to the Gulf, and a model claimed a 47-year-old proof
This was the weekend the AI business stopped arguing in public and started arguing in court. Apple sued OpenAI over the secrets inside its unbuilt devices, naming Jony Ive's startup and OpenAI's own hardware chief. Washington redrew the export map so AI chips can reach the Gulf without a license, the Financial Times caught OpenAI and Google selling to blacklisted Chinese firms through Singapore, and Beijing pried an agent startup back out of Meta's hands. OpenAI's safety chief walked. SK Hynix popped on its first day and its boss said the memory crunch is only getting worse. And a model claims it proved something nobody has cracked since 1979.
Industry
Apple sues OpenAI and says its hardware business is rotten to its core
Apple sued OpenAI on Friday in Northern California federal court, naming Jony Ive's io Products and two ex-Apple engineers. It alleges trade secret theft, saying the scheme ran "at every level, from members of its Technical Staff to its Chief Hardware Officer." That officer is Tang Tan, a 24-year Apple veteran. Apple says he had job candidates bring Apple parts to interviews, and that engineer Chang Liu kept a company laptop and used a bug to reach internal storage: "LOL, I found out I can access the [network storage], so funny." OpenAI: "We have no interest in other companies' trade secrets."
Frontier
OpenAI says GPT-5.6 proved a 47-year-old math conjecture on its own
OpenAI published a paper Friday titled "A Proof of the Cycle Double Cover Conjecture," saying the proof "is entirely due to GPT 5.6 Sol Ultra." First posed independently by George Szekeres in 1973 and Paul Seymour in 1979, it holds every bridgeless graph has cycles covering each edge exactly twice. The model found it in under an hour with 64 subagents, but no mathematician has verified it and there is no proof-assistant check. Thomas Bloom called it elementary enough for the 1980s but also "a very nice proof." Novelty, not correctness, is the open question.
Policy
Washington opens the AI chip taps to the UAE
The Commerce Department moved the United Arab Emirates out of the export-control groups that restrict advanced technology and into the tier for close partners, so AI chips and servers can ship there without a license. Commerce cited the UAE's status as a major defense partner and the AI cooperation framework the two signed in May 2025, contingent on Emirati investment in American AI infrastructure. Military items and satellites are covered too. It is the year's largest loosening of AI chip export policy, and it lands while Washington argues the same controls are too loose elsewhere.
Industry
OpenAI's head of safety leaves as safety is folded into the research org
Johannes Heidecke, who joined OpenAI in 2021 and ran safety systems, told colleagues he is leaving, Wired reported Friday. Neither he nor the company gave a reason. His teams now report to Mia Glaese, VP of research and safety; Saachi Jain is interim head of safety systems. Research chief Mark Chen said in a statement that safety work must be "integrated with frontier-model development, with an earlier and more direct role in shaping key model, product and launch decisions." It is OpenAI's third exit in a week, after Fidji Simo and futurist Joshua Achiam, and it puts safety inside the org that ships.
Compute
SK Hynix jumps 13 percent on Nasdaq, then its chief says the worst is ahead
SK Hynix's American shares opened at 170 dollars on Friday and closed at 168.01, about 13 percent above the 149 they were priced at, capping the largest US listing a foreign company has ever done at 26.5 billion dollars. Then, on debut day, chief executive Kwak Noh-jung told Reuters that 2027 will be the worst year in the industry's history from a supply standpoint, and that customers will want more memory than his company can make even beyond 2030. The supplier with the most to gain from talking scarcity down did the opposite, and put a floor under the price of every AI server for years.
Policy
OpenAI and Google sold AI to blacklisted Chinese firms, by way of Singapore
Both companies confirmed to the Financial Times that they supply advanced AI services to the Singapore subsidiaries of Alibaba, Baidu and Tencent, whose parents sit on the Pentagon's list of firms with alleged Chinese military ties. It is legal: US rules restrict chips tightly but say little about AI services reached from outside mainland China. OpenAI said it blocks mainland access and cut off Alibaba-linked API users last month over suspected distillation, reporting it to the government. Google conceded geography alone cannot stop a determined user. Anthropic bars such firms outright.
Agents
Beijing pries Manus back out of Meta's hands, and Tencent is the buyer
Tencent is leading a group to take the largest stake in Manus, the agent startup Meta bought in December for more than 2 billion dollars, the Financial Times reported Friday, with Reuters and Bloomberg matching. Chinese regulators ordered that deal unwound in April on national security grounds, and the buyers, who include original backers ZhenFund and HSG, would pay roughly what Meta paid. Nobody involved would comment. The signal is the point: Beijing will reverse a closed, paid-for purchase of a Chinese-founded AI company by an American one, which reprices the exit for every startup like it.