If you take math test scores from high schoolers and use them as a measure of the population's underlying mathematical ability distribution and run the numbers, you predict basically the male-female split that Harvard has, which leaves nothing left for sexism to explain.

I've seen this said before (notably, Larry Summers took a lot of heat for saying it) and it seems like the kind of thing that might well be true, but I've never seen the actual numbers. Have you actually done the calculations?