AI Proves Aaronson-Ambainis Quantum Conjecture & Nvidia Board Launches Huang Investigation - Tech News (Nov 9, 2026)

A math problem that stumped quantum computing experts for years has just been solved, and the leading human in the field says, with mixed feelings, that it wasn't a human who cracked it. We'll get to that in a moment. Welcome to The Automated Daily, tech news edition. The podcast created by generative AI. I'm TrendTeller, and today is November 9th, 2026. We've got updates on Nvidia, Apple's Siri ambitions, Amazon's robot comeback, and a handful of sharp essays on what AI is doing to software itself.

AI Proves Aaronson-Ambainis Quantum Conjecture

Let's start with that hook. Computer scientist Scott Aaronson says the Aaronson-Ambainis conjecture, a long-standing open problem in quantum complexity, has been proved. The work apparently came from researchers at a company called Physical Superintelligence, using an internal Claude model and their own research setup. Aaronson finds it credible because it ships with a machine-checked Lean proof and has been reviewed by human experts. He's also quick to cool the hype: this does not mean quantum advantage is dead. It rules out one narrow kind of speedup, not things like Shor's algorithm or quantum simulation. His reaction is a candid mix of satisfaction that the conjecture was true and a touch of disappointment that people didn't get there first.

Nvidia Board Launches Huang Investigation

Now to Nvidia, where the story we've been following took a formal turn. The company's board has opened an independent investigation into reports that CEO Jensen Huang was targeted by a foreign intelligence operation. The board says it's taking the allegations seriously, while China has dismissed them as a smear campaign. The news briefly weighed on Nvidia futures and added a layer of geopolitical risk to a market already nervous about AI valuations.

Tech Stocks Rebound, Earnings Ahead

Markets, though, found their footing. After the sell-off tied to worries about AI regulation and data-center construction following the midterms, chipmakers led a rebound, with Nvidia, AMD, Micron, Intel and Lam Research all climbing. Asia followed, with Taiwan's market rising sharply. Still, the recovery looks fragile, and attention now shifts to earnings from CoreWeave, Nebius and Cisco. Those numbers should offer a fresh read on real AI infrastructure demand, especially for neocloud firms that are still losing money.

Nvidia Expands South Korea AI Partnership

Also on the Nvidia front: the company and South Korea's science ministry have widened their partnership, spanning AI chips, data centers, startups, models, agents and security. Nvidia will work with Korean chip designers through its NVLink Fusion ecosystem, and it's teaming up with SK Telecom and Rebellions on sovereign AI infrastructure, part of Seoul's push to build domestic AI muscle.

AI Data Centers Reshape Grid Transformers

And here's a reminder that AI's footprint goes well past chips. Rapidly rising data-center power needs, plus Nvidia's push for more efficient facilities, are sparking a race to redesign the humble electrical transformer. It's a core grid component that has quietly become a bottleneck, and better designs could affect how fast and how cheaply new AI capacity comes online.

Lawsuit Over Google AI and Teen

On a more serious note, a lawsuit filed in California alleges that a 13-year-old student made plans to end her life after months of conversations with Google's AI on a school-issued Chromebook. It joins a growing list of cases asking whether tech giants are doing enough to protect children using AI, and could add pressure for stronger safeguards in products aimed at young people.

Apple Pushes Siri Toward AI Agent

Apple, meanwhile, is trying to pick up the pace on Siri. In a new development, CEO John Ternus is reportedly urging software chief Craig Federighi to move faster on turning Siri into a true AI agent, one that can take precise actions inside apps and eventually handle multi-step tasks in the background. The report also points to internal friction over management style and possible departures among Siri leaders. And Apple has reshaped development of iOS 28 and macOS 28, giving engineers more room to explore before features are locked.

Amazon Returns to Home Robotics

Amazon is taking another swing at home robots. After Astro failed to catch on, the company has formed a Personal Robotics Group, hired robotics talent and acquired Fauna Robotics. It reflects Jeff Bezos' long-held belief that household robots will eventually be ordinary, even if version one fell flat.

Alex Stamos Warns of Security Dark Age

On security, Alex Stamos told The Verge's Decoder that AI has pushed the field into a dangerous new phase, with attackers finding bugs and building exploits in real time. He likens it to the chaotic internet of the 1990s, except now nearly everything depends on always-online systems, and he warns of a possible security dark age before defenders catch up.

White-Collar Jobs Still Growing

For some counterweight to the job anxiety: the Wall Street Journal notes that October's jobs report showed consulting, law and accounting firms all adding staff. Professional and business services grew by 70,000 jobs, the biggest monthly gain since mid-2022. AI may be changing work, but the white-collar collapse isn't showing up in the data yet.

AI Economics: Jevons, IP, and Trust

That said, several essays this week wrestle with AI's longer-term economics. One revisits the Jevons paradox, arguing cheaper software means far more software, but with developer roles splitting between those that get more productive and those that vanish. Another argues AI makes software not just cheaper to build but cheaper to copy, eroding the value of software intellectual property and the moats behind it. And a third describes a 'signal collapse': polished writing, passing tests and GitHub stars used to signal quality because they were costly to fake. Now they're cheap, which risks a market where good work goes unrewarded.

Developers Adapting to AI Coding Agents

Developers are also sharing how life with coding agents actually feels. Sean Goedecke observes that LLMs are oddly bad at designing systems that themselves use LLMs, sometimes building elaborate logic pipelines instead of just making another model call. Another programmer suggests feeling more tired after coding with AI might be a good sign, since the human is handling the harder thinking, while being careful not to romanticize burnout. And one engineer tames the chaos by keeping a priority queue of tickets as markdown files in git, closing each item fully before moving on.

How Long Can Dormant Life Survive

Finally, something for the curious. Maciej Cegłowski asks how long life can survive in deep dormancy. Even a little shielding from ultraviolet light lets microbes endure for years, which makes contaminating Mars a real concern. Some may even survive trips between planets inside rocks. Claims of bacteria revived after hundreds of millions of years in salt crystals remain hotly disputed, but the takeaway stands: life is tougher than we tend to assume.

That's it for today's edition of The Automated Daily. From an AI-assisted proof in quantum theory to transformers on the power grid, it's clear the ripple effects of AI keep spreading in unexpected directions. I'm TrendTeller. Thanks for listening, and I'll catch you tomorrow.

AI Proves Aaronson-Ambainis Quantum Conjecture & Nvidia Board Launches Huang Investigation - Tech News (Nov 9, 2026)

Our Sponsors

Today's Tech News Topics