第404章 孩子养不起，只能吃百家饭了(第3页)

 “灵枢？ai模型？”

 从网页来看，这似乎是一个已经成熟的公开模型。

 就像之前ai热潮中已经公布出来的那些一样。

 网页布局很简单，只有两个超链接。

 【开始对话】

 【获取手机app】

 下拉至网页末尾，则是常规的免责声明和联系方式。

 “顺风还有这种产品？以前没听过啊。”

 怀着好奇的心情，攻城狮点击了开始对话。

 果不其然。

 和他想想的一样，一个对话框映入眼帘。

 ‘我是灵枢，很高兴与您对话！’

 ‘我可以帮您回答问题、书写各种创意内容、快来试试吧~’

 攻城狮迟疑半秒，快速的在对话框键入：

 【平面上到（0，0），（0，1），（1，0），（1，1）这四个点直线距离为有理数的点是否存在？】

 点击回车。

 随之而来的是一阵等待。

 这个问题已经被攻城狮玩包浆了。

 但凡有新的大模型出来，他都会用这个问题测试模型的含金量。

 这是一道1982年提出的世纪数学难题，没有人能证明其不存在，或者存在。

 之前攻城狮业载其他模型上试过。

 绝大多数平庸的模型会在代入各种变量之后当即，随后随便给出一个数字，并且说明不存在。

 它们都会在面对超出自己能力的问题是停止思考。

 攻城狮对于结果也没有抱太大的希望。

 因为他测试过几款机器优秀的大模型，也在这个问题上栽了。

 可下一秒。

 屏幕上开始蹦出文字。

 是它的思考过程！

 ‘题目是说，在平面上是否存在一个点，使得它到四个点（0，0）、（0，1）、（1，0）、（1，1）的直线距离都是有理数。首先，我得先理清楚这个问题的条件，然后尝试一步步分析是否存在这样的点……’

 ‘…………’

 ‘x=4/5，这样x2=16/25，加上1就是41/25，也不是平方数。所以可能x轴上不存在这样的点，同样，在y轴上可能也不行。或者考虑其他位置……’

 ‘…………’

 将近八分钟的时间。

 屏幕上出现在了上万字的分析过程。

 他不停地通过自己现有的手段去拼命分析，走到卡壳的地方又开始跟自己说话，“这个不行，不知道接下来怎么搞，我得换一种推导路径试一试”。

 然后又从头换一堆设立的参数和方程形式重新来演绎，期待会不一样，然后又发现一样的瓶颈，然后意识到新形式和之前的一样，反复自我强化学习，认识到这是一个关键瓶颈，然后开始猜测一些特殊性，验证并一一否定掉，然后意识到也许要从找寻解转为去证明无解，然后从瓶颈的地方去翻资料找定理。

 他的推论过程特别清晰！

 攻城狮本不是数学专业，读懂这种高深的数学题有一定壁垒。

 但有了ai的工程辅助，他竟然慢慢代入了这道题的数学逻辑！

 虽然最终他也没能给出答案。

 没能证明这个点存在或者不存在。

 但他有十几分完整的思考过程，就像一个天赋平平但非常用功的学生。

 他的重点不在于得出答案，而是在八分钟求索答案的过程当中，完善了自己。

 这不正是人类思考的模式吗？

 人类研究数学，从来不是用它来解读位置问题，而是利用它学习已知问题，配合思考过程可以更透彻地读懂难题！

 “我焯！”

 “这特么是什么神仙团队！”

 此刻的攻城狮几乎是在跪着看屏幕了。

 灵枢ai的含金量已经秒杀了他见过的所有人工智能，俨然是世界一流的水平。

 他急切的想要找到关于这个模型的一切资料。

 最终。

 他在【关于我们】种找到一行小字描述。

 ‘灵枢模型来自于我司正在研发的车路云系统，脱胎于道路基础设施推理……’

 看着这行小字。

 程序猿的天灵盖都是麻的。

 什么鬼？

 这么牛逼的模型，你跟我说不是专业模型！

 这玩意儿只是顺手搞出来附加产品？

 </p>