攻城獅遲疑半秒，快速的在對話框鍵入：
【平面上到（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的含金量已經秒殺了他見過的所有人工智能，儼然是世界一流的水平。
他急切的想要找到關于這個模型的一切資料。
最終。
他在【關于我們】種找到一行小字描述。
‘靈樞模型來自于我司正在研發的車路云系統，脫胎于道路基礎設施推理……’
看著這行小字。
程序猿的天靈蓋都是麻的。
什么鬼？
這么牛逼的模型，你跟我說不是專業模型！
這玩意兒只是順手搞出來附加產品？
：<ahref="https://y"target="_blank">https://y</a>。手機版：<ahref="https://y"target="_blank">https://y</a></p>