Saturday 11 July 2026
GPT-5.6 Sol produces a formal proof of a long-standing graph theory conjecture, Spain’s deadly wildfires claim at least 12 lives, and the EU formally accuses Meta of breaching the Digital Services Act over addictive design. Meanwhile, humanoid robots perform their first teleoperated surgery and Apple explores on-device models large enough to run Qwen 3.6.
🤖 Models and Launches
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture (203 comments) (discussion) — OpenAI’s frontier model reportedly generated a formal proof for the decades-old graph theory conjecture, a notable milestone in AI-assisted mathematics.
Bytedance debuts Seedream 5.0 Pro with advanced reasoning for image creation — A multimodal image model aimed at production design work, offering precise edits, multilingual support, and advanced layout features for creators and developers.
Apple exploring ways to run much larger AI models directly on iPhones — Apple has held meetings with PrismML about using its technology to run 27B-parameter models like Qwen 3.6 entirely on-device, potentially cutting cloud costs and enhancing privacy.
Meta’s new AI chips will begin production in September — Meta is advancing its custom silicon program with new AI training chips designed with Netta and Broadcom, manufactured by TSMC.
🛠️ Agents and Tools
Humanoid robots controlled by surgeons did world-first operation on live pigs — Surgeons teleoperated a $13,500 Unitree G1 humanoid to remove gallbladders from living pigs, demonstrating a compact, deployable approach to robotic surgery.
How GitHub gave every repository a durable owner — GitHub gave 14,000+ internal repositories a validated owner in under 45 days, archiving the rest and making ownership the foundation of everything that followed.
Stop being the code review bottleneck — PostHog details how to build pipelines that delegate code review tasks to agents, keeping humans outside the review loop without losing quality.
QuadRF can spot drones and see WiFi through walls (144 comments) (discussion) — Jeff Geerling demos a software-defined radio platform that can detect drones and visualize WiFi signals through drywall.
💰 Funding and Business
Mercor is in talks for a $20B valuation — The AI training startup seeks to double its valuation from $10B in October, reflecting continued investor appetite for AI labor platforms.
OpenAI’s No. 2 executive Fidji Simo to step down — Simo will become a part-time adviser after an extended medical leave, with her responsibilities divided among Greg Brockman, Sarah Friar, and Jason Kwon.
Netflix is exploring live TV and bundles as it struggles to keep viewers hooked — Shares down 40% over 12 months, Netflix is discussing continuous live channels and more sports to bolster engagement.
🔒 Security
OpenAI may have made a fatal misstep in copyright fight with news orgs — A privacy engineer revealed OpenAI misled the court for two years about its ability to search ChatGPT logs, which could lead to serious sanctions.
Alarm over launch of facial recognition in UK shops that instantly alerts police — The Facewatch system, deployed in Sainsbury’s and B&M, alerts police to flagged shoppers, which civil liberties groups call a ‘dangerous escalation.’
‘AI accountability agenda’: US senator unveils package of bills to curb tech’s harms — Senator Ed Markey proposes legislation aimed at curbing datacenters, automated hiring systems, and harm to children.
🌐 Notable
Suspecting AI cheating, Ivy League prof ordered an in-person final; scores fell 50% — After a Brown University professor moved to in-person exams, 18 students dropped, nine didn’t show, and average scores dropped from 96 to 48.
Write code like a human will maintain it (254 comments) (discussion) — An essay arguing for maintainability-first practices in an era where AI-generated code floods repositories faster than humans can review it.
Good Tools Are Invisible (140 comments) (discussion) — An essay on how the best development tools disappear into the workflow, reducing friction between intent and execution.
Parents’ attachment to phone screens can lead to anxiety in children — Teens feel ‘devalued, dismissed or unimportant’ when parents snub them in favor of phones, new research finds.
🔥 Hacker News
AI-generated videos to maximally drive a target brain region (220 comments) (discussion) — EPFL’s Nevo project uses AI to generate videos designed to selectively activate specific brain regions, with potential therapeutic applications.
EU Commission: addictive design Instagram and Facebook in breach of the DSA (162 comments) (discussion) — Regulators found features like autoplay and infinite scroll contribute to ‘compulsive use,’ formalizing breach proceedings under the Digital Services Act.
New York City to become first in US to ban deceptive subscription practices (147 comments) (discussion) — The city council is targeting dark patterns and hard-to-cancel subscriptions in a first-of-its-kind municipal crackdown.
Late Bronze Age Collapse (197 comments) (discussion) — A detailed historical essay examining the systems collapse that ended the Bronze Age civilizations, drawing parallels to modern complexity.
In Emacs, Everything Looks Like a Service (93 comments) (discussion) — A meditation on Emacs’ architecture as an early microservice-like system, where every function is a composable, addressable service.
Successful Companies Go Blind (60 comments) (discussion) — An analysis of how market success creates organizational blind spots that prevent firms from seeing disruptive threats until too late.
🌍 World and Australia
Fast-spreading wildfire kills at least 12 in southern Spain — Twenty-three people are missing and four Britons are thought to be among the dead as the Almería blaze, fueled by heat, wind, and dry vegetation, devastated the region.
Albanese juggles national security and trade in foreign policy bonanza — The PM met leaders of India, Fiji, Tonga, Samoa, Solomon Islands, and Papua New Guinea in a landmark week where China emerged as the biggest loser.
Pacific gray whales facing ‘catastrophic’ die-off as climate crisis hits food supply — The Trump administration is urged to relist the species under the Endangered Species Act as warming oceans decimate their food sources.
Berlin’s mayor abandons reelection campaign after ‘tennis-gate’ outcry — Kai Wegner admits poor communication in handling of a power blackout overshadowed his political work, ending his bid for another term.
First home buyers at Sydney auctions hope the market might be a little less ‘untouchable’ at last — Dreams of home ownership feel closer for some as property prices cool across Australia’s capital cities.
How Pauline Hanson courts UK’s far-right and builds a global brand — The One Nation leader is set to be interviewed by Tommy Robinson as part of a media strategy designed to seek scandal and reach millions.
Sources: TLDR (General + AI), AINews/Latent Space, The Guardian, Hacker News — 6 newsletters processed, ~33 stories distilled