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 b

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 https://x.com/gbrl_dick/status/2080416238606717052 (He's just been hired by OpenAI)