Going to a friend's birthday party on Saturday. Small town Germany, no one in tech. "We have Copilot at work" is the usual AI talk. I'm going to try and rope people into talking about this week in AI. "Do you know what alignment is?"

OpenAI confirmed to the New York Times that they have made "substantial progress" on another Millennium Prize problem in the last five days, and are preparing to announce. The rumors for the last 48 hours have been OpenAI solved the Hodge Conjecture, and that Anthropic has solved the Birch and Swinnerton-Dyer Conjecture. Since Navier-Stokes rumors abound, so I was reluctant to post about either. However, OpenAI's statement to the NYT now gives the Hodge rumors some very serious support. In general people have not updated yet that the new unnamed OpenAI model, the one that finished training about two weeks ago, which I believe will be named Aeon, is massively better at math than Astra, which two weeks ago was the best in the world. Aeon solved Navier-Stokes in 88 hours, start to finish. Follow the trend line. That means everything is on the table. Literally everything. And this does not end with math. Please update. We are taking off.

drama summary for those confused: - Aug 15th: Tristan Buckmaster & Levent Alpöge make progress on a few important math problems - they do NOT have a proof for the $1,000,000 Millenium Prize problem. BUT, they do claim to have a proof for a similar (non-Millenium) Navier Stokes problem that could help lead the way there - Levent works at Anthropic, but this research was independent of his work there, with a mix of GPT and Claude models. Tristan is not related to Anthropic. - Early Sep: Rumor spreads to OpenAI that Anthropic has solved a major problem. Tristan emails OpenAI to clarify. without revealing the problem they solved or how they did it. - After hearing of the rumor, OpenAI started researching Navier Stokes with a new internal model. - Sep 6th: OpenAI's Sebastien Bubeck tells Tristan that they solved the $1,000,000 Millenium Prize Navier Stokes problem. The approach is very similar to Tristan & Levent's approach to the non-Millenium problem. - Tristan is suspicious of the timing, as only few others were trying this approach. OpenAI says the model didn't access his user data directly, but leaves unanswered whether Tristan's chat conversations were part of the training. - OpenAI says they would partially credit Tristan for the $1,000,000 discovery (even though Tristan did not solve the $1,000,000 problem) — but only if they remove Levent as an author, as he works for Anthropic. - Sep 8th: Tristan refuses to remove Levent, and rushes to publish their results independently. Currently unclear is whether Anthropic had a separate solution for the $1,000,000 problem, or whether the rumor was about Tristan & Levent's independent research.

it may soon be cheaper to rebuild/clone games than to buy them at the store... it cost about $10 of compute each to knock off Super Smash Bros, as well as mario kart and a few others built with Astra ofc this isn't full game quality and no online vs. mode or all the maps, but we're also just getting started. wonder how this impacts gaming companies since indie devs will be able to compete much easier, and it all comes down to execution

Tell Astra to open Paint in the browser and try to draw you

Isar becomes the first of Europe's newSpace companies to reach orbit. Multiple satelites are on board, and are now on track to be successfully put into space, Europe is back in Space! Isar plans to scale to 40 rockets per year with the current architecture.

Maxxed out my daughters @TrumpAccounts today :) By 18 she’ll have 300k+!!

For the first time, scientists have mapped the complete brain and central nervous system of an adult male fruit fly — a key model organism in science. 🪰 Working alongside HHMI Janelia Research Campus and the scientific community, @GoogleResearch scientists and researchers used AI to combine millions of 2D images into 3D neural shapes, reconstructing a record-breaking 166,000+ neurons. This foundational map of the adult male fruit fly brain can help accelerate our understanding of the brain, and is a major milestone in neuroscience.

Google have, dare I say... RELEASED A GOOD MODEL 🥹 Gemini 3.8 Flash provides ~Opus 5 performance at much lower cost, while being super fast

Training tiny models for special purpose use cases works so incredibly well if you have a great self improving recursive flywheel. Shopify ML team is on fire. finetuned 0.8b model beats GPT 5.6-sol xhigh in this very specialized task.

“Trust but verify” is too generous for agents. We don’t trust them yet. What if requiring agents to produce receipts both shaped how they did the work and gave us the confidence to give them more autonomy?

Unboxing Macs at scale for our new server racks.

mcp is all you need

Everything complicated gets built by software engineers at the frontier first. Then, over time, all that complexity disappears and becomes a one-click feature anyone can use, with zero technical background. This is a perfect example. Yesterday, people were building complex agents that connected to email, SMS, calendars and other apps. Today, every consumer LLM will simply do all of this for you. Tomorrow it will do more including making calls on your behalf (this will be a killer feature) What looked like a complex agent system yesterday will soon just feel like a normal feature... My friends often feel left behind like "omg I don't know how to run Openclaw on a MacMini." But friends, you don't need that! Everything will be put as a service wrapped in a few dollars a month subscription.

Chief engineer at Honda BTW