Theory on JoeDoesMaths. An interactive, AI-driven GCSE mathematics revision platform designed to gamify .