# The proof, the machine, and the argument over who solved Navier\-Stokes

### Editorial

![](/writing/fintech-zen/the-proof-the-machine-and-the-argument/assets/editorial.png)

For nearly a century, the Navier\-Stokes equations have carried an awkward split\. Engineers use them every day to describe air around a wing, water through a pipe, ocean currents and weather\. Mathematicians have never been able to prove whether a smooth three\-dimensional flow must stay smooth forever or can develop a singularity, a point where the equations break toward infinity\. The Clay Mathematics Institute made that uncertainty one of its seven Millennium Prize Problems, with $1 million attached to a valid solution\.

OpenAI said this week that an internal system found a construction showing that a smooth solution can develop a finite\-time singularity\. The reported scale was extraordinary: roughly 10,000 agents exchanging 2\.7 million messages, producing about 130 billion output tokens over 88 hours\. GPT\-6 Astra then spent another 17 hours formalizing the proof in Lean\. If the result survives expert review, it will rank among the clearest demonstrations yet that large groups of AI agents can do more than accelerate familiar knowledge work\. They may be able to search mathematical territory that no person or small team could cover at comparable speed\.

The celebration stalled almost immediately\. The night before OpenAI’s announcement, NYU mathematician Tristan Buckmaster said that he and Levent Alpöge had solved three closely related Navier\-Stokes problems\. Understanding AI reported that OpenAI’s system had worked with drafts and ideas emerging from that human research community\. Mathematicians objected to the timing, the handling of credit and the spectacle of a corporate announcement arriving before the normal process of circulation, scrutiny and attribution had run its course\. Even OpenAI backed away from a clean victory lap\.

That dispute matters because mathematics is unusually dependent on a shared chain of partial advances\. A proof may have one final set of authors, but the path is built from definitions, failed approaches, seminar conversations, preprints and the decision by other researchers to make unfinished work visible\. An agent swarm can absorb and recombine that accumulated record at a scale no human can match\. The faster it moves, the easier it becomes to compress years of communal work into one dramatic output and one corporate name\.

There is also a serious counterargument\. A machine that can test thousands of approaches against formal constraints may reveal connections that would otherwise remain hidden\. Lean verification can expose gaps that prestige and intuition miss\. The cost reported here was enormous, yet the experiment offers a real method for attacking problems where search, synthesis and checking are the bottlenecks\. It also changes who can participate\. Researchers with a strong question and limited institutional support may eventually gain access to a computational team that once belonged only to the wealthiest laboratories\. Refusing that method because the surrounding norms are unsettled would protect an old process while leaving a powerful new instrument unused\.

The harder task is to build norms that can survive the instrument\. Claims of a solved Millennium Problem need independent mathematical review\. Training inputs and intermediate sources need enough provenance to show which ideas came from where\. Formal verification should strengthen expert judgment rather than substitute for it\. Prize committees, journals and research institutions will need rules for work produced by systems whose contribution is distributed across models, operators, compute providers and the human literature they consumed\.

This week offered a glimpse of scientific abundance arriving before its social contract\. Ten thousand agents may have helped crack a problem that resisted generations of mathematicians\. The same run also showed how quickly discovery can become an argument about ownership when the machinery outruns the customs that gave the field trust\. The proof now has to earn acceptance line by line\. The institutions around it have a larger proof of their own to complete: that faster discovery can still preserve credit, openness and confidence in the result\.

### Zen

![](/writing/fintech-zen/the-proof-the-machine-and-the-argument/assets/zen.png)

Baizhang’s day without work

Baizhang Huaihai was an old Chan teacher who continued to work in the monastery fields\. His students worried about his age\. They asked him to rest, but he kept joining the daily labor, carrying his tools into the garden with everyone else\.

One day the monks hid his tools\. Baizhang could no longer take his place in the work\. When the meal came, he refused to eat\. The next day passed the same way\. His students finally returned what they had taken, and he went back to the fields\. The saying attached to the story is plain: a day without work is a day without food\.

The line can sound severe if it is treated as a rule about earning one’s keep\. The scene is gentler and stranger\. The students tried to care for their teacher by separating him from the activity that joined him to the community\. Baizhang answered with his whole routine\. Work, food and belonging formed one movement, and he would not keep only the comfortable part\.

Useful work does more than produce an output\. It gives shape to attention and places a person among other people\. When a tool suddenly does in hours what once took years, the old forms of effort may change\. The need to participate, contribute and receive the day’s life together remains\.

Practice for the week

Choose one ordinary task this week and do it with full attention, without trying to optimize or display it\.

### The Week’s Best Articles

#### [Mastercard launches Wallet Pay for interoperable digital wallets](https://www.mastercard.com/news/ap/en/newsroom/press-releases/en/2026/mastercard-launches-wallet-pay-to-scale-digital-wallets-worldwide/?mc_cid=85f0c4bcbb\&mc_eid=UNIQID)

— Glenbrook Payments News \| 2026\-09\-10

Mastercard introduced Wallet Pay, a portfolio meant to let digital wallets work across contactless payments, QR codes and online checkout\. The company says wallets already serve more than 4\.3 billion users worldwide and could top 6 billion by 2030\.

The strategic prize is interoperability\. Wallets have grown into broad service platforms, but acceptance still varies by market and payment method\. Mastercard is positioning its network as common infrastructure for wallet operators that want wider reach without building every connection themselves\.

#### [Chime agrees to buy Stride Bank for $590 million](https://linas.substack.com/p/fintechpulse1125)

— Linas’s Newsletter \| 2026\-09\-10

Chime agreed to acquire Stride Bank for $590 million, giving the consumer fintech direct ownership of a chartered institution that has helped power programs across the sector\. Chime said it does not plan to turn Stride into a growth engine for unrelated banking activity\.

The deal reduces Chime’s dependence on sponsor\-bank relationships and gives it tighter control of compliance, deposits and product development\. Regulators will still examine whether the combination preserves the controls expected of a bank as a large fintech moves closer to the center of the regulated system\.

#### [The US added more jobs than expected in August](https://www.morningbrew.com)

— Morning Brew \| 2026\-09\-05

The United States added more jobs than expected in August, providing a firmer reading on labor demand as the summer ended\. The result sits alongside signs that workers are becoming less willing to switch employers\.

A resilient jobs market supports income and consumer spending\. It can also keep wage and service\-price pressure alive, leaving monetary policy sensitive to whether hiring strength continues through the fall\.

#### [OpenAI claims an agent swarm solved the Navier\-Stokes Millennium Problem](https://www.understandingai.org/p/openai-spent-millions-to-solve-this)

— Understanding AI \| 2026\-09\-10

OpenAI said a swarm of roughly 10,000 agents found a finite\-time singularity construction for the Navier\-Stokes equations\. Another report put the run at 88 hours, 2\.7 million inter\-agent messages and about 130 billion output tokens, followed by 17 hours of Lean formalization\.

Mathematicians challenged the announcement after Tristan Buckmaster and Levent Alpöge disclosed closely related work just before it\. The result now faces two reviews at once: whether the proof is correct and whether the human research that fed the effort received proper credit\.

#### [Checkout\.com begins direct acquiring in the United States](https://www.connectingthedotsinfin.tech/members/feedback/6aa15df6fb252400013508c0/0/?uuid=8a53658c-4571-40c9-8336-e2dc07c1bde1\&key=52337f99bd014bbfb2ed91f5326c98da9c9b5cf14d27d83d5a5b877f4728e47b)

— Connecting the Dots in FinTech \| 2026\-09\-09

Checkout\.com has moved into direct US acquiring, extending a model it has used in other markets\. Direct acquiring gives the processor more control over authorization, settlement and merchant service than it has when relying on another acquirer\.

The move raises the stakes in a crowded enterprise payments market\. Global merchants increasingly want one provider to improve acceptance across regions, while domestic rivals retain deep bank relationships and local scale\.

#### [Revolut wins a US bank charter with product limits](https://linas.substack.com/p/fintechpulse1123)

— Linas’s Newsletter \| 2026\-09\-07

Revolut secured a US bank charter after a long effort to enter the market on its own regulatory footing\. The approval reportedly locks the company into four initial products, narrowing the scope of what it can offer while supervisors assess execution\.

A charter can improve economics and speed product launches by reducing reliance on partner banks\. It also makes Revolut directly responsible for the capital, compliance and governance burdens that partnerships had previously shared\.

#### [AI productivity gains are flowing unevenly through the economy](https://click.mail.fortune.com/?qs=ABB7InYiOjEsImQiOjQ5ODl9AA0AAAAAARRLfnp-OlRJo7qp6L44qrzrD0YFyT930mdRstQ5GWOAtSUpbPeo1C-H5vxjpZtIS0YnJgDk0n6RfIk08Dou-kQrAKx7LhyhIQN0gpYYwQiX)

— Fortune \| 2026\-09\-04

EY’s chief economist argued that AI\-driven productivity is producing a winner\-takes\-all pattern in which gains protect corporate margins more readily than household income\. The assessment adds distribution to the debate over whether AI raises aggregate output\.

Productivity can make the economy richer while leaving workers with little bargaining power over the gains\. The policy and business question is whether new tools expand opportunity across firms and occupations or reinforce the advantage of companies that already control capital, data and compute\.

#### [OpenAI’s chief scientist says alignment remains unsolved](https://openai.com/index/an-alien-mind/)

— This Week in AI \| 2026\-09\-10

OpenAI chief scientist Jakub Pachocki published a manifesto arguing that no laboratory has solved alignment, only days after the company released GPT\-6 Astra\. The warning came from inside the organization advancing one of the most capable systems\.

The tension is substantive even if critics see regulatory positioning in it\. Stronger agents can complete longer tasks with less supervision, which increases the value of capability and the cost of behavior that operators cannot reliably inspect or stop\.

#### [Circle acquires Tazapay to extend stablecoin payments](https://www.connectingthedotsinpayments.com/members/feedback/6a9ff99c42c43f0001d9cdb1/0/?uuid=e093e517-a52b-491b-a6b8-9fa11897df57\&key=6975a86d5ae5e0b6373351d81898726f60b11b2cf691057fe29413cae47723f9)

— Connecting the Dots in Payments \| 2026\-09\-09

Circle bought cross\-border payments company Tazapay, adding merchant and payout capabilities to a business built around the USDC stablecoin\. The acquisition follows Circle’s push to turn stablecoin liquidity into usable payment infrastructure\.

Owning more of the transaction path could help Circle reach businesses that care about settlement speed and geographic coverage rather than crypto itself\. It also puts the company closer to payment processors and treasury platforms competing to make stablecoins an ordinary back\-end rail\.

#### [Block applies to create a digital\-asset bank](https://www.futureofbanking.info/r/0136858f?m=a081d8f9-ce66-498d-a198-3e7cb96e7501Europes)

— Future of Banking \| 2026\-09\-09

Block applied to the Office of the Comptroller of the Currency to establish Builders Bank, with bitcoin and stablecoin custody at the center of its proposed business\. The application would move another major fintech deeper into regulated banking infrastructure\.

Custody is becoming a strategic control point as digital assets enter mainstream financial products\. A national bank structure could give Block a clearer framework, though approval would bring demanding expectations for risk management and segregation of customer assets\.

## Sources

- [Mastercard launches Wallet Pay for interoperable digital wallets](https://www.mastercard.com/news/ap/en/newsroom/press-releases/en/2026/mastercard-launches-wallet-pay-to-scale-digital-wallets-worldwide/?mc_cid=85f0c4bcbb\&mc_eid=UNIQID)

- [Chime agrees to buy Stride Bank for $590 million](https://linas.substack.com/p/fintechpulse1125)

- [The US added more jobs than expected in August](https://www.morningbrew.com)

- [OpenAI claims an agent swarm solved the Navier\-Stokes Millennium Problem](https://www.understandingai.org/p/openai-spent-millions-to-solve-this)

- [Checkout\.com begins direct acquiring in the United States](https://www.connectingthedotsinfin.tech/members/feedback/6aa15df6fb252400013508c0/0/?uuid=8a53658c-4571-40c9-8336-e2dc07c1bde1\&key=52337f99bd014bbfb2ed91f5326c98da9c9b5cf14d27d83d5a5b877f4728e47b)

- [Revolut wins a US bank charter with product limits](https://linas.substack.com/p/fintechpulse1123)

- [AI productivity gains are flowing unevenly through the economy](https://click.mail.fortune.com/?qs=ABB7InYiOjEsImQiOjQ5ODl9AA0AAAAAARRLfnp-OlRJo7qp6L44qrzrD0YFyT930mdRstQ5GWOAtSUpbPeo1C-H5vxjpZtIS0YnJgDk0n6RfIk08Dou-kQrAKx7LhyhIQN0gpYYwQiX)

- [OpenAI’s chief scientist says alignment remains unsolved](https://openai.com/index/an-alien-mind/)

- [Circle acquires Tazapay to extend stablecoin payments](https://www.connectingthedotsinpayments.com/members/feedback/6a9ff99c42c43f0001d9cdb1/0/?uuid=e093e517-a52b-491b-a6b8-9fa11897df57\&key=6975a86d5ae5e0b6373351d81898726f60b11b2cf691057fe29413cae47723f9)

- [Block applies to create a digital\-asset bank](https://www.futureofbanking.info/r/0136858f?m=a081d8f9-ce66-498d-a198-3e7cb96e7501Europes)