Une information qui intéressera peut-être la communauté didactique, le moteur d’IA AlphaGeometry (Google) a désormais atteint le niveau d’un très bon élève de lycée sur des exercices de type Olympiad.

Trinh, T.H., Wu, Y., Le, Q.V. et al. Solving olympiad geometry without human demonstrations. Nature 625, 476–482 (2024). https://doi.org/10.1038/s41586-023-06747-5