I imagine the concern is more towards using LLM's to create proofs rather than using them to understand things.
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.
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.