Education New AI tool aims to protect students' 'productive struggle' while giving feedback on proofs Hannah Sloane · October 23, 2026