[overgard]

I imagine the concern is more towards using LLM's to create proofs rather than using them to understand things.

[rad_val]

i haven't read their memo, but, the article talks about math being something deeply human and the AI taint. I think it's a bit of both.