ИИ DeepMind решает задачи по геометрии на уровне международной олимпиады
https://hightech.plus/2024/01/18/ii-deepmind-reshaet-zadachi-po-geometrii-na-urovne-mezhdunarodnoi-olimpiadi

Исследователи протестировали AlphaGeometry на 30 геометрических задачах Международной математической олимпиады (IMO), которые считаются сложными даже для опытных математиков. Система решила 25 задач за стандартное время в 4,5 часа, что соответствует среднему баллу золотых медалистов, решивших аналогичные задачи.