手机浏览器扫描二维码访问
第186章（第2页）
“如果我告诉你，这道题的解题过程是一个AI系统在很短的时间内给出的回答，你有什么想法？”
“极短时间内？嗯……如果你没在开玩笑的话……我很难想象。因为这已经超过了我们正在研究的AI—Lean。我不知道你是否知道Lean，这是微软2013年推出的一款旨在帮助数学家解决数学问题的专用AI软件。
最近我们用它解决了两道奥数难题，文章发在了《科学》上。但如果跟这个题涵盖的范围比起来……你应该是弄错了。这个领域我还从没听说过有比lean更领先的软件。”
听了菲利普这番话，蒂姆·库克没有辩解什么，他甚至懒得告诉对方，这样的图片还有很多。而是继续问道：“那么菲利普，如果我说这是一个大语言模型在很短时间内给出的答案，甚至还同时给了许多数学问题的答案，你是否觉得更不可能？”
“哈哈，库克先生，别开玩笑了，你不懂技术。我们必须得承认有为的群智智能语音的确出乎了我们的意料，但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能！
事实上，大语言模型很难理解数学语言。这也是为什么我们有了ChatGPT，却还要研究lean的原因。两者的逻辑并不一样，后者使用的神经定理证明器，更重视字符串的转化。”
“非常感谢你为我解惑，菲利普，我的朋友，谢谢你。”
“不必客气，库克先生，举手之劳而已。如果没有别的事，那么我还要忙着制定下阶段的试验计划了。”
“当然，再见。”
挂了电话，蒂姆·库克毫不犹豫的拨通了另一个电话：“苏菲，今天我要减持6，哦，不，八千万美元的苹果股票……对，不管用什么方法尽快完成交易……好吧，帮我找个理由……也许我只是想做慈善了，要把这笔钱捐出去呢？……嗯，交给你了！”
说完，蒂姆·库克面无表情的挂断了电话，随后拧眉陷入思索之中。
他第一次开始思考将产业链转移出华夏的决定是否正确。
另外他已经刷新了长期担任一家世界级公司CEO的记录了，是否还应该坚持下去？
……
华夏，西林。
李建高体验到了树欲静而风不止的感觉。
他既然知道了乔泽的新论文今天将在《数学年刊》上发布，回学校后，自然也第一时间下载了论文开始研究。
在他看来起码今天晚上会是很平静的。
不管乔泽的论文再出彩，也得读完才能开始讨论。
看了乔泽这篇论文的标题跟页数，李建高便能肯定，没有一周甚至更长时间的沉淀，数学界根本没法对这篇论文下定论。
真就像丹尼尔在脸书上说的那样，并不是所有人都能第一时间读懂这篇论文的。
这玩意也要时间去解读。
具体到某个引理的证明过程，想要看懂需要了解诸多的数学概念跟公式。
就比如李建高，也看不懂。
不过这到没什么需要惭愧的。
毕竟乔泽这篇论文前面的引理主要是关于偏微分方程这块的工具，跟李建高浸淫的方向并不一样，需要时间去熟悉而已。
正经数学家，不会在还没通读论文，甚至没看懂证明过程的时候，就开始讨论。
所以在李建高想来，起码这些天不管是挺乔泽的，还是想要挑错的，应该都会很安静。
有什么事，大家先读完论文才能开始讨论。
但谁能想到，才刚刚晚上十点多，他正想着是不是该给已经开始约会的未来准女友发条微信，问候一声的时候。
微信里一帮大佬们又开始疯狂私聊或者@他了。
“建高呢？赶紧出来，这又是你家乔泽的杰作吧？@李建高。”
“咦，老陈，你也注意到了？刚才我学生告诉我，微博上有人工智能指导写论文，我还纳闷呢，不过一看那个乔哥我就反应过来了，肯定跟乔泽脱不开关系。”
结婚两年，军官丈夫按耐不住了 嗟仙 细说红尘 天灾：开局一座山，囤货？种田！ 听从 灰与白 你修仙，我修功德值 小红娘（美食） 和病弱老婆离婚后我后悔了 狂野寡妇，在线发癫 折竹碎玉 凶奶奶是年代文真千金 成蝶 和黑红“哥哥”上玄学综艺后 七零之大院来了个大美人 我开出租不拉客，只拉女鬼和模特 仙子不想理你 贵女之下皆疯犬 全世界都在等我们结婚 重生，但是被撤回
求原神神里凌华的书
新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！...
废柴摆烂？请看我打脸女神全过程
不用抱有侥幸了，这是肝癌晚期！沈奕楠听着医生的话，手脚冰凉，四肢麻木，脑袋发胀！医生，有没有什么办法？沈奕楠知道，自己现在是他们眼中的废材！可是谁知道，他却在等待着解锁自己的超级技能！系统自检结束，解锁四个基础技能1青囊医术2武道护身3天眼探宝4灵眼识诡...
机娘纪元：我的机娘都是世界级
（不好看吃屎）曾经被俱乐部抢购的顶级机娘，如今却被丢在回炉场里无人问津。就算倒贴也没有车手愿意契约，只能绝望地等待回炉。只因她直线加速无敌，却很难转向，被誉为‘杀人赛车’。苏年来自地球的顶级赛车手赛道皇帝。本想在这个赛车技术落后，全靠机娘性能支撑的世界大放异彩，却被俱乐部分配的机娘背叛。带着不屑和怒火，...
傅总，您夫人又又又去摆摊算命了
玄学抓鬼算命沙雕爽文师父去世后，玄学天才林溪下山摆摊算命，边挣钱边找未婚夫。大师，我儿子的真命天女何时出现？林溪真命天女没有，真命天子倒是有。大师，我最近总梦到鬼，求你灭了他。林溪鬼是你父亲，你上错坟了，他叫你去认坟头。大师，我母亲失踪二十多年了。林溪你母亲被你父亲杀害，埋尸后院。傅氏集团掌权人向来不近女色，竟然和一个小神棍闪婚了。所有人天天猜傅总什么时候离婚。等啊等啊画风逐渐不对劲。顶流明星哭着喊小神棍救命！各路大佬重金求见小神棍一面。甚至，国家的人也来找她合作。众人赶紧抢名额，大师，我也要算一卦。某天，林溪照常去摆摊。傅京尧将她抵在墙角，老婆，给我算一卦。林溪冷漠脸，工作时间，只谈钱不谈感情。傅京尧掏出所有卡，我的钱全是你的。林溪两眼放光，你想算什么？男人黑眸幽深，语气透着委屈，老婆，我们什么时候过新婚之夜？林溪男人搂住她的腰，嗓音暗哑，不说话？那就今晚过。（天才玄学大佬vs超有钱宠妻霸总，先婚后爱，主剧情，穿插多个玄学小故事）...
成就仙帝，全靠敌人的努力
当自身修炼带来的任何副作用，都由自己的敌人承担，那是一种什么体验？于是乎，刘顺义开始疯狂的修炼禁术，修炼氪命的绝招。甚至开始疯狂的修炼透支根基的功法。一是求快速提升实力，二是这些东西很强，三是，反正一切的代价和负面效果，都是敌人承担。不仅如此，还能借敌人的修炼天赋修炼。什么，你说你要与我为敌？还是百年难得一遇的天才？那我可就兴奋了！等等我的敌人，我还没有修炼成这个烧血的技能，你不能死！...
古代悠闲生活番外
莫名其妙的穿越到古代，和哥哥相依为命。平时种花养糙，过上悠闲的日子。莫名其妙的穿越到古代，和哥哥相依为命。平时种花养糙，过上悠闲的日子。...