第174章 它竟然还会解题的(4/5)
”
“哈哈，库克先生，别开玩笑了，你不懂技术。我们必须得承认有为的群智智能语音的确出乎了我们的意料，但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能！
事实上，大语言模型很难理解数学语言。这也是为什么我们有了chatgpt，却还要研究lean的原因。两者的逻辑并不一样，后者使用的神经定理证明器，更重视字符串的转化。”
“非常感谢你为我解惑，菲利普，我的朋友，谢谢你。”
“不必客气，库克先生，举手之劳而已。如果没有别的事，那么我还要忙着制定下阶段的试验计划了。”
“当然，再见。”
挂了电话，蒂姆·库克毫不犹豫的拨通了另一个电话：“苏菲，今天我要减持6，哦，不，八千万美元的苹果股票…对，不管用什么方法尽快完成交易…好吧，帮我找个理由…也许我只是想做慈善了，要把这笔钱捐出去呢？…嗯，交给你了！”
说完，蒂姆·库克面无表情的挂断了电话，随后拧眉陷入思索之中。
他第一次开始思考将产业链转移出华夏的决定是否正确。
另外他已经刷新了长期担任一家世界级公司ceo的记录了，是否还应该坚持下去？
华夏，西林。
李建高体验到了树欲静而风不止的感觉。
他既然知道了乔泽的新论文今天将在《数学年刊》上发布，回学校后，自然也第一时间下载了论文开始研究。
在他看来起码今天晚上会是很平静的。
不管乔泽的论文再出彩，也得读完才能开始讨论。
看了乔泽这篇论文的标题跟页数，李建高便能肯定，没有一周甚至更长时间的沉淀，数学界根本没法对这篇论文下定论。
真就像丹尼尔在脸书上说的那样，并不是所有人都能第一时间读懂这篇论文的。
这玩意也要时间去解读。
具体到某个引理的证明过程，想要看懂需要了解诸多的数学概念跟公式。
就比如李建高，也看不懂。
不过这到没什么需要惭愧的。
毕竟乔泽这篇论文前面的引理主要是关于偏微分方程这块的工具，跟李建高浸淫的方向并不一样，需要时间去熟悉而已。
正经数学家，不会在还没通读论文，甚至没看懂证明过程的时候，就开始讨论。
所以在李建高想来，起码这些天不管是挺乔泽的，还是想要挑错的，应该都会很安静。
有什么事，大家先读完论文才能开始讨论。
但谁能想到，才刚刚晚上十点多，他正想着是不是该给已经开始约会的未来准女友发条微信，问候一声的时候。
微信里一帮大佬们又开始疯狂私聊或者他了。
“建高呢？赶紧出来，这又是你家乔泽的杰作吧？李建高。”
“咦，老陈，你也注意到了？刚才我学生告诉我，微博上有人工智能指导写论文，我还纳闷呢，不过一看那个乔哥我就反应过来了，肯定跟乔泽脱不开关系。”
“到底什么情况？这可突破底线了啊！那小子的论文我连第二个引理都还没琢磨明白呢，突然又放大雷了？建高啊，你家那个小家伙能安静两天别折腾了吗？我们知道你有个好学生可以了吧？”
“是啊，这小子也太能折腾了。不过这好像跟那孩子的性子不符啊？我记得都说乔泽不喜欢出风头的。”
窥了眼群聊，没上微博压根不知道发生了什么的李建高只觉得一头雾水。
微博？
乔泽还学会上微博了？
但很快徐大江也在微信上连续给他发了一堆图片，他刚才把这些图片翻了一遍，徐大江又一个电话打了过来。
“建高，这又是怎么回事？之前乔泽不是把那个项目交给有为了吗？怎么突然又放了这么个东西出来？你知道情况吗？”
李建高很诚实的回答道：“徐院长，我还真不知道。”
一句话，再次把两个人都干沉默了。
李建高也的确感觉到有些不好意思。
毕竟理论上来说，乔泽未来会是他的学生。
但不管是乔泽最新投稿了论文，还是这个明显跟乔泽脱不开关系的豆豆，连续两件闹出了极大动静的事情，李建高竟然都不知道，这就多少显得有些做未来导师的人不太合格了。
于是半晌后，徐大江幽幽的声音才传入李建高耳中：“这个，小李啊。谈恋爱对你这个年纪来说的确是好事，但也不要疏于关心孩子的成长不是？乔泽的事情你多少还是要上点心的，不然啥都不知道，学院这边很被动啊。
刚刚老陈还打电话把我批了一顿，说是这么大事为什么不先通知学校。你说我啥都不知道咋通知啊？最气人的是，我还不好直接跟老陈说我啥都不知道。”
这话李建高是真没法接。
他是疏于对乔泽的关心吗？
他是根本这不知道该怎么去关心了好吧！
乔泽这孩子的能力摆在那里，根本不需要他关心什么。
他甚至都不太敢自认是乔泽的导师，最多只能算个引路人。
“徐院长，说实话，乔泽现在已经有自己的主见了，我其实也不知道该怎么关心。你也知道，我现在都是被他往前推着走。想停下来休息都难，您让我咋办？”
又是一阵尴尬的沉默。
徐大江是羡慕李建高的。
但
“哈哈，库克先生，别开玩笑了，你不懂技术。我们必须得承认有为的群智智能语音的确出乎了我们的意料，但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能！
事实上，大语言模型很难理解数学语言。这也是为什么我们有了chatgpt，却还要研究lean的原因。两者的逻辑并不一样，后者使用的神经定理证明器，更重视字符串的转化。”
“非常感谢你为我解惑，菲利普，我的朋友，谢谢你。”
“不必客气，库克先生，举手之劳而已。如果没有别的事，那么我还要忙着制定下阶段的试验计划了。”
“当然，再见。”
挂了电话，蒂姆·库克毫不犹豫的拨通了另一个电话：“苏菲，今天我要减持6，哦，不，八千万美元的苹果股票…对，不管用什么方法尽快完成交易…好吧，帮我找个理由…也许我只是想做慈善了，要把这笔钱捐出去呢？…嗯，交给你了！”
说完，蒂姆·库克面无表情的挂断了电话，随后拧眉陷入思索之中。
他第一次开始思考将产业链转移出华夏的决定是否正确。
另外他已经刷新了长期担任一家世界级公司ceo的记录了，是否还应该坚持下去？
华夏，西林。
李建高体验到了树欲静而风不止的感觉。
他既然知道了乔泽的新论文今天将在《数学年刊》上发布，回学校后，自然也第一时间下载了论文开始研究。
在他看来起码今天晚上会是很平静的。
不管乔泽的论文再出彩，也得读完才能开始讨论。
看了乔泽这篇论文的标题跟页数，李建高便能肯定，没有一周甚至更长时间的沉淀，数学界根本没法对这篇论文下定论。
真就像丹尼尔在脸书上说的那样，并不是所有人都能第一时间读懂这篇论文的。
这玩意也要时间去解读。
具体到某个引理的证明过程，想要看懂需要了解诸多的数学概念跟公式。
就比如李建高，也看不懂。
不过这到没什么需要惭愧的。
毕竟乔泽这篇论文前面的引理主要是关于偏微分方程这块的工具，跟李建高浸淫的方向并不一样，需要时间去熟悉而已。
正经数学家，不会在还没通读论文，甚至没看懂证明过程的时候，就开始讨论。
所以在李建高想来，起码这些天不管是挺乔泽的，还是想要挑错的，应该都会很安静。
有什么事，大家先读完论文才能开始讨论。
但谁能想到，才刚刚晚上十点多，他正想着是不是该给已经开始约会的未来准女友发条微信，问候一声的时候。
微信里一帮大佬们又开始疯狂私聊或者他了。
“建高呢？赶紧出来，这又是你家乔泽的杰作吧？李建高。”
“咦，老陈，你也注意到了？刚才我学生告诉我，微博上有人工智能指导写论文，我还纳闷呢，不过一看那个乔哥我就反应过来了，肯定跟乔泽脱不开关系。”
“到底什么情况？这可突破底线了啊！那小子的论文我连第二个引理都还没琢磨明白呢，突然又放大雷了？建高啊，你家那个小家伙能安静两天别折腾了吗？我们知道你有个好学生可以了吧？”
“是啊，这小子也太能折腾了。不过这好像跟那孩子的性子不符啊？我记得都说乔泽不喜欢出风头的。”
窥了眼群聊，没上微博压根不知道发生了什么的李建高只觉得一头雾水。
微博？
乔泽还学会上微博了？
但很快徐大江也在微信上连续给他发了一堆图片，他刚才把这些图片翻了一遍，徐大江又一个电话打了过来。
“建高，这又是怎么回事？之前乔泽不是把那个项目交给有为了吗？怎么突然又放了这么个东西出来？你知道情况吗？”
李建高很诚实的回答道：“徐院长，我还真不知道。”
一句话，再次把两个人都干沉默了。
李建高也的确感觉到有些不好意思。
毕竟理论上来说，乔泽未来会是他的学生。
但不管是乔泽最新投稿了论文，还是这个明显跟乔泽脱不开关系的豆豆，连续两件闹出了极大动静的事情，李建高竟然都不知道，这就多少显得有些做未来导师的人不太合格了。
于是半晌后，徐大江幽幽的声音才传入李建高耳中：“这个，小李啊。谈恋爱对你这个年纪来说的确是好事，但也不要疏于关心孩子的成长不是？乔泽的事情你多少还是要上点心的，不然啥都不知道，学院这边很被动啊。
刚刚老陈还打电话把我批了一顿，说是这么大事为什么不先通知学校。你说我啥都不知道咋通知啊？最气人的是，我还不好直接跟老陈说我啥都不知道。”
这话李建高是真没法接。
他是疏于对乔泽的关心吗？
他是根本这不知道该怎么去关心了好吧！
乔泽这孩子的能力摆在那里，根本不需要他关心什么。
他甚至都不太敢自认是乔泽的导师，最多只能算个引路人。
“徐院长，说实话，乔泽现在已经有自己的主见了，我其实也不知道该怎么关心。你也知道，我现在都是被他往前推着走。想停下来休息都难，您让我咋办？”
又是一阵尴尬的沉默。
徐大江是羡慕李建高的。
但
本章未完，点击下一页继续阅读