3 ms·
I imagine the concern is more towards using LLM's to create proofs rather than using them to understand things.
by overgard 5mo ago
I imagine the concern is more towards using LLM's to create proofs rather than using them to understand things.
- rad_val 5mo agoi 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.