“李教授，歡迎來到SI釋出會，作為同行，您的到來是我們的榮幸。”SI研發團隊負責人本尼特來到李青的面前熱情地開口。
雖顯熱情，卻保持著一副極為高傲的姿態，皮笑肉不笑。
“你們的SI短時間內進步如此之大，功能之齊全，我自然要前來取取經，不能落下你們太多。”李青並沒有在意對方的表現，說話體面。
本尼特聞言收起了笑容，他本以為李青會明裡暗裡嘲諷他，卻不曉得竟如此平靜。想來他不知情，還是無可奈何？
他再次開口：“李教授，您說得非常對。不是說‘三人行，必有我師焉’嗎？互相學習是一種優良的價值觀，我深以為然。”
頓了頓，看向了釋出會舞臺中央的大螢幕。
“希望我們SI釋出會上的東西能讓您學到一些，不至於讓您無功而返。”
李青嗤笑一聲，同樣看向舞臺上的大螢幕，那亮眼而刺目的SI字型。
“借你吉言。”
本尼特再次轉過身，恢復了笑容。
“那麼，李教授，您入座吧！我失陪一下。
“請。”
“你也到旁邊坐著吧！”
李青看向一旁的鄭雲武。
鄭雲武皺了皺眉，隨後面色嚴肅地點了點頭。
隨著釋出會正式開始，本尼特意氣風發地站在臺上，戴著耳麥，一副指點江山的姿態。
“歡迎來自全國各地的同行、媒體朋友，還有遠道而來的嘉賓參加我們SI公司的釋出會，這一次，我主要講述的是我們公司又對SI進行了升級。”
“大家請看……”本尼特側身，伸手指向大螢幕。
大螢幕立即顯示出升級後的SI與原來的SI對比之下，哪些地方進行了加強。
包括資料庫的擴大、對話的嫻熟流暢以及證明問題的準確性。
本尼特朗朗開口：“這便是是我們升級的地方，本次提升的地方還有很多，不僅包括其上三項，更多在於細節部分的最佳化，想來大家以後用了就會知道。”
“而今天我主要想講的，便是我們新一代的SI，它已經能證明一些複雜的問題，並且準確性可以說毫無錯漏。”
此言一齣，臺下驚起議論，一片譁然。
要知道，此前最巔峰的AI也不過是解決一些有邏輯的問題，書寫過程寫出答案；但現在已經進化到可以證明一些複雜的問題了？並且竟敢放言毫無錯漏，是真還是假？
懷著質疑與期待的心思，等待本尼特親自做出解釋。
本尼特在大庭廣眾之下，點入SI頁面，輸入了一個難度頗高的證明問題。
他說道：“這個證明問題在任何論文裡都沒有被證明過，足以讓一名優秀的博士研究兩至三年。而今我要演示，我們的SI能將它準確無誤證明出來，大家請看。”
隨著輸入完成，SI不過思考了三五秒時間，便刷刷地列出證明過程。
。上幕螢大在放播，來出了拉明證整完將特尼本，刷再不面頁待等
