AlphaGeometry от Deepmind решает сложные задачи по геометрии