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

A.智能机的发现能力超过人类发现能力。

B.智能机的发现能力不可能超过人类的发现能力。

C.人机交流已经基本实现。

D.人机交流有对语用语言符号化的需求。

E.智能机将加快科学发现的进程。