【单选题】

《符号逻辑》杂志刊载：智能机研究中，机器学习、人机交流的核心需求是对语用语言符号化。把语用的自然语言翻译成符号，机器认读后能完成学习，并可把发现的科学定理反馈人类，实现人机交流。

以下哪项最可能是上述陈述所支持的
A、智能机的发现能力超过人类发现能力。
B、智能机的发现能力不可能超过人类的发现能力。
C、人机交流已经基本实现。
D、人机交流有对语用语言符号化的需求。
E、智能机将加快科学发现的进程。