This paper suggests that artificial intelligence in education (AIEd) can be fruitfully analysed as 'policies frozen in silicon'. This means that they exist as both materialised and proposed problematisations (problem representations with corresponding solutions). As a theoretical and analytical response, this paper puts forward a heuristic lens that can provide insights into how AI technologies (or advocated AI technologies) function as proposed solutions to certain problematisations based on various imaginaries about how education and learning are best performed or supported. The combined reading of imaginaries and problematisations can thereby aid in our understanding of why and how visions of learning and education are framed in relation to AIEd developments. The overall ambition is to advance theoretical and analytical approaches towards an educational system which is (anticipated as) increasingly permeated by AI systems--systems that also support and implement, more or less, invisible models, standards and assessments of learning, as well as more grand visions of (technology-augmented) education in society.