Artificial Intelligence is tackling Euclidean plane geometry:
Trieu H. Trinh et al., Solving olympiad geometry without
human demonstrations, Nature Jan. 2024,
<
https://www.nature.com/articles/s41586-023-06747-5.pdf>
The neuro-symbolic system AlphaGeometry combines a language model (deep
neural network) with a symbolic deduction engine to solve olympiad
problems in Euclidean plane geometry.
Martin.