One big claim of developers of ChatGPT and other AI writing tools is that they free up teachers and students time for more meaningful work. What happens if we really do use time as the metric of value for these tools?