Adele_L comments on Ganesalingam and Gowers on automated theorem-proving

[Adele_L]

Also, high school geometry is much simpler than mathematics in general, and there are good automatic theorem provers for geometry.