The weekend's news had one theme running through it: machines are now doing work nobody had a price for, while the money behind them is getting harder to raise. An AI system closed an 18-year-old open question in quantum computing in three days. OpenAI collected $11 billion, well short of what it asked for. Fox finished buying Roku for $22 billion, Tesla set an end date for the Cybertruck, and three of the biggest platforms sued California rather than change their feeds for teenagers.
An AI system proved a conjecture that had stood since 2008
- Physical Superintelligence (PSI) says its internal research system, running instances of a non-public Anthropic model, produced a complete proof of the Aaronson-Ambainis conjecture on the third day of a run. The conjecture traces back to a 2008 lecture by Scott Aaronson and work with Andris Ambainis, and asks when quantum algorithms can genuinely beat classical ones.
- The main theorem was formalized in Lean and checked by the proof assistant's kernel, and the system later improved the mathematical bound twice, with each version also Lean-checked. Researcher David Turturean defined the problem, ran the system and edited the draft; Stanford researchers who proved a special case in August are reading it and preparing a shorter explanation. There is no formal journal peer review yet.
Why it mattersLean can confirm a proof is formally correct, but it cannot tell you whether the reasoning matters -- that still takes humans. What changed is the clock: a question that sat open for 18 years closed in three days of machine time, and the limiting resource became the researcher who knew which problem to point it at.
OpenAI raised $11 billion -- and had to accept a lower price
- About $11 billion landed in OpenAI's accounts by Friday, November 6, at a $1.25 trillion pre-money valuation confirmed by CFO Sarah Friar. SoftBank and Abu Dhabi's MGX took part. Press reports had the company originally seeking $30 billion or more at a $1.4 trillion valuation.
- A second portion of up to $9 billion has not closed, which would take the round to roughly $20 billion. Friar said the business grew 70% quarter over quarter in Q3, with enterprise revenue doubling, 1.2 billion weekly ChatGPT users and an advertising run rate of $1 billion by August. Nvidia reports earnings on November 17.
Why it mattersFor two years the only question about AI funding was how fast the number went up. This round answers a different one: at what price investors stop. OpenAI still raised more in a week than most industries raise in a year, but it did so by taking the market's number instead of its own.
Fox closed its $22 billion purchase of Roku ahead of schedule
- Fox completed the $22 billion acquisition on November 6, well ahead of its expected timeline. The combined company becomes the third-largest US television company by viewership, and Roku founder Anthony Wood said his teams will keep building with Fox's backing.
- Fox gains direct access to Roku's more than 100 million households and the data that comes with them, which it expects to sharpen ad targeting and cut its dependence on traditional cable and satellite distribution.
Why it mattersThe valuable thing here is not the channels, it is the operating system of the TV. Whoever owns the home screen decides what gets recommended and what gets measured, and Fox just bought that position outright instead of renting it.
Tesla set an end date for the Cybertruck
- Elon Musk confirmed on X that Tesla will stop building the stainless-steel Cybertruck at Gigafactory Texas by mid-2027, freeing the line for the driverless Cybercab robotaxi. He did not say whether the truck is discontinued for good.
- Tesla has sold roughly 71,000 Cybertrucks since deliveries began in late 2023, far below its stated goal of 250,000 a year. The vehicle never reached its promised $39,900 price -- the cheapest version lists at $59,900 -- and went through several recalls and quality complaints.
Why it mattersTesla is reallocating its most constrained asset -- factory floor -- from a product people buy to one it hopes people will ride. That is a bet that the next decade of car revenue comes from fleets and software, not from selling vehicles to individuals.
Google, Meta and TikTok sued California instead of changing their feeds
- The three companies filed separate suits in California federal courts against the state's youth social media law, arguing it violates the First Amendment and conflicts with Section 230 of the 1996 Communications Decency Act. Attorney General Rob Bonta's office said it will defend the statute.
- The law takes effect January 1, 2027. It bans algorithmic 'addictive' feeds, infinite scroll and autoplay for users under 16, and requires age verification before those features can be offered.
Why it mattersAge verification is the real fight. Checking how old a user is means collecting identity at the door for everyone, which is expensive to build and awkward to defend -- so the platforms would rather litigate the feed than rebuild the front door.
The big picture
Three of these stories are about what something is worth. An 18-year-old mathematical question turned out to be worth three days of machine time. OpenAI's next slice of equity turned out to be worth $150 billion less than it asked for. The TV home screen turned out to be worth $22 billion. The other two are about what a company will give up: Tesla is giving up a product line, and the platforms are giving up legal fees rather than give up the feed.
Go deeper
Sources & further reading
- The Quantum Insider - AI-assisted proof settles longstanding question about quantum speedups
- Unite.ai - PSI reports machine-checked proof of Aaronson-Ambainis conjecture
- 24/7 Wall St. - OpenAI raised $11 billion at a $1.25 trillion valuation
- TechCrunch - Fox completes its $22B acquisition of Roku
- Quartz - Fox completed its $22 billion acquisition of Roku
- Fox Business - Tesla to wind down Cybertruck production at Texas factory
- TechCrunch - Meta, Google and TikTok sue California AG over teen social media law
- NPR - Google, Meta and TikTok sue to block California youth social media law