A.I.'s Latest Challenge: The Math Olympics.

The article reports on the presentation of an artificial intelligence model, called AlphaGeometry, developed by computer scientist Trieu Trinh during the Artificial Intelligence Mathematical Olympiad Prize competition. Topics mentioned include the use of the model to prove of Olympiad theorems, a description of AlphaGeometry as a neural net language model with artificial reasoning, and the key features of the model.