AI firm aims to free up parents and teachers from checking children’s maths homework