Gary Marcus
@GaryMarcus
诺亚·史密斯(@noahopinion)已经变得极度在智力上不诚实。
如果他真的关注这个领域,他会
a. 理解纯大型语言模型(LLMs)与具有神经符号工具、代码解释器、验证器的LLMs之间的区别
b. 意识到我整个职业生涯的一个核心点,在长达30年的工作中,是倡导神经符号混合(通常遭到该领域的极大反对)。
c. 意识到数学的巨大飞跃来自于向神经网络添加神经符号组件(尤指工具和特别是Lean)。
d. 意识到数学上的那个巨大飞跃实际上*证明了*我的核心观点。
然而,他完全忽略了这一切,却断章取义地进行了廉价攻击。(虽然我承认我对数学的时机把握不对。)
—-
*正如陶哲轩所指出的,仍然有许多事情是(一些)世界顶级数学家可以做到的,比如发明新的原理,以及撰写清晰的证明, 据我所知,人工智能尚未做到这些,尽管当然其成果非常令人印象深刻。