第186节 (第4/7页)

大语言模型很难理解数学语言。这也是为什么我们有了chatgpt，却还要研究lean的原因。两者的逻辑并不一样，后者使用的神经定理证明器，更重视字符串的转化。”

    “非常感谢你为我解惑，菲利普，我的朋友，谢谢你。”

    “不必客气，库克先生，举手之劳而已。如果没有别的事，那么我还要忙着制定下阶段的试验计划了。”

    “当然，再见。”

    挂了电话，蒂姆·库克毫不犹豫的拨通了另一个电话：“苏菲，今天我要减持6，哦，不，八千万美元的苹果股票……对，不管用什么方法尽快完成交易……好吧，帮我找个理由……也许我只是想做慈善了，要把这笔钱捐出去呢？……嗯，交给你了！”

    说完，蒂姆·库克面无表情的挂断了电话，随后拧眉陷入思索之中。

    他第一次开始思考将产业链转移出华夏的决定是否正确。

    另外他已经刷新了长期担任一家世界级公司ceo的记录了，是否还应该坚持下去？

    ……

    华夏，西林。

    李建高体验到了树欲静而风不止的感觉。

    他既然知道了乔泽的新论文今天将在《数学年刊》上发布，回学校后，自然也第一时间下载了论文开始研究。

    在他看来起码今天晚上会是很平静的。

    不管乔泽的论文再出彩，也得读完才能开始讨论。

    看了乔泽这篇论文的标题跟页数，李建高便能肯定，没有一周甚至更长时间的沉淀，数学界根本没法对这篇论文下定论。

    真就像丹尼尔在脸书上说的那样，并不是所有人都能第一