Một hệ thống AI do Google DeepMind - phòng nghiên cứu AI hàng đầu của Google, phát triển đã giải được đề Toán cực khó, vượt qua những người giành Huy chương Vàng Olympic Toán học quốc tế.
Không chỉ là người giành điểm tuyệt đối, Lê Bá Khánh Trình còn được trao giải đặc biệt tại Olympic Toán học quốc tế (IMO) năm 1979 nhờ tài năng xuất sắc của mình.