Mathematics in the age of AI
5 korrents from this paper
In plain words
If AI can do research math, the community must make explicit what it really values, because chasing solutions alone will no longer serve the rest of the enterprise. Without that, correct proofs will pile up faster than anyone can understand, accept, or fold into the standard theory, and systems built for scarce proofs will strain under abundance. It is an essay arguing a position that assumes AI capability is coming and uses problem solving as a case study to unpack what the field actually optimizes for once those goals stop lining up.
Our summary of the paper, not the authors' words — written to be readable without the field's vocabulary, from the stored copy of the paper and nothing else. Drafted with xai:grok-4.5 and checked by a person. The authors' own sentences are the quotes below.
Near this, by wording
Papers whose claims are worded most like this one's, found by the same hourly pass that draws the map. It is a measure of LANGUAGE, not of agreement or of citation: two papers can be near each other here and flatly contradict one another.
Terence Tao did not write this page.
Every claim below was made in this piece, quoted word for word and numbered in the order the piece makes them, so you can read it there rather than take our word for it. The sentence above each quote is our reading of the claim, not their wording. Each quote was checked against a stored copy of the page at build time; where the two differ, the quote is the fact.