Comment by Gigachad
7 hours ago
I’m not deep in to math but the op tweets make sense to me. In that it’s not just the final proof that mattered, but the mind and understanding of the person who arrived at the answer. An LLM dumping the answer can’t elaborate on it, can’t tell the story of how they got there, etc. But it also deprives someone else of that achievement and learning.
You can see it in the way we structure college courses: engineering curricula often cover in one semester what mathematicians study over one or two years.
This is because have fundamentally different goals: being able to use results in calculation versus having a deeper understanding of the subject matter.