于是他进一步在深扒。
由于不是to b、to c的性质，这个部门并没有单独公开的网站。
全网唯一能搜到与之相关的网页，是一个名叫lingshu的网页。
“灵枢？ai模型？”
从网页来看，这似乎是一个已经成熟的公开模型。
就像之前ai热潮中已经公布出来的那些一样。
网页布局很简单，只有两个超链接。
【开始对话】
【获取手机app】
下拉至网页末尾，则是常规的免责声明和联系方式。
“顺风还有这种产品？以前没听过啊。”
怀着好奇的心情，攻城狮点击了开始对话。
果不其然。
和他想想的一样，一个对话框映入眼帘。
‘我是灵枢，很高兴与您对话！’
‘我可以帮您回答问题、书写各种创意内容、快来试试吧~’
攻城狮迟疑半秒，快速的在对话框键入：
【平面上到（0，0），（0，1），（1，0），（1，1）这四个点直线距离为有理数的点是否存在？】
点击回车。
随之而来的是一阵等待。
这个问题已经被攻城狮玩包浆了。
但凡有新的大模型出来，他都会用这个问题测试模型的含金量。
这是一道1982年提出的世纪数学难题，没有人能证明其不存在，或者存在。
之前攻城狮业载其他模型上试过。
绝大多数平庸的模型会在代入各种变量之后当即，随后随便给出一个数字，并且说明不存在。
它们都会在面对超出自己能力的问题是停止思考。
攻城狮对于结果也没有抱太大的希望。
因为他测试过几款机器优秀的大模型，也在这个问题上栽了。
可下一秒。
屏幕上开始蹦出文字。
是它的思考过程！
‘题目是说，在平面上是否存在一个点，使得它到四个点（0，0）、（0，1）、（1，0）、（1，1）的直线距离都是有理数。首先，我得先理清楚这个问题的条件，然后尝试一