人工智能口语翻译发展史，源头来自IBM？