Well, seems like [it's getting better](https://terrytao.wordpress.com/2025/11/05/mathematical-exploration-and-discovery-at-scale/) (although not perfect) compared to what I remembered.

![](https://m.stacker.news/118159)

south_korea_ln

AI is actually bad at math, ORCA shows

0xbitcoiner

Seems to resonate with Terence Tao's current opinions on AI in math.
From memory, he likens it to a low-level PhD who can do some of the drudge work, makes several mistakes, and needs a lot of guidance. Couldn't find a specific source on this, so don't fully trust my memory.

Instead, found this thread where [he contextualizes the recent news where AI models would obtain gold medals at the IMO](https://mathstodon.xyz/@tao/114881418225852441). Tl;dr: don't always believe AI companies' claims (duh).