数学家追了13年，OpenAI用88小时跑完最后一程