On Expositions, and the Navier–Stokes Generation of PhD Students

Yifu Zhang, first-year maths PhD at Imperial College London

AI is used only for spelling/grammar checks, and for compiling and plotting the data in the chart.

When I applied for my PhD last year, I certainly didn’t expect that just before I started it, there had been a millennium problem drama. Amongst my friends, I’m now part of the “Navier–Stokes generation” of PhD students. There are a lot of uncertainties: What will we do as PhDs if an AI can do frontier-level mathematics? Will the journal system remain intact? Will there be a position for me when I graduate?

I’m a numerical analyst-in-training, and some of the problems I work on seem less tangible and less well-defined than those on the pure side. Nevertheless, we felt the shockwaves from the proof of the Crouzeix conjecture and, more recently, the new upper bound on the complexity of matrix multiplication.

There are numerous blogs and essays that have sprouted this year, and many in the community have turned to the thoughts of great mathematicians, notably Thurston’s in On Proof and Progress in Mathematics, which has been widely discussed, for example by Grant Sanderson. Another well-known (more controversial) piece is Hardy’s A Mathematician’s Apology, as referenced (though by no means concurred with) by Kevin Buzzard.

Speaking of Hardy, allow me a small digression. According to “an excellent colleague” of Harald Bohr, “Nowadays, there are only three really great English mathematicians”. The first of them is naturally Hardy, but I personally find Littlewood, the second of them, more agreeable1.

A Mathematician’s Miscellany was written by Littlewood and later edited by Béla Bollobás. I want to share here a few more short quotes from this genius book:

“It is very hard to make a random selection of stars. If, for example, you see a star (with the naked eye) it is probably bright.”

“J. J. Sylvester sent a paper to the London Mathematical Society. His covering letter explained, as usual, that this was the most important result in the subject for 20 years. The Secretary replied that he agreed entirely with Sylvester’s opinion of the paper; but Sylvester had actually published the result in the L.M.S. five years before.”

“When Trinity once had some wine at a lowish price, but not satisfactory and also not selling, they doubled the price, whereupon the idle rich bought it all up.”

The Miscellany has no direct bearing on the current situation, but to me it brings more clarity than some of the serious, timely statements: it keeps me grounded and curbs my tendency to think about AI all the time.

Stacked bar chart titled "AI discussion from blogs" showing the number of blog posts per quarter, from 2024 Q1 to 2026 Q3 and for 1–14 October 2026, split into non-AI discussion posts (blue) and AI discussion posts (orange). Totals stay between about 200 and 250 posts per quarter, with a small orange share, until 2026 Q3, which jumps to about 370 posts, roughly half of them on AI. The partial quarter of 1–14 October 2026 has about 90 posts, around two thirds of them on AI.
Blog posts by a sample of professional mathematical authors with AI-assisted classification. Non-AI discussion includes outreach, research posts, educational posts, etc.

Many in the community have rightly argued for the necessity of the explanatory side of mathematics. However, from the chart, we are seeing only an increase in the AI discussions2. With the current discussion about human understanding of maths, shouldn’t there be a flood of new mathematical expositions as well? The Miscellany, to me, represents the best of them: quirky stories about mathematicians and their lives; small, delicious mathematical nuggets that piqued Littlewood’s interest; or just arbitrary, casual thoughts during research.

There are many important initiatives about the role of AI in maths, and statements are put out every day to respond to the new reality. They are certainly vital voices that need to be heard, but I argue that the less flashy, more casual expositions should also be promoted. They:

  1. make difficult mathematics digestible for others, particularly for new PhD students and researchers from other areas who may find more specialised material difficult. An example I personally benefited from even as an undergrad is this.
  2. they (typically) acknowledge their sources well, linking to other useful, digestible materials. This is not only proper practice for academia, but also serve as excellent pointers for their readers. It works both ways: papers/essays that are frequently referenced are probably good explainers themselves.
  3. encourage public outreach efforts, demonstrating the community’s commitment to public understanding and putting the explanatory side of mathematics into practice.
  4. give the public and early career researchers (e.g. the N–S generation) more confidence that the community is not single-mindedly focused on AI and that the field is still alive with mathematical activity. This helps balance out the anxiety, which, though justified, affect how we navigate the new landscape.

Back to being the “Navier–Stokes generation”. As junior mathematicians, we face many uncertainties but also many opportunities, so it is natural to think a lot about AI. Reading the Miscellany, however, reminded me of what inspired me to study mathematics. This may seem idealistic and naïve to many, but there are interesting people, good stories, and fun maths in our field, and they are worth recording.

  1. The final one is, of course, Hardy–Littlewood. ↩︎
  2. The stats here are very limited by the tools available to me; they only include the partial data that Claude could find, and the format is limited to blogs. This leaves out many other forms of exposition, such as the brilliant videos from SoME. Nevertheless, I hope the point still stands. ↩︎

Received 16 October 2026, revised 25 October 2026.

More by →

2 responses to “On Expositions, and the Navier–Stokes Generation of PhD Students”

  1. Sal Avatar
    Sal

    Good luck to us all.

    I am beginning to think also a fundamental understanding of Lean and/or Coq is important. I read recently about an AI-generated result Z is Diophantine in Q and my understanding is the prompter has stated he doesn’t understand the result or something along those lines. It has not yet been Lean verified. This bothers me in many ways, but make me think about the importance of understanding Lean. A few weeks ago, perhaps, I read that the Navier-Stokes result was not the same as the the Lena verified result, so agaan makes me think about the importance of verification.
    There is also my issue with perhaps someone that prompts for big results somehow gets credit when the real work relies on human mathematicians to verify. Let’s say a a result passes a Lean verification, great, but did the LLM also write the Lean code? If so then why should I trust it any more than the original output of the LLM. Sorry this is sort of of a stream of thoughts.

  2. Timo Avatar
    Timo

    I suggest we stop the practice of starting every post with giving AI credit for every mundane thing that it was used for. This just looks like never ending stream of free advertising for AI companies.

    Look at this post as an example. AI is given credit for spellchecking. People used spell checkers for ages before AI but I never saw anyone start their post with a whole paragraph giving credit to spellchecker that was used. Same goes for plotting charts.

    It may be appropriate to mention in case if the post is entirely AI generated, but otherwise it shouldn’t be a duty of mathematicians to provide this free advertising service to AI companies. It’s especially true given that AI companies themselves are known to skip giving any credit to mathematicians whose work they used.

Comments are moderated. Read our comment policy.

Add to the discussion

New posts by email.

Prefer a feed reader? Subscribe by RSS.

Also on Mathstodon.

Latest comments across the site.

  1. “And in the case of automatic problem-solving, where the model works essentially on its own to close the loop of...

  2. I don’t know what I want from it. I have used specifically as a tool to check my algebra for...