去世37年后，这位苏联数学家在AI圈火了