第405章 孩子养不起,只能吃百家饭了

声明和联系方式。

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

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

果不其然。

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

『我是灵枢，很高兴与您对话！』

我可以帮您回答问题丶书写各种创意内容丶快来试试吧～

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

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

点击回车。

随之而来的是一阵等待。

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

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

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

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

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

并且说明不存在。

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

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

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

可下一秒。

屏幕上开始蹦出文字。

是它的思考过程！

「题目是说，在平面上是否存在一个点，使得它到四个点（0，0）丶（0，

1）丶（1，0）丶（1，1）的直线距离都是有理数。首先，我得先理清楚这个问题的条件，然后尝试一步步分析是否存在这样的点『=4/5，这样2=16/25，加上1就是41/25，也不是平方数。所以可能轴上不存在这样的点，同样，在y轴上可能也不行。或者考虑其他位置———

将近八分钟的时间。

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

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

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

本章未完，请点击下一页继续阅读！ 第5页 / 共6页