Comment by nl

It's wrong - most of this work was published before 2024.

But Tsimerman in particular is very AI pilled and has talked about how he thinks LLMs will be doing better work that most mathematicians in 2 years: https://x.com/gbrl_dick/status/2080416238606717052

(He's just been hired by OpenAI)