• AlphaGeometry - ИИ-система, решающая геометрические задачи с Международной математической олимпиады.
• AlphaGeometry использует традиционный алгоритм DD+AR для решения задач.
• DD+AR основан на использовании циклических четырёхугольников и подобных треугольников.
• AlphaGeometry может решить 21 из 30 задач ММО без использования ИИ.
• AlphaGeometry может быть полезным инструментом для генерации задач и проверки их на отсутствие очевидных решений.
• AlphaGeometry не стала первым шагом по замене людей в математике искусственным интеллектом.