I’m also for banning it in the sphere of education. First off for much of education the student is not on a quest to discover novel things. But rather to learn known concepts. Meaning the answer is not the point. The exploration of the student is the point. Having shortcut machines to the answer are detrimental.
Secondly it’s unclear whether shortcuts to many “answers” are wholly beneficial in many cases outside the academic sphere. Hence scandals when for example video educators use AI in their material. Or the general push back on AI writing, website design, etc. These answers are being pushed back on.
But why would there be any difference between a teacher giving you the shortcut or AI giving you the shortcut?
AI can give you 1000s of exercises and explain in great detail exactly how to solve them, and what you're doing wrong, as well as where you suck, explore other ways of solving and where you should improve. Learning to integrate or solve differential equations with Gemini is 10x better than even the good teachers I've had. It beats bad teachers because it's just simply better than them, and it really increases what you can learn from good teachers.
And the same goes for critiquing writing, whether code or prose. I do prose like 1/10th of the time, code much more often, but the problem with my writing is usually relatively basic grammar and consistent style problems. Also using codex with "I've written X, break my code" usually gives ... I should say usually more insight than I was ready for.