As of: 2026-10-10 14:45 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/p/2026-10-03-szegedy-quo-vadis-mathematics/

# Christian Szegedy, "Quo Vadis, Mathematics?": 'Mathematics is about to graduate'

Christian Szegedy (@ChrSzegedy), docs.google.com, 2026-10-03.
Source: https://docs.google.com/document/d/e/2PACX-1vTSh-pyNP3Gi99WMmsinnLmE9V5CDI0HEm6WGbIPMNt3V5SGlClHF8-BetotKHOImrvQDSXmFdiOw8D/pub

## Why it matters

Widely translated essay (36Kr, Huxiu, iFeng, AI Weekly) by a pioneer of AI theorem proving arguing that AI ends the era of 'lone climbers' in mathematics; a counterpoint to the mathematicians' statements on AI.

## Summary

Essay published as a public Google Doc dated Oct 3, 2026 and signed by Christian Szegedy (title "Quo Vadis, Mathematics?"; the Chinese and English press called it "Where Is Mathematics Going?"). Using an extended metaphor of mathematicians as climbers mapping an unmapped wilderness and AI as airplanes, he argues that AI tools now have the "range and reliability" to explore the whole territory, that mathematics will become "a full-scale industry", and that the valuable skills will be choosing terrain, "steering fleets of airplanes" and explaining results. He mentions his brother Balázs (a mathematician) as an early adopter of these changes. The doc names no specific AI models. Authorship confirmed from the document itself on 2026-10-10 (an earlier lead had wondered whether it was by Balázs Szegedy). No X post linking it was found.

## Archived text

> Short quotes:
> > Mathematics is about to graduate. It will grow into a full-scale industry and become the true infrastructure of all scientific and technological progress.
>
> > Do not bet against the airplane. The skeptics who say AI can't conjecture, can't theorize, and can't explain are describing last spring's models.
>
> > The age of lone climbers is closing, and the age of mapping the whole continent is opening.


## Cited in

- 2026-09-30: [Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help](https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/)