“当然,不过我不太明白,不算很困难的一道题目,有什么特殊的意义吗?”
“如果我告诉你,这道题的解题过程是一个ai系统在很短的时间内给出的回答,你有什么想法?”
“极短时间内?嗯……如果你没在开玩笑的话……我很难想象。因为这已经超过了我们正在研究的ai—lean。我不知道你是否知道lean,这是微软2013年推出的一款旨在帮助数学家解决数学问题的专用ai软件。
最近我们用它解决了两道奥数难题,文章发在了《科学》上。但如果跟这个题涵盖的范围比起来……你应该是弄错了。这个领域我还从没听说过有比lean更领先的软件。”
听了菲利普这番话,蒂姆·库克没有辩解什么,他甚至懒得告诉对方,这样的图片还有很多。而是继续问道:“那么菲利普,如果我说这是一个大语言模型在很短时间内给出的答案,甚至还同时给了许多数学问题的答案,你是否觉得更不可能?”
“哈哈,库克先生,别开玩笑了,你不懂技术。我们必须得承认有为的群智智能语音的确出乎了我们的意料,但你如果了解自然语言框架模型底层的逻辑就会知道这根本不可能!
事实上,
-->>(第4/10页)(本章未完,请点击下一页继续阅读)