I'm playing ver. 85 on IOS XR and I've noticed that when I select an education building multiple times over a few minutes, the number of students in the schools changes weirdly. Some times it will decrease very rapidly, sometimes the number of students will stay the same for hours. The only way that I can see a change in the amount of education satisfaction of my colony is by going to statistics and looking at average IQ, happiness level and how much unhappiness is caused by lack of education.
For instance, one of my community colleges has had 112 students for hours after being built, and when I go into the status menu and view the status, some of them are sleeping and working, meaning they aren't in the building at all! There must be something wrong with the way that the education buildings detect how many colonists are inside them, since they can't possibly be at school if they are sleeping in their home or on the job.