AI in Mathematics

I wrote a blog post for Proofs and Prompts, a virtual common room for mathematicians wishing to discuss AI.

It aims to raise some questions about the use of reasoning traces in Mathematics research.

Read and engage with it here!