个互联网奇迹jhtxt。cc
所以苹果华夏自然要第一时间通知自家的总裁大人，此刻所面临的困境jhtxt。cc
好在蒂姆·库克收到消息的第一时间也意识到了问题的严重性jhtxt。cc
尤其是当他看到苹果华夏紧急发送来的图片中竟然还有人工智能微博评论区直接解数学题的图片时，立刻将这些图片发给了一位他最近认识不久的一位人工智能专家——openai的架构工程师菲利普·赫克斯jhtxt。cc
“嗨，菲利普，看到我刚才发给你的图片了吗？”
“当然，不过我不太明白，不算很困难的一道题目，有什么特殊的意义吗？”
“如果我告诉你，这道题的解题过程是一个ai系统在很短的时间内给出的回答，你有什么想法？”
“极短时间内？嗯……如果你没在开玩笑的话……我很难想象jhtxt。cc因为这已经超过了我们正在研究的ai—leanjhtxt。cc我不知道你是否知道lean，这是微软2013年推出的一款旨在帮助数学家解决数学问题的专用ai软件jhtxt。cc
最近我们用它解决了两道奥数难题，文章发在了《科学》上jhtxt。cc但如果跟这个题涵盖的范围比起来……你应该是弄错了jhtxt。cc这个领域我还从没听说过有比lean更领先的软件jhtxt。cc”
听了菲利普这番话，蒂姆·库克没有辩解什么，他甚至懒得告诉对方，这样的图片还有很多jhtxt。cc而是继续问道：“那么菲利普，如果我说这是一个大语言模型在很短时间内给出的答案，甚至还同时给了许多数学问题的答案，你是否觉得更不可能？”
“哈哈，库克先生，别开玩笑了，你不懂技术jhtxt。cc我们必须得承认有为的群智智能语音的确出乎了我们的意料，但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能！
事实上，大语言模型很难理解数学语言jhtxt。cc这也是为什么我们有了chatgpt，却还要研究lean的原因jhtxt。cc两者的逻辑并不一样，后者使用的神经定理证明器，更重视字符串的转化jhtxt。cc”
“非常感谢你为我解惑，菲利普，我的朋友，谢谢你jhtxt。cc”
“不必客气，库克先生，举手之劳而已jhtxt。cc如果没有别的事，那么我还要忙着制定下阶段的试验计划了jhtxt。cc”
“当然，再见jhtxt。cc”
挂了电话，蒂姆·库克毫不犹豫的拨通了另一个电话：“苏菲，今天我要减持6，哦，不，八千万美元的苹果股票……对，不管用什么方法尽快完成交