I didn't say "faster" I said "more time teaching" which is, you know, the purpose of the exercise. There's nothing morally repugnant about removing labor to free up time for other, more important things (unless you're a Luddite or a Calvinist, I guess).
How is our hypothetical teacher gaining "more time teaching" except by having AI 'complete' their other tasks *faster*? If faster, I ask, at what cost?
All technology use involves a tradeoff or reshaping of ourselves of some kind, in that it automates or precludes the practice of some other craft or art. So even in mundane examples (dishwasher, computer, etc) the situation is not as neat as you say. Technology is never neutral. AI, however, is especially significant in that it automates and precludes not just some external routine act of art or skill but our actual thought processes themselves; the fountainhead out of which our other crafts and skills flow. By pulling technology a full "layer of the onion" towards the center of what makes us human, it has accordingly greater potential to disrupt and reshape.
What we delgate to technology first atrophies, and later dies.
There might not be proof but there is an abundance of reasons why believing that it's entirely possible life exists makes a hell of a lot more sense than an all-powerful deity. You can disagree but there actually is proof; we're here which means it is 100% possible life can be created out of non-life with the right building blocks and environment. With the trillions of star systems in the universe and trillions of planets why do you have faith that we're somehow special?
Indeed, I think extraterrestrial life is a perfectly natural and rational expectation for the atheist. The only origin story that 100% avoids the conclusion "Abiogenesis is 100% possible" is special creation (of some variety) and the theism (of some variety) that it necessarily entails. If there is no God, and if it isn't 'turtles all the way down', then Abiogenesis of some kind is not only possible but certain! Without God, the Fermi Paradox gets nasty- much, much more challenging to resolve.
Eureka! -- Archimedes