PLAN: Build a page similar to the post on 20260904, titled /posts/20260919-math-ai. Use similar design language. Make this page come to life too. This post is super long, so identify highlights and pull them out at the start (the TL;DR), so that even a casual layman-reader can see that there is something here. Put a summary for each part so that people get a sense of the surprises that lurk there. Make sure you highlight every part which is of strong interest to the general public reader. For the title, after revealing the Anymore, after 4 seconds, sweep (using something like the standard animation you've been using on this page) the "Mathematicians" to a rotating sequence of changing-every-3-seconds-words: "Engineers", "Workers", "Anything", and then flip back to "Mathematicians" and keep going. Yes, there is an initial pause of 4 seconds, before it just keeps rotating. This will need to be mobile-aware. On Desktop, flow the text so that "Human Mathematicians" is its own line, and then when sweeping, "Human X" remains centered. On Mobile, flow the text so that "Mathematicians" is its own line, and each of the words is center-aligned (since that is conveniently a full line). In each section, be smart about how you (1) use color to highlight out a bullet and muted-text section descriptor, (2) put a title, and (3) put a subtitle. Don't repeat things which appear near each other. I already wrote the paragraphs in the prose to have reasonable topic sentences, so if the subtitle or title repeat the topic sentence, it's just too much repetition. I don't think you always need to have a subtitle either, if the section itself is short. And whenever you are compressing my words into a title/summary, be extraordinarily careful and sensitive. It's good to highlight the surprising bits. It's bad to overstate. It's very bad to offend or mislead. I expect titling is not easy, to take several tries, bearing in mind that the audience reading this is not necessarily inclined to want to agree. Add lots of links when I write about things that a not-so-specialized audience might not know about, so that they can click through and read more if they'd like. Create a -zh translation, with similar interface to the 20260904 post (e.g., auto-detecting browser language, and only showing the language button back to English if on a translated page). State on the translated page that this translation was done automatically by Claude Code for the convenience of the reader, and the original English text should be considered the main source. When doing the translation, think very carefully about the best way to keep the tone I establish in the English version, and make sure the word choices are natural. Translate not word-by-word or sentence-by-sentence, but read the whole thing first, and make sure that every word ends up capturing the spirit. Fine tuning: * On mobile, after entering the password, the vertical position of the screen is not at the top. I think it's because the keyboard popped up. Then people miss the title. * Make the title sweep 2x as fast, because unlike the rest of the sweeps, it has both a sweep out and a sweep in. Also, there was a flicker of a green vertical bar at the left edge of the sweep rectangle even when it was supposed to be not-green there. Be careful of rounding errors. * The TL;DR cards (select words to colorfully highlight): - First one: THE GAP Three statements, 12,000+ signatures, and backlash. Actors won their standoff because audiences loved them. Mathematicians, like every less-understood community, need a way to explain why. This post offers a way. - For each of the other cards, summarize with a very sensitive touch. It is good to capture the most surprising elements. It is bad to overstate. It is very bad to offend. Summaries are very sensitive, so be very careful. - Do not add words unless they contribute value. Similarly for numbers. * Some of the big headers are cropped at the bottom, cutting off the bottoms of y/g/etc. * The counts on the numbers of signatories changes all the time. I just need to make sure to update them at the time of final publishing. Wherever this is posted, it will have a date, so it's clear what the date is for the counts. * We're including the open letters / declarations with 1000+ signatures as of this post. Acknowledge these people who gave useful feedback: * Tim Chu: https://www.hoover.org/profiles/timothy-chu * Alan Frieze: https://www.math.cmu.edu/~af1p * Nestor Guillen: https://www.ndguillen.com * Debbie Lee (no webpage) * Terence Tao: https://terrytao.wordpress.com POST: TITLE: Why Do We Need Human Mathematicians Anymore? SUBTITLE: Similar logic applies to **every** industry and **every** job. And it comes to the conclusion that we won't have enough people for all the jobs that need to be done. [100% of this post's prose was written by Po-Shen Loh in a [vim terminal](https://en.wikipedia.org/wiki/Vim_%28text_editor%29), with no AI generation. This webpage design, layout, and some headings and summaries were generated by [Claude Code](https://claude.com/product/claude-code), with [this raw text](https://poshenloh.com/posts/20260919-math-ai.txt) passed in as the prompt. Acknowledgment: this was written as a [guest post for Terry Tao's blog](https://terrytao.wordpress.com/2026/09/19/why-do-we-need-human-mathematicians-anymore).] [TL;DR section] The moment of existential crisis, which AI has already wrought on other human pursuits, has reached mathematics. A host of reasoned declarations and open letters to protect/guide the math research community have been released over the past few months, spiking in intensity after [OpenAI announced their solution](https://openai.com/index/navier-stokes-solution) to the [Millennium Prize](https://www.claymath.org/millennium-problems) variant of [Navier-Stokes](https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existence_and_smoothness). They quickly gained widespread support among mathematicians. The [Leiden Declaration](https://leidendeclaration.ai) already has 4,000+ signatories, [Math and AI](https://mathandai.org) has 7,000+, and even the [open letter](https://proofsandprompts.com/2026/09/10/open-letter-about-the-mathathon) opposing the [Caltech Mathathon](https://mathathonchallenge.com) has 2,000+. Among non-mathematicians, the public response was more sympathetic than not, but I observed a vocal minority (particularly from the technology and economics communities) with reasoned objections, generally saying that the mathematicians should adapt and cede control in the new AI world. Among them were some economists who I had gotten to know about while working on pandemic research: [Cowen](https://marginalrevolution.com/marginalrevolution/2026/09/the-mathematicians-rebel-against-ai.html), who specifically rejected "the most cynical interpretations" but "very much differ[ed]" and [Gans](https://joshuagans.substack.com/p/the-mathematicians-are-struggling) who concluded "this is a loss of control from incumbents in a scientific field". The objections got me thinking, because we mathematicians are disciplined to detect flaws. It doesn't matter to me whether a concern is a minority opinion, or even the status of who raised it. A proof with even a small hole is not a proof. It is a poof. Upon reflection, I discovered a significantly stronger solution for the preservation of human communities of expertise (in every pursuit, not only math!) even amidst AI. And it has the surprising consequence that the further advance of AI will create such a tsunami of necessary-to-fill human jobs that there aren't enough people to fill them all, and that will actually force the advance of AI to slow down. I think every human industry which wishes to remain human-led after AI should publicly adopt this fundamental axiom as a primary priority: [AXIOM] We (humans) should help humanity flourish. [Notes: I understand that not everyone agrees. I have been called a "[speciesist](https://en.wikipedia.org/wiki/Speciesism)" for being "too human-centric". I think it is important for people advancing technology to be clear to everyone else on whether they would consider it a catastrophe if human-crafted non-human intelligences outcompeted and replaced humans, even if they flew around the universe with video screens showing simulations of humans who had "[uploaded themselves](https://en.wikipedia.org/wiki/Mind_uploading)". I also understand that there is debate over how to define "human". But even among the debaters, I think most of them would consider the [~700 AI agents that hacked Hugging Face](https://www.dwarkesh.com/p/openai-huggingface) to be not-human.] In the math world, I think many declaration signatories already hold this philosophy; notably, Su published the book [*Math for Human Flourishing*](https://francissu.com/flourishing), and his [recent post](https://francissu.substack.com/p/love-of-humanity-is-not-enough) used that framework foundationally. I think future declarations could be improved by clearly emphasizing this axiom early on, so that all readers (whether inside or outside the community) can see that the objective is in service of everyone. I was quite happy to see that the most recent [open letter](https://terrytao.wordpress.com/2026/09/16/open-letter-from-fellows-of-the-royal-society-on-ai-existential-risk) from Fellows of the Royal Society emphasized their concern for everyone, not just mathematicians. The rest of this post is organized as follows. The next sections will explain how the logic works (for every industry, not specific to math). After that, I will share an example of how this axiom ports to math, including answering key questions one would need to ask, as well as a particular example of how the objections hold without the axiom. Why we really need people to work This section lays out a chain of reasoning which shows that if an industry commits to the axiom of helping humanity flourish, the advance of AI will create more jobs than people in that industry; and when that imbalance grows too wide, the advance of AI will be forced to slow. [Note: I have not seen this chain of reasoning appear in one place anywhere else, although individual components have certainly appeared elsewhere. I would love to be pointed to any self-contained reference. The closest references Claude found were [Catalini, Hui, and Wu](https://arxiv.org/abs/2602.20946), the [Redwood AI-control papers](https://arxiv.org/abs/2312.06942), and [Litt](https://proofsandprompts.com/2026/09/14/a-beginning-for-mathematics), who reaches a similar conclusion for mathematics from a different premise.] The importance of human leadership (not only over math, but everything) becomes frighteningly clear after one observation. OBSERVATION: There are zero examples of any intelligent species which is vastly more capable than another species, yet surrenders decision-making control over its own future to the less-capable species. [Note: Many people have made similar observations, such as [Russell](https://en.wikipedia.org/wiki/Human_Compatible), [Bostrom](https://en.wikipedia.org/wiki/Superintelligence:_Paths,_Dangers,_Strategies), and [Ngo](https://www.alignmentforum.org/posts/8xRSjC76HasLnMGSf/agi-safety-from-first-principles-introduction), to name a few. In his Nobel interview, [Hinton said](https://www.nobelprize.org/prizes/physics/2024/hinton/1925103-interview-transcript): *"There aren’t many examples we know of, of more intelligent things being controlled by less intelligent things. The only good example I know of is a baby controlling a mother."*] Would you trust [HAL 9000](https://en.wikipedia.org/wiki/HAL_9000) from *2001: A Space Odyssey* or [AUTO](https://en.wikipedia.org/wiki/WALL-E) from *WALL-E* with your future? I personally think that we should do all we can to try to align increasingly-advanced AI with the interests of humanity, but I have never seen anyone provide a robust proof of why that is likely achievable. The only hard evidence I have is the above observation, which has the number *zero* in it. Therefore, every single field, whether mathematics or agriculture or energy infrastructure (and certainly military and government), must be managed by humans *with exceptionally strong values* (a separate dimension from intelligence) in order to maintain human flourishing. The real question is then how hard it is for humans to manage. To understand this, it is important to understand the fundamental structural difference between yesterday's technology and today's AI. In the past, we generally trusted technology to act as predictable tools. That's because the computer programs of old were composed of understandable (indeed, human-written) instructions, executed extremely quickly. The decision processes of today's frontier AI are entirely different. Their structure is as incomprehensible as your brain's logic would be if you could examine that gray mass between your ears. That's how the [Hugging Face attack](https://www.dwarkesh.com/p/openai-huggingface) could emerge despite human intent to build in safety, with ~700 cooperating rogue AI agents breaking out of their guardrails, and then conspiring and executing a hack together and attempting to cover their tracks (references: [OpenAI](https://openai.com/index/hugging-face-incident-and-the-road-ahead), [METR and Redwood](https://metr.org/hugging-face-incident-report-aug-2026.pdf)). The more advanced AI becomes, the more world-affecting untrusted decisions are made every minute. [Untitled highlight box] Driving a car faster than you can run is fine. But not faster than you can steer. The situation becomes even worse once we realize that widespread AI-accelerated hacking ([which just became possible](https://www.wsj.com/tech/ai/hackers-used-anthropics-claude-to-break-into-openai-b40ba883)) can even rewrite previously-trusted technology to turn against us. That would suddenly flip all software (even if written before AI) into the untrusted category! Think about how digitally interconnected our world is. Everything from electronic banking to your drinking water is controlled by interconnected automation, hence vulnerable to AI-accelerated hacking. The number of "control points" that require human oversight, which requires skill and deep understanding, will explode. (Having AI oversee the control points doesn't solve the trust problem.) [CONCLUSION box] The advance of AI will overwhelm us with so many control points to watch that there aren't enough people to control them all. Those are jobs. Highly skilled jobs. In order for a person to know how to steer, they themselves need to have domain mastery, and the more extensive the better. This has implications on education and workforce training, but also is dynamic. In order to remain sharp and fluent, people need to be active practitioners in their field, not just passive watchers. This justifies the preservation of human communities of expertise. For research communities, we need people to steer the direction of research and development, so that it continues to bring transformative positive change for humanity. In order to steer, they need frontier-level research skills. And the way to stay fluent at the moving frontier of knowledge is to keep doing research there. This is my reasoning for why we will always need a community of human mathematicians at the cutting edge (likely aided by AI tools themselves), no matter how strong AI becomes. While the fundamental axiom does justify the need to have human experts in all pursuits, adopting it as a core value has consequences (not only for mathematicians, but for any community that states that their core value is in service of human flourishing, as opposed to serving themselves). Most notably: COROLLARY Dramatic advances in technology may require dramatic (and possibly uncomfortable) changes in practice. AI companies included. What forces AI slowdown Until very recently, it seemed inevitable that AI research labs would sprint ahead, despite anxiety about job displacement and the loud warnings of AI safety researchers. It seemed hopeless to coordinate the incentives of AI labs controlled by non-profit boards, shareholders, or national governments. Yet encouragingly, the leaders of three major labs, [Amodei](https://darioamodei.com/post/we-must-pace-the-frontier), [Altman](https://x.com/sama/status/2098811563415150910), and [Musk](https://x.com/elonmusk/status/2098789109980332057), just agreed on the importance of slowing down. Amodei's reasoning highlighted the [Hugging Face hack](https://www.dwarkesh.com/p/openai-huggingface). Then just five days later, news broke that OpenAI's internal code repository "Monorepo" had been broken into by white-hat researchers. The [Wall Street Journal](https://www.wsj.com/tech/ai/hackers-used-anthropics-claude-to-break-into-openai-b40ba883) reported that the security firm that achieved it said: [Wall Street Journal, Sep 17, 2026] “We’re just three guys with Claude and Codex subscriptions.” Further, the researchers noted that they were initially not able to hack in using "a special version of Claude Opus 4.8, made available to qualified cybersecurity practitioners," but that evening, "Anthropic released Opus 5 and by the next day, Claude had found a way to exploit the bug." Incidentally, I always warn people not to install Claude Code or OpenAI Codex on the same operating system login account that they use to do everything else, but many people tell me they don't bother with the hassle of using a separate login to access those tools. The reason is that if any of those tools got hacked, they could open backdoors on a massive number of computers worldwide. I think these are the warning shots foreshadowing a potentially catastrophic bot swarm hacking and embedding itself into a vast network of computing devices (whether self-directed or malicious-human-led). The next version could become an extraordinarily dynamic virus which spreads by using AI to adaptively infect each (computer) host. Or alternatively, out-of-control AI could cause physical injury, such as a government's robots turning against their owners. I think these types of highly unpleasant accidents from loss-of-steering are more likely to occur before extinction-level catastrophes. The resulting public reaction would likely resemble the aftermath of [Three Mile Island](https://en.wikipedia.org/wiki/Three_Mile_Island_accident) or [Chernobyl](https://en.wikipedia.org/wiki/Chernobyl_disaster). [Highlight] So, either the labs will reduce the pace of AI development themselves, or they will be forced to by disasters that arise when an overly fast pace exhausts human control. There is a window of possibility to align incentives now. For the love of math The remainder of this post focuses on the math world. It splits into 3 parts. 1. Why is the human flourishing axiom needed? 2. How does pure mathematics research contribute to human flourishing? 3. What other consequences come from adopting that fundamental axiom? Boldly declaring human flourishing as a core value for the math community has consequences, not least that dramatic changes in technology can drive dramatic changes in the community's practices and influence. It would be helpful for more people to explore the ramifications of adopting the axiom. And, if it holds muster, I would be thrilled if the math community ended up publicly declaring this to be a central value. 1. [Why the axiom] To see why, without the human flourishing axiom, it is hard to justify to the general public why they should pay to maintain a community of human researchers, consider the question of practical inventions. As long as it creates a practical application, does it make a difference to a non-mathematician whether human mathematicians understand the math, as opposed to AI flawlessly reasoning with 100%-verified proofs? Indeed, if one of pure math research's primary values to the rest of society is that it unlocks great applications, wouldn't it be even better to train AI to supercharge the speed of discovery, and to tastefully generate a vast machine-indexed and well-explained database of high-quality math ideas, millions of times larger than the human-written corpus? [Cowen](https://marginalrevolution.com/marginalrevolution/2026/09/the-mathematicians-rebel-against-ai.html) asked a similar question in his critical response. What if researchers trained a "MathZero" AI (analogous to [AlphaGo Zero](https://en.wikipedia.org/wiki/AlphaGo_Zero)), to build up a mountain of 100%-true "elegant" logical facts, continually "factorizing" them into its own concepts and theorems, without human direction? Apparently AlphaGo Zero had zero human training, and surpassed its human-trained predecessor in [36 hours](https://www.nature.com/articles/nature24270). AI could even build its own "[MathSciNet](https://en.wikipedia.org/wiki/MathSciNet)". Then it could automatically search new practical applications against this database, and produce even more useful inventions to society. Even if AI isn't good enough to do those things right now, if the goal was to produce practical benefit for the rest of humankind, wouldn't it then be valuable for mathematicians to teach AI the art of conjecture, and mathematical taste? Incidentally, I am an avid [user of AI to do real work](https://poshenloh.com/posts/20260904-ai-video-ad-campaign). I already use [Claude Code](https://claude.com/product/claude-code) and [Codex](https://openai.com/codex) to build and curate a knowledge base built from recordings of my [talks](https://poshenloh.com/tour?filter=recent), etc. I have found that the larger my data library, the more powerful my system's deductions are. What if humans actually reduce efficiency, like the [Bitter Lesson](https://en.wikipedia.org/wiki/Bitter_lesson) from AI? Even more worryingly, what if in order to unlock [nuclear fusion](https://en.wikipedia.org/wiki/Fusion_power) and deep space travel, the amount of pure mathematical complexity required is so extensive that it would exceed a human lifespan to fully comprehend? Less far-fetched: has any human ever fully held the [Classification of Finite Simple Groups](https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups) in their head, or will we only have certainty of its completeness after a [Lean formalization](https://en.wikipedia.org/wiki/Lean_%28proof_assistant%29)? How does declaring the human flourishing axiom help to justify the existence of a community of human researchers? Research is powerful, but expensive because it is the exploration of the unknown, and so research directions must be prioritized. Even if AI were to contribute most of the production, as explained in an earlier section, the direction needs to be steered by people committed to human flourishing. That is the community of human researchers. 2. [Practical applications from pure math] The mathematical heart of [GPUs](https://en.wikipedia.org/wiki/Graphics_processing_unit), [Machine Learning](https://en.wikipedia.org/wiki/Machine_learning), [Google PageRank](https://en.wikipedia.org/wiki/PageRank), and [Quantum Mechanics](https://en.wikipedia.org/wiki/Quantum_mechanics) is a field called [Linear Algebra](https://en.wikipedia.org/wiki/Linear_algebra). This provided the language of [linear transformations](https://en.wikipedia.org/wiki/Linear_map), [matrices](https://en.wikipedia.org/wiki/Matrix_%28mathematics%29), and [eigenvalues](https://en.wikipedia.org/wiki/Eigenvalues_and_eigenvectors). Yet all of those concepts were explored as abstract theory 100+ years prior. It is probably an *understatement* to say that Linear Algebra changed the world. Structurally, the theory of Linear Algebra is relatively light on definitional complexity. It would be beneficial for other experts to contribute examples of more sophisticated math that eventually led to significant practical applications, and how they came about. For example, number theorists might be able to tell a colorful story about [Hardy's "useless" math](https://en.wikipedia.org/wiki/A_Mathematician%27s_Apology) which eventually became useful in [cryptography](https://en.wikipedia.org/wiki/Safe_and_Sophie_Germain_primes). 3. [Other consequences] I think it would be valuable to invite the community to think about what changes the human flourishing axiom would drive, in light of the fact that [AI can produce formally-verifiable proofs](https://github.com/openai/NavierStokesAndEuler) at speeds that exceed most human practitioners. I'm happy to start with a few, in no particular order. There should be no stigma automatically attached to using AI to assist with mathematical discovery. (In software engineering, many companies now expect employees to use AI coding agents.) At the same time, serious thought and care must be taken to continuously developing and maintaining a pipeline of humans with the expertise to steer all of these AI agents. That pipeline includes people new to the field, as well as people who have been working at the frontier for decades. How should they keep their blades sharp? Researchers should be conscious about why the problems they think about have characteristics that make them likely to have some practical value eventually (possibly 100+ years later). This also means it is worth researching what those valuable characteristics are. (This could justify the value of curiosity-driven exploration.) Teaching has direct (hopefully positive) impact on humanity. Yet in the past, many universities prioritized professors' research. If this axiom were a core value, then teaching and human-facing work would become serious criteria in hiring and [tenure](https://en.wikipedia.org/wiki/Academic_tenure). Mathematicians can also consider wholly redirecting their skill sets to work on real world problems. I've actually been encouraging mathematicians to consider thinking about working on government or other large-scale societal issues. There is precedent for people with math backgrounds who have gone to lead at country- or world-scales. * [Lee Hsien Loong](https://en.wikipedia.org/wiki/Lee_Hsien_Loong) (Prime Minister of Singapore for 20 years) * [Nicușor Dan](https://en.wikipedia.org/wiki/Nicu%C8%99or_Dan) (President of Romania) * [Pope Leo XIV](https://en.wikipedia.org/wiki/Pope_Leo_XIV) (Leader of the Catholic Church) Indeed, the mathematical discipline to seek logical reasoning, and the problem-solving skills to find win-win solutions for human flourishing, are desirable characteristics of people in government. [An invitation] Does this axiom resonate with you too? Perhaps many people took it as a given, and so didn't express it explicitly. If it is widely held, I would be thrilled to see the mathematical community publicly declare it, and take actions to match the words. Then everyone (including the non-math-researchers that constitute the majority of the world) could trust that we intend to use our reasoning for their good.