--- title: "Spending it faster: What a 10,000-agent proof means for AI's borrowed expertise · AI Fault Line" url: https://aifaultline.com/research/p/title-7cb3a4acc2238021/ description: "AI Fault Line is a neutral, evidence-cited field guide to why experts looking at the same developments disagree about AI's effect on productivity, jobs, inequality, regulation and the pace of change." --- [Research](https://aifaultline.com/research/) # Spending it faster: What a 10,000-agent proof means for AI's borrowed expertise Brookings (institute research) · 29 Oct 2026 [Read original source](https://www.brookings.edu/articles/spending-it-faster-what-a-10000-agent-proof-means-for-ais-borrowed-expertise/) Open access Not peer reviewed Where this sits in the debate - [Will AI actually boost productivity and growth?](https://aifaultline.com/debate/productivity/) · its finding: it depends ([why studies differ](https://aifaultline.com/debate/productivity/#why)) - [How fast will the impact arrive?](https://aifaultline.com/debate/pace/) Direction of the finding as read from the abstract by an AI model ([AI-written](https://aifaultline.com/about/)). ## Source excerpt This piece builds upon two prior pieces published on the TechTank blog: “ Borrowed expertise: Why AI’s productivity boom may not survive the generation that built it” (July 10, 2026) and “ Repaying the inheritance: How education and research policy can address AI’s borrowed expertise” (July 20, 2026) . On Sept. 8, OpenAI announced that an unreleased internal model had produced a proposed solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems —a set of complex, unsolved problems selected by the Clay Mathematics Institute in 2000 that offer a $1 million prize for the first correct solution for each. Roughly 10,000 agents ran in parallel for 88 hours. The compute bill ran millions of dollars, which OpenAI’s Sébastien Bubeck described in the press briefing as roughly a thousand times what the company had previously spent on a single problem. The proof is not verified. Mathematicians are reading it now, and under Clay’s rules a proposed solution must appear in a qualifying publication, wait two years, and win general acceptance in the field before the prize is considered at all. OpenAI says it does not intend to claim it. That was five weeks ago, and it is already the smaller story. On Oct. 6, OpenAI released 722 manuscripts in a single GitHub drop, claiming progress on 372 open problems across algebra, geometry, number theory, and theoretical computer science, all produced by the same unreleased internal model. The company estimates the average result cost roughly three hours of ChatGPT Pro compute. Only 162 of the manuscripts arrived with the machine-checkable Lean formalizations that let a computer confirm a proof, and mathematicians pushed back immediately: A group calling itself the Association for Human Mathematics described the release as “not a demonstration of scholarship, but a demonstration of power.” A day later, OpenAI withdrew three of the manuscripts after an internal audit caught a sign error that invali ## About this publication **Lab or institute research, not peer reviewed.** A report or blog post published by an AI lab or research institute on its own site. It has not been through independent peer review, and the publisher may have a stake in the findings. Published 2026 (recently) Citations Not recorded for this source Citation counts come from OpenAlex; none are recorded for this source — absence of a count is not absence of citations. [Chart: published 2026] ## More on this topic Related by theme, not necessarily by method or conclusion. - [Navigating the Jagged Technological Frontier: Field Experimental Evidence of the Effects of AI on Knowledge Worker Productivity and Quality](https://aifaultline.com/research/p/doi-10-2139-ssrn-4573321/) SSRN · 2023 - [Generative AI at Work](https://aifaultline.com/research/p/doi-10-1093-qje-qjae044/) The Quarterly Journal of Economics · 2025 - [The Impact of AI on Developer Productivity: Evidence from GitHub Copilot](https://aifaultline.com/research/p/doi-10-48550-arxiv-2302-06590/) arXiv · 2023 - [The Productivity J-Curve: How Intangibles Complement General Purpose Technologies](https://aifaultline.com/research/p/doi-10-1257-mac-20180386/) American Economic Journal Macroeconomics · 2020 Overview assembled automatically from collected metadata. [How this site is built](https://aifaultline.com/about/).