# Formal Mathematics Can Absorb Enormous Parallel Computation by Emad Mostaque > The fact that [OpenAI] could scale [its work on the Navier–Stokes fluid-dynamics problem] by attacking it with 10,000 [AI agents] means that formally verifiable mathematics can absorb enormous amounts of parallel computation: you can literally chuck compute at [the search for a proof]. > **— Adapted from Emad Mostaque**, *Impact Theory with Tom Bilyeu, 2026* ## Sources and Context - **Recording and precise locator:** [7:16](https://www.youtube.com/watch?v=WsdcF7EEvhM&t=436s) — Impact Theory with Tom Bilyeu, 2026. - **Exact reconciled source object:** “The fact that [OpenAI] could scale [its work on the Navier–Stokes fluid-dynamics problem] by attacking it with 10,000 [AI agents] means that formally verifiable mathematics can absorb enormous amounts of parallel computation: you can literally chuck compute at [the search for a proof].” - **Editorial status:** The poster is transparently labeled as an adaptation because the reconciled dossier required synthesis beyond bracket-only repair. - **Reconciled source dossier:** [[research/AI Is Now So Good They Will Pay You to Quit|AI Is Now So Good They Will Pay You to Quit]] preserves transcript order, speaker attribution, editorial conventions, and the surrounding argument. - **Weekly promotion dossier:** [[research/Weekly Reminder Hunt - 2026-10-02|Weekly Reminder Hunt — October 2, 2026]] records why this object was selected for permanent promotion. ## Related Articles and Collections - **Collection:** [[collections/Simple Reminders|Simple Reminders]] - **Collection:** [[collections/Machine Succession|Machine Succession]] - **Article:** [[articles/The Gigawatt Is the New Measure of War|The Gigawatt Is the New Measure of War]] ## Related Topics - [[wiki/Emad Mostaque|Emad Mostaque]] - [[wiki/Biological Moonshots|Biological Moonshots]] - [[wiki/Accelerated Science|Accelerated Science]] - [[wiki/AI Progress|AI Progress]] ## Share on Social Media ``` The fact that [OpenAI] could scale [its work on the Navier–Stokes fluid-dynamics problem] by attacking it with 10,000 [AI agents] means that formally verifiable mathematics can absorb enormous amounts of parallel computation: you can literally chuck compute at [the search for a proof]. — Adapted from Emad Mostaque, Impact Theory with Tom Bilyeu, 2026 https://bryantmcgill.com/simple-reminders-mostaque-formal-mathematics-can-absorb-enormous-parallel-computation ```