Comment by sublinear
10 hours ago
> for some the value is in the understanding of how to get from the problem to the solution
All of the value is in this understanding.
So many people are still in denial about it, but "AI" really is just a natural language search engine. AI helps organize what has already been written by humans and was technically self-evident from our work.
If we allow ourselves to continue down this anti-intellectual path and stop caring about why proofs work, we've basically entered another dark age.
I'm not saying AI can't possibly help at all with building intuition, but clearly there are a lot of idiots in the class who just gotta raise their hand first to blurt out whatever trash they come up with on impulse. Those people need to be told to sit the fuck down already. Their uncontrolled ADHD is ruining everything. There's nothing intelligent about mindlessly rushing to compute an answer. That is literally what the last few years have felt like for everyone else.
> AI helps organize what has already been written by humans and was technically self-evident from our work.
I am not 100% sure about the "self-evident" part here.
To your point: yes, AI doesn't come up with new axioms. But then we enter the topic of "math is invented or discovered?". Each of the discoveries are logical consequences of the axioms, but that doesn't mean they were "self-evident", especially for humans.
If everything was already self-evident, AI would just be a useless tautological machine. However, I think it is more than just that