超级兵书屋

手机浏览器扫描二维码访问

第186章（第2页）

“如果我告诉你，这道题的解题过程是一个AI系统在很短的时间内给出的回答，你有什么想法？”

“极短时间内？嗯……如果你没在开玩笑的话……我很难想象。因为这已经超过了我们正在研究的AI—Lean。我不知道你是否知道Lean，这是微软2013年推出的一款旨在帮助数学家解决数学问题的专用AI软件。

最近我们用它解决了两道奥数难题，文章发在了《科学》上。但如果跟这个题涵盖的范围比起来……你应该是弄错了。这个领域我还从没听说过有比lean更领先的软件。”

听了菲利普这番话，蒂姆·库克没有辩解什么，他甚至懒得告诉对方，这样的图片还有很多。而是继续问道：“那么菲利普，如果我说这是一个大语言模型在很短时间内给出的答案，甚至还同时给了许多数学问题的答案，你是否觉得更不可能？”

“哈哈，库克先生，别开玩笑了，你不懂技术。我们必须得承认有为的群智智能语音的确出乎了我们的意料，但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能！

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

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

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

“当然，再见。”

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

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

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

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

……

华夏，西林。

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

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

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

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

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

真就像丹尼尔在脸书上说的那样，并不是所有人都能第一时间读懂这篇论文的。

这玩意也要时间去解读。

具体到某个引理的证明过程，想要看懂需要了解诸多的数学概念跟公式。

就比如李建高，也看不懂。

不过这到没什么需要惭愧的。

毕竟乔泽这篇论文前面的引理主要是关于偏微分方程这块的工具，跟李建高浸淫的方向并不一样，需要时间去熟悉而已。

正经数学家，不会在还没通读论文，甚至没看懂证明过程的时候，就开始讨论。

所以在李建高想来，起码这些天不管是挺乔泽的，还是想要挑错的，应该都会很安静。

有什么事，大家先读完论文才能开始讨论。

但谁能想到，才刚刚晚上十点多，他正想着是不是该给已经开始约会的未来准女友发条微信，问候一声的时候。

微信里一帮大佬们又开始疯狂私聊或者@他了。

“建高呢？赶紧出来，这又是你家乔泽的杰作吧？@李建高。”

“咦，老陈，你也注意到了？刚才我学生告诉我，微博上有人工智能指导写论文，我还纳闷呢，不过一看那个乔哥我就反应过来了，肯定跟乔泽脱不开关系。”

赶海归来女儿给她找个妈我了歪了  刃恒：100天，从恋爱到结婚  桃花弄  没有鸿钧，这洪荒正经？  魂穿七零嫁个二婚男养娃又养家  穿越之轮回重生  只手遮天之玩转朝堂  侯府双骄  不回城了，老婆孩子热炕头更香  游戏降临：我乔楚重生只干三件事  天下凶神  双人方块求生，性感萝莉终成娇妻  开局铁砂掌大成，掀翻鬼吹灯！  失乐园之规则囚笼  快穿万人迷之反差引诱  时光不等旧爱  爷勿问我爱情  嗟仙  特工杀手带亿万物资穿七零拽翻天  紫云符箓传