← Back to context

Comment by ThrowawayR2

5 hours ago

Terence Tao himself answers that question (https://www.nature.com/articles/d41586-026-01246-9) :

"In almost any other application, the biggest Achilles heel of AI is that it makes unverifiable mistakes. But in mathematics, almost uniquely, you can automatically check the output — at least if the output is supposed to be the proof of a theorem, although that is not the only thing mathematicians do. So, AI companies have recognized that their most unambiguous successes — if they’re going to have any — are going to come from mathematics.

In my opinion, there are many use cases of AI that are risky and controversial. In mathematics, the downsides are much more limited"

AI successes in mathematics don't generalize to successes in other fields as the AI promoters want to suggest.