IN NATURE of December 24 (p. 189) a simple proof of Euclid II. 9 and 10 is given, which it is stated is believed to be new. It may therefore be of interest to your readers to know that these ...

The company’s AlphaGeometry2 reaches the level of gold-medal students in the International Mathematical Olympiad.