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

A. 智能机的发现能力超过人类的发现能力。
B. 智能机的发现能力不可能超过人类的发现能力。
C. 人机交流已经基本实现。
D. 人机交流有对语用语言符号化的需求。
E. 智能机将加快科学发现的进程。