Tristan Buckmaster and Levent Alpöge released Lean-verified finite-time blowup results for forced 3D Euler, Boussinesq, and porous media, built on Córdoba and Martínez-Zoroa's program and pushed through with heavy LLM help. The statement then lays out how OpenAI, after word of the work leaked, set an internal model on the same forced route within days and pitched him proposals he found unacceptable.
Mistral's Series D is the largest equity raise in European tech history, and the company frames it as making sovereign, open-weight models the frontier rather than a follower tier. Reuters puts the round at roughly $24 billion post-money.
Ben Thompson argues that writing things down is the underrated lever for both humans and AI agents, but that the hard part is deciding what to write, why, and then actually shipping. The AI angle: durable written context is what turns a model from a chat toy into a coworker.
Under a new government rule, platforms must notify every new and existing Australian user and offer them a choice over their default feed, including a non-algorithmic option. The PM's own announcement is titled "My Feed, My Way" and drew a long HN thread.