Most claims about AI in education lack the evidence to back them. — Synthesis