As of: 2026-10-19 09:28 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/v/fireship-summer-math-fell-to-the-machines/

# The summer Math fell to the machines...

Fireship, 19 August 2026, YouTube. 735,574 views as of 19 October 2026.
Kind: Review.
Watch: https://www.youtube.com/watch?v=iuZPTE5qsJY

## Why it is here

Fireship's 5-minute recap (~736k views) of the summer of 2026, when 'AI has killed more open math problems in the last few weeks than the entire human race managed in the previous decade'. Missed for two months; Fireship's later Navier–Stokes video is in.

## Description (written by Gemini from the video)

**Summary**  
In this episode of *The Code Report*, host Jeff Delaney (Fireship) reviews the sudden wave of AI-driven mathematical discoveries during the summer of 2026. He details how frontier models from OpenAI and Anthropic, alongside individual researchers and amateurs, solved or disproved numerous long-standing conjectures and achieved major progress on the Riemann hypothesis.

**What is shown**  
- [00:00] Montage of headlines and memes about software engineers facing AI displacement before pivoting to pure mathematicians.
- [00:23] Visual summaries of major recent mathematical counterexamples, including the Jacobian and Dinitz-Garg-Goemans conjectures.
- [00:45] Footage of Terence Tao warning of a "crisis in the foundations of mathematical values and practices" during his ICM 2026 lecture.
- [01:05] Recap of AI performance at the International Math Olympiad (IMO) and OpenAI's May 2026 disproof of the Erdős unit distance problem.
- [01:32] Overview of the June 2026 "Leiden Declaration on Artificial Intelligence and Mathematics" signed by 16 academic researchers.
- [01:49] Levent Alpöge’s X post showing a polynomial counterexample to the 1939 Jacobian conjecture found with assistance from Claude Fable, alongside 3D visualizations.
- [02:29] Dmitry Rybin’s GPT-5.6 prompt and the resulting 7-node counterexample diagram disproving the Dinitz-Garg-Goemans conjecture.
- [03:07] Columbia PhD student Shouqiao Wang’s post and preprints solving six Erdős problems in five days using GPT-5.6 Sol and Codex.
- [03:22] OpenAI’s announcement and public GitHub repository (`openai/ten-proofs`) containing Lean formalizations for 10 open math/CS problems resolved by its internal "Astra" model.
- [04:04] Anthropic's blog post detailing Claude's improvement on the Riemann zeta zero bounds prompted by Bun creator Jarred Sumner, displaying Claude Code's agent tree of 60 subagents.
- [05:19] Sponsor segment for Railway.

**Claims & numbers**  
- The presenter states that an OpenAI model disproved Paul Erdős's 80-year-old unit distance conjecture in discrete geometry in May 2026.
- The presenter reports that 16 researchers from 15 universities published the "Leiden Declaration on Artificial Intelligence and Mathematics" in June 2026 calling for guardrails.
- The presenter states that Levent Alpöge disproved the 87-year-old Jacobian conjecture (formulated by O. H. Keller in 1939) using Anthropic's Claude Fable.
- The presenter claims Dmitry Rybin disproved the ~30-year-old Dinitz-Garg-Goemans conjecture using GPT-5.6 Pre with a 7-node, 9-edge counterexample (fractional flow cost 58 vs. unsplittable cost ≥ 60).
- The presenter notes Shouqiao Wang solved 6 open Erdős problems in 5 days using GPT-5.6 Sol via a Codex workflow.
- The presenter states that OpenAI's internal "Astra" model solved 10 open problems across mathematics and theoretical computer science (costing roughly $2,000 at Sol API token rates) and published machine-checked Lean certificates to GitHub.
- The presenter claims an unreleased version of Claude increased the lower-bound proportion of Riemann zeta zeros on the critical line from 41.6% to 67.2%.
- The presenter says Bun creator Jarred Sumner prompted Claude to attempt the Riemann hypothesis; Claude generated 650 failed ideas before using 60 subagents, 2,400 shell commands, hundreds of Python scripts, and 31 million output tokens over 1.5 days to complete the proof.

**Notable quotes**  
- [00:48] "a crisis in the foundations of mathematical values and practices"
- [01:02] "That's my quant"
- [04:37] "take a real stab at the Riemann hypothesis"

**Assessment**  
This is a fast-paced commentary and news recap video summarizing external preprints, blog posts, and community announcements. The presenter does not run benchmarks or proofs directly in the video, relying instead on published screenshots, official lab posts, and diagrams to explain the developments.

_Described by gemini-3.8-flash on 2026-10-19 from the video's audio and frames._

## Related

- 2026-08-10: [Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)](https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/)
- 2026-08-01: [OpenAI's unreleased 'Astra' model claims ten advances in maths and theoretical CS, with Lean proofs](https://postcutoff.com/e/2026-08-01-openai-astra-ten-advances/)
- 2026-07-20: [Claude Fable 5 finds a counterexample to the Jacobian conjecture in dimension 3](https://postcutoff.com/e/2026-07-20-jacobian-conjecture-counterexample/)
- 2026-05-20: [OpenAI model disproves Erdős's 80-year-old unit distance conjecture](https://postcutoff.com/e/2026-05-20-ai-disproves-erdos-unit-distance-conjecture/)

## More videos on this

- 2026-09-27: [AI Took On the Riemann Hypothesis. Here’s What Actually Happened](https://postcutoff.com/v/ellie-sleightholm-ai-took-on-riemann-hypothesis/), Ellie Sleightholm, YouTube, review, 713,899 views as of 16 October 2026.
- 2026-05-20: [The Erdős Breakthrough](https://postcutoff.com/v/openai-the-erdos-breakthrough/), OpenAI, YouTube, official, 110,387 views as of 12 October 2026.

What else happened that month, day by day: https://postcutoff.com/timeline/2026/08/

## People in it

- [Levent Alpöge](https://postcutoff.com/person/levent-alpoge/), Mathematician, member of technical staff, Anthropic
- [Terence Tao](https://postcutoff.com/person/terence-tao/), Professor of mathematics, UCLA