我只想送快递,你非让我入编?陈晨卫筱

第404章 孩子养不起,只能吃百家饭了(4/4)

天才一秒记住【康妮小说网】地址:https://m.vkni.org

首发:~第404章 孩子养不起,只能吃百家饭了

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

‘我是灵枢,很高兴与您对话!’

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

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

【平面上到(0,0),(0,1),(1,0),(1,1)这四个点直线距离为有理数的点是否存在?】

点击回车。

随之而来的是一阵等待。

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

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

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

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

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

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

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

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

可下一秒。

屏幕上开始蹦出文字。

是它的思考过程!

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

‘…………’

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

‘…………’

将近八分钟的时间。

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

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

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

他的推论过程特别清晰!

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

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

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

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

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

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

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

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

“我焯!”

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

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

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

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

最终。

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

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

看着这行小字。

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

什么鬼?

这么牛逼的模型,你跟我说不是专业模型!

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

巧克力罗刹提示您:看后求收藏(康妮小说网https://m.vkni.org),接着再看更方便。

人气小说推荐More+

红颜政道
红颜政道
周平郁郁不得志,婚姻出现危机,意外撞破市委书记夫人的秘密,从此一路花香,平步青云。
饿狼咆哮
洪荒:坏了,巫族出了个点子王!
洪荒:坏了,巫族出了个点子王!
吴天穿越洪荒,成了巫族的一员;跟其他巫族不一样,吴天对打打杀杀不感兴趣,只想苟在祖巫们身后,偶尔给祖巫们出出主意,稳健修行、证得大道;巫妖大劫怕什么,只要能苟到地府开辟,我直接就去地府抱平心娘娘的大腿
哆来做梦
玄幻,建立万古神朝,从就藩开始
玄幻,建立万古神朝,从就藩开始
赢辰穿越到了一个玄幻世界,成为了大秦皇朝的六皇子......大秦皇朝皇子18岁时便要去就藩,好在就在他激将就藩的前几天,系统觉醒了......“叮!恭喜宿主获得万古神皇决!”“叮!恭喜宿主,获得十万白
蒙面侠客
战锤:从行星总督开始
战锤:从行星总督开始
【战锤+种田+太空歌剧】第41个千年,暗黑肆虐!人类帝国失去了一半的疆域。上百万颗星球遭受到混沌的侵袭!饥荒遍地、犯罪肆虐、邪教丛生……位于帝国暗面的厄斯星正经历着极端的苦难。好在,救世主罗恩降临了!
沈牧川
重回八零年,赶山也是一种生活
重回八零年,赶山也是一种生活
王安回到了1980年···生活不易,也要放弃前世的浮华,赶山打猎,虽危险艰辛,却自由幸福!!!
木辛三土