On the Energy Usage for Navier-Stokes

Table of Contents

As they say,

a mathematician is a machine for turning coffee into theorems.

These days, we can extend this into

an LLM is a machine for turning energy into theorems.

Indeed, let’s find out how much coal OpenAI turned into a proof of Navier Stokes.