Litt: AI acts as a Google substitute without doing deep intellectual math work
“What I've found is that the projects that I have that kind of predate AI, like the projects I've been thinking about for three or four or five years it's just not that useful. Like, it's primarily kind of a substitute for Google or something. Like, I might use…”
Litt: AI models successfully proved lemmas in one of his published papers
“So I've, I have one paper out so far where the models were kind of useful. So they, like, proved a couple lemmas in the paper.”
Litt: Academic hiring incentives push math postdocs to generate AI slop
“Right now, I think, like, the existing incentive structures for math research do not do not encourage people to do that. So, you know, right now, if you're, like, a postdoc on the market, you want to get a job maybe for the next couple years before the communi…”
Litt: Prompting AI generated three correct algebraic geometry papers in one hour
“Here's an experiment you can do, you can take codecs, you can say, go online, find five recent conjectures in algebraic geometry and prove them, and ok, I've run this experiment, and with some back and forth, I was able to, you know, in an hour, get like three…”
Litt: Multiple preprint papers have appeared with identical AI-generated proofs
“Like, sometimes, you know, we've seen examples where, like, three or four or five papers with the exact same proof of the exact same theorem have come out in, within a couple days of each other, which is clearly, you know, some situation where someone's playin…”
Litt: Society will still need human mathematicians even if AI becomes superhuman
“So, like, let's suppose the models become, like, really robustly superhuman, like, even, like, we're not even adding, like, meaningful cognitive diversity. Like, I claim, like, still, actually, we still want human mathematicians.”
Litt: Cheaper, lower-quality AI outputs risk displacing high-quality human work
“Like, you have a new technology that's doing something a little bit worse than was previously done, but much cheaper, and so you get a lot of, suddenly, a lot of, like, low-quality outputs that are displacing previous high-quality outputs.”
Litt: Amateur AI math submissions are a net positive showing public enthusiasm
“So there's definitely also, like, slop coming from non-experts, but that I kind of actually don't see as a net negative. Like, ok, there's a lot of, now there's a lot of, like, documents on the internet one might have to comb through to figure out if a problem…”
Litt: AI mathematical results can only be properly evaluated in retrospect
“One thing I always say about a model result is, like, you cannot evaluate it except in retrospect, and like, this is also true of human mathematics. Like, sometimes a problem we thought was really important or would require really deep new ideas does not, and …”
Litt: Math education remains valuable for clear thinking despite advanced AI
“I think a lot of what we educate people for is, like, pretty robust changes in the nature of the world. Like I think the reason to learn math has always been, like, to think clearly and, like, better understand the world, and, like, presumably that's something…”