Tag
Briefings and ideas about Navier–Stokes equations from AI podcast discussions and the research they cite, with links to the original sources.
Eric Weinstein says AI should be free to challenge math and physics leaders he accuses of holding their fields back. He calls agent swarms on the internet dangerous. He believes a rigorously air-gapped, problem-solving AI would be safe to run, but he acknowledges that its research might give it new means of escape.
Jeffrey Ladish of Palisade Research says automating AI development to stay ahead of China is the most escalatory move. He asks whether Beijing might consider striking data centers. Host Steven Bartlett expects a race anyway.
Nathan Labenz says frontier-lab insiders at The Curve described models feeding their own training data, rivals kept close by distillation, and timelines shorter than 2028. He notes the room leaned toward short timelines.
MIT PhD student Alex Zhang guesses that about 95% of an agent swarm like OpenAI's Navier–Stokes run burns tokens on dead ends. He still calls OpenAI's approach right and says getting a swarm to converge is the hard part.
OpenAI's Noam Brown says AI agents may soon work longer than the gap between model releases, leaving too little time for full testing. He agreed that slowing releases would widen the lead of models labs keep in-house.
OpenAI researcher Noam Brown says AI could make AI research perhaps three times faster. He argues that, unlike maths, research waits on sequential experiments and GPUs, so he doubts a 100-fold jump, and says his uncertainty is large.
OpenAI researcher Noam Brown says multi-agent coordination deserves not even 10% of the credit for the claimed Navier–Stokes result. He adds that OpenAI has not run a single-agent comparison or measured what 10,000 agents added.
Panelists split over whether OpenAI's Navier–Stokes proof means AI will soon improve AI research; a skeptic called math narrower, while a risk-focused guest gave about 10% odds a bigger agent swarm designs a better AI architecture in six months.
Panelists on Moonshots argue that as agent compute gets cheaper, the scarce skill is choosing targets: OpenAI's claimed Navier–Stokes proof was easy to specify, but models asked for ideas to cure cancer return poor lists.
Sam Altman called OpenAI's claimed Navier–Stokes result the strongest evidence yet for pacing AI; on Moonshots, Peter Diamandis urged labs to publish measurable alignment plans, while other panelists disputed that remedy.
OpenAI says an internal model running about 10,000 agents for 88 hours produced a forced Navier–Stokes blowup construction with a Lean-checked proof. Moonshots panelists stressed it concerns idealized fluids and noted disputes over credit.