超神级学霸_第186节 首页

字体:      护眼 关灯

上一页 目录 下一页

   第186节 (第2/3页)

解题过程是一个ai系统在很短的时间内给出的回答,你有什么想法?”

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

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

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

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

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

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

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

    “当然,再见。”

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

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

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

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

    ……

    华夏,西林。

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

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

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

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

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

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

    这玩意也要时间去解读。

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

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

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

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

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

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

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

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

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

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

    “咦,老陈,你也注意到了?刚才我学生告诉我,微博上有人工智能指导写

请记住本站永久域名

地址1→wodesimi.com
地址2→simishuwu.com
地址3→simishuwu.github.io
邮箱地址→simishuwu.com@gmail.com

加入书签 我的书架

上一页 目录 下一页