Công cụ giải toán mang tên AlphaGeometry2 của Google DeepMind đã có sự cải tiến so với phiên bản trước, giải được 84% đề thi hình học IMO trong 25 năm qua.