In partnership with
Reading time: 6 minutes
🗞️ In this edition
OpenAI Just Took The Prize
Google Just Booked A Nuclear Plant
Sponsored: Roku
Meta Gave Every User A Computer
⚡ YOUR MOVE For people building the life they want, now.
In other AI news –
Cognition Is Worth $48 Billion Now
China Built A 100,000 GPU Cluster Without Nvidia
A Quantum Computer Modelled A 12,635 Atom Protein
4 must-try AI tools
OpenAI says ten thousand agents cracked a ninety year old problem in 88 hours. Google signed a twenty two year nuclear contract to run its Finnish data centers. And Meta shipped an agent with its own computer and your credit card.
Keep reading.
Source: SCIAM.com
Ten thousand agents did the work. A mathematician says he recognizes the method.
WHAT HAPPENED
OpenAI published a proof on Tuesday claiming a result on the Navier-Stokes equations, one of the seven Millennium Prize Problems and worth a million dollars. An internal model the company describes as significantly more capable than GPT-6 Astra ran roughly 10,000 concurrent agents for about 88 hours, generating 2.7 million messages and around 130 billion output tokens. The proof establishes that an initially smooth fluid at rest can develop a singularity in finite time, resolving statements C and D of the official formulation and leaving global regularity untouched. GPT-6 Astra then formalised and verified the result in Lean over a further 17 hours. NYU mathematician Tristan Buckmaster, who had spent about a year on the same forcing approach with Anthropic researcher Levent Alpöge, says OpenAI adopted the method within days of learning about their progress. OpenAI's Sébastien Bubeck denies it, saying no prompt or proof of theirs was used.
WHY IT MATTERS
Machines have been doing mathematics for years. What is new is that the output is now good enough for people to fight over who owns it, and that fight only makes sense if you have already conceded the work is real. Lean formalization settles correctness in a way no referee report ever has, so the proof is right while the credit is contested, which is the exact inverse of how mathematics has handled its disputes for three hundred years. The other number worth holding is 130 billion tokens. That is an invoice. A Millennium Prize now has a rough price attached to it, and six of them are still unclaimed.
OUR TAKE
The credit fight will be settled by people reading Lean files, and it is the smaller story. The bigger one is that OpenAI has published a cost for this kind of result, roughly four days and 130 billion tokens, and every lab with a compute budget can now do the arithmetic on what is left.
Watch the Clay Mathematics Institute. It has never had to decide who a prize belongs to when the prover was rented by the hour, and whatever it decides will become the rule for everything that follows.
When you don't click through on a story, what's usually the reason?
Source: WNN.org
The money expands the existing Hamina site and builds three new data centres at Kajaani, Vaala and Muhos across 2027 and 2028. Alongside it Google signed a 22 year power purchase agreement with Fortum for up to half of the Loviisa nuclear plant's output between 2030 and 2049, keeping the reactors running to 2050, plus a letter of intent on building new capacity. A 94 megawatt battery system near Kajaani follows in late 2027. Construction is forecast to support more than 37,000 jobs, and 7,000 once the sites are live.
From Our Sponsor:
How Jennifer Aniston’s LolaVie brand grew sales 40% with CTV ads
For its first CTV campaign, Jennifer Aniston’s DTC haircare brand LolaVie had a few non-negotiables. The campaign had to be simple. It had to demonstrate measurable impact. And it had to be full-funnel.
LolaVie used Roku Ads Manager to test and optimize creatives — reaching millions of potential customers at all stages of their purchase journeys. Roku Ads Manager helped the brand convey LolaVie’s playful voice while helping drive omnichannel sales across both ecommerce and retail touchpoints.
The campaign included an Action Ad overlay that let viewers shop directly from their TVs by clicking OK on their Roku remote. This guided them to the website to buy LolaVie products.
Discover how Roku Ads Manager helped LolaVie drive big sales and customer growth with self-serve TV ads.
The DTC beauty category is crowded. To break through, Jennifer Aniston’s brand LolaVie, worked with Roku Ads Manager to easily set up, test, and optimize CTV ad creatives. The campaign helped drive a big lift in sales and customer growth, helping LolaVie break through in the crowded beauty category.
Source: Axios.com
Every user gets a dedicated virtual machine in Meta's cloud, with a browser you can watch it drive and a gatekeeper called Sentinel deciding which services it may reach. Muse books travel, shops, handles email and negotiates on your behalf, and you can give it a name, an avatar and a manner. It is US only at launch, on iOS, Android and web, with glasses support next. Tiers run free, 20 dollars and 100 dollars a month, and Alexandr Wang says most people should never need to leave the free one. No ads.
⚡️ YOUR MOVE
FOR PEOPLE BUILDING THE LIFE THEY WANT, NOW.
🧪 DeepSeek's V4.1 Flash beta is live and it switches off tomorrow. New architecture, native multimodal, priced at the old V4 Flash rate, 20 concurrent requests per account. → Test it today
💵 OpenAI cut Luna's price by 80% and watched usage go up roughly tenfold. Its CFO now says deploying it undercuts running Chinese open models on a cloud layer. → Redo the math
⚖️ Harvey raised 550 million at a 15.6 billion valuation and immediately bought an agent security startup. If your work carries liability, the acquisition is the part to read. → See what it bought
🧬 DeepMind published predicted effects for all 9 billion single letter changes in the human genome, a petabyte of it, free for noncommercial research. → Go get it
Cognition Is Worth $48 Billion Now – The Devin maker raised over $2 billion and nearly doubled its valuation in four months, with run rate revenue climbing from $492 million to almost $900 million.
China Built A 100,000 GPU Cluster Without Nvidia – JD Cloud says it is the first major domestic AI provider to run a cluster that size entirely on Moore Threads silicon.
A Quantum Computer Modelled A 12,635 Atom Protein – Cleveland Clinic, RIKEN and IBM are Gordon Bell finalists for pairing Heron processors with Fugaku, and the winner is named in November.
ChatPDF: Drop in the contract and ask it the question your lawyer would.
SaveDay: Everything you meant to read later, saved and summarised where you can find it.
Magify.design: Sketch the screen, get the design, the spec and the code back.
Nume: Watches your runway the way a CFO would, before you can afford one.
Three stories, one bill. OpenAI priced a Millennium Prize at four days of compute. Google priced twenty years of Finnish electricity before pouring the concrete that needs it. Meta handed every user a virtual machine and will carry the cost of everyone who never upgrades. The public arguments this week were about credit, sovereignty and privacy, and underneath every one of them somebody was quietly buying capacity ahead of demand.
Buy the capacity before you need it.
Interested in featuring your services with us? Email us at [email protected]
