← All posts / Research

'Your House Is Not the Model Either': Lior Pachter's Answer to the Fields Medalists' AI Declaration

The computational biologist concedes that AI labs are misaligned with mathematics — then spends 3,000 words arguing the profession's own institutions, from the fate of Schauder to the mentorship crisis, disqualify themselves as the alignment target. His alternative: align to understanding, attribution, generosity, and students.

'Your House Is Not the Model Either': Lior Pachter's Answer to the Fields Medalists' AI Declaration

When 25 Fields Medal winners published A Severe Misalignment of AI in Mathematics on September 11, the letter landed as the strongest institutional rebuke the AI labs had ever received from science. Its core sentence — “The goals of the AI companies and the goals of the mathematical community are severely misaligned” — was quoted everywhere within hours. What nobody expected was the most interesting reply coming from outside pure mathematics altogether.

On September 12, Lior Pachter — the computational biologist and mathematician behind the long-running Bits of DNA blog, formerly of UC Berkeley and now at Caltech — published an essay with a deliberately pointed title: Align AI and Mathematics—to Something Else. Its argument is easy to summarize and uncomfortable to sit with: the medalists are right about the labs, and the labs are the smaller half of the problem.

The Concession Comes First

Pachter opens by doing something critics of criticism rarely do: he signs on to the substance. “They are right,” he writes, of the claim that AI companies’ goals are not aligned with “the primary goal of conceptual understanding and insight.” He affirms the letter’s sharpest specific charge — that AI solutions are being “announced in a rush, leaving no time for a proper writeup, the isolation of new methods and ideas, and citing relevant previous work of others.” Anyone who followed the Navier–Stokes affair of September 8, in which OpenAI’s 10,000-agent, 88-hour claimed solution ignited a priority dispute before the mathematical community had seen a reviewable proof, will recognize the injury being described.

Then he turns the same weapon around, with a dry parenthetical: the signatories themselves “released their letter quickly because they ‘did not have the time to have a more consultative process.’” The movement that condemns rush culture shipped its own manifesto on a rush schedule. If the irony is deliberate, it is brutal; if it is accidental, it is worse.

The Roll Call

What follows is the essay’s centerpiece: a survey of how the mathematics community actually treated the students and ideas in precisely the field the medalists’ letter was precipitated by — Navier–Stokes existence and smoothness, the Millennium Prize problem OpenAI claims to have resolved. Pachter’s method is to take the letter’s own standard — that a healthy profession treats students and ideas as its “most precious resources,” to be “nurture[d] with great care” — and audit the historical record against it.

Juliusz Schauder, of Leray–Schauder degree fame, earned his doctorate in 1923 and was denied university positions by antisemitism among mathematicians. He taught high school while producing serious mathematics. After the Nazis rose to power, he asked mathematicians around the world for help, and “numerous mathematicians declined.” Princeton denied him an invitation. He was eventually murdered by the Germans; his wife Emilia hid with their daughter, for a time living in sewers, before she too was killed in a concentration camp. Pachter’s refrain, repeated after each case: “Was this ‘nurture with care’?”

Olga Ladyzhenskaya proved global existence and uniqueness for the two-dimensional Navier–Stokes equations in 1958 using what is now called the Ladyzhenskaya inequality — foundational work for the very problem at the center of the current controversy. That same year, at 36, she was shortlisted for the Fields Medal and passed over. Pachter cites the 1958 committee’s own records showing its decisions were “not solely merit based”: Friedrich Hirzebruch was eliminated because he was “doing fine and did not need further encouragement,” while Grothendieck, judged the most talented after him, could “win later.” It took fifty-six more years for the first woman, Maryam Mirzakhani, to receive the medal. Of the 25 signatories of the misalignment letter, Pachter notes, exactly one is a woman.

Karen Uhlenbeck, after her 1968 PhD, was told matter-of-factly that “people did not hire women” and that women were supposed to “go home and have babies.” MIT, Stanford, and Princeton were interested in her husband but not her; “nepotism rules” were invoked that she later could not find evidence ever existed. Cathleen Morawetz — first woman to direct the Courant Institute, president of the AMS — was answered by Saunders Mac Lane, when she raised the scarcity of women in mathematics, with “Well, mathematics is a very difficult subject.”

The catalog goes on: Julia Robinson barred from teaching mathematics at Berkeley for 35 years under the same phantom nepotism rule, and required to document to the personnel office what she worked on “every single day”; Yitang Zhang told by his advisor that “no Chinese student is good”; a Berkeley faculty meeting where a senior professor, asked how he was helping a graduate student in his ninth or tenth year, replied “I’m doing nothing. He’s stupid.” Pachter’s conclusion is blunt: this is “not a secret and it’s not an open secret. It’s just common knowledge.”

Why the Signatures Bother Him

Pachter also raises a quieter, structural objection: why the signatories signed as “Fields medalist,” in parentheses, rather than by affiliation. Prizes, he argues, “encode judgments about which mathematics, and therefore which mathematicians, matter” — he quotes Erdős on Szemerédi being passed over because “the people who decide are not that interested in combinatorics.” The honor certifies extraordinary mathematical ability; it does not certify stewardship of the profession. “Mathematical ability,” he writes, “is not the same as mathematical responsibility.” If you want testimony about whether the community nurtures its members, the witnesses you need are not the ones the system elevated most smoothly — they are “mathematicians whose careers were derailed by lack of mentorship and nurturing.”

The Actual Thesis

Strip away the roll call and the essay’s positive claim is compact. Yes, there is a severe misalignment of AI in mathematics — Pachter never disputes the diagnosis. But “alignment of AI with the existing mathematics community should not be the goal. The history of mathematics gives us little reason to treat the profession’s existing incentives, hierarchies, and institutions as a model.” The right question is not what should AI align to that already exists, but what should both the labs and the profession be aligned to. His answer: “understanding, attribution, intellectual generosity, and the nurturing of students and ideas, and not merely the production or recognition of results.”

Read that list against the two sides of the September feud and it cuts both ways. “Production of results at speed, with thin attribution” is a fair description of what the medalists accuse OpenAI of. But “recognition of results” — prizes, priority, the Fields apparatus itself — is Pachter’s description of what the medalists’ letter implicitly defends. He is refusing to pick a side in a fight between two status systems, and proposing a standard external to both.

Why This Matters Beyond Mathematics

The timing is what gives the essay weight. The Navier–Stokes priority controversy has already produced a Wikipedia page, a withdrawn sponsorship of Caltech’s “Mathathon,” and a discipline-wide fight over verification obligations. Meanwhile the wider AI-safety debate spent the same week consumed by CEOs calling for slowdowns, a House Speaker refusing emergency legislation, and researchers resigning over reckless scaling. Pachter’s contribution is to notice that “alignment” as practiced in that discourse almost always means align the new thing to my institution — and that this is a claim requiring audit, not deference.

It is also a rare specimen genus: a critique of AI criticism that is not pro-lab. Pachter grants the labs nothing. His charge against them stands in full — rushed announcements, missing writeups, uncredited prior work, verification costs dumped on strangers. What he denies is that the petitioners’ house is the natural beneficiary of the labs’ reform. That distinction — between criticizing the offender and certifying the accuser — is the essay’s exportable insight, and it applies to every domain where AI is colliding with an existing profession right now.

The mathematical community now has, in the space of four days, its declaration and its first substantive dissent. Both agree the labs are the problem. Only one of them asks whether the profession asking for alignment has earned it. That question is now on the table, and it will not be answered in parentheses.