AI Is Becoming Research Infrastructure: What OpenAI's Navier–Stokes Claim Means for the Next Era of Compute
OpenAI says an internal AI system produced a proposed solution to one of mathematics' Millennium Prize problems using roughly 10,000 agents, 130 billion output tokens and formal machine verification. Whether the proof earns universal acceptance remains a scientific question. The infrastructure signal is clearer: frontier compute is beginning to produce new knowledge.