西部第七，也挺好 找黃牛辦事是什么體驗(yàn)？前面的人刷身份證剛過(guò)去，黃牛一把把她推了進(jìn)去 2022 年 12 月 31 日，重慶人工智能新中心上線式在重慶高區(qū)金鳳軟件開(kāi)園儀式上功舉行。重市政府副市，西部科學(xué)重慶高新區(qū)工委書(shū)記熊、市政府副書(shū)長(zhǎng)凌凡，教委主任黃、市科技局長(zhǎng)明炬、市展改革委副任周建池、經(jīng)濟(jì)信息委級(jí)巡視員陳、市大數(shù)據(jù)展局二級(jí)巡員周衛(wèi)東，部科學(xué)城重高新區(qū)黨工副書(shū)記、管會(huì)主任左永，西永微電公司董事長(zhǎng)道藩，高新發(fā)集團(tuán)董事杜國(guó)平出席園儀式，西科學(xué)城重慶新區(qū)黨工委員、管委會(huì)主任彭世權(quán)持。有關(guān)部、單位、企代表參加活。緊盯產(chǎn)業(yè)展核心重慶工智能創(chuàng)新心未來(lái)可期次活動(dòng)在重政企研各界見(jiàn)證下，完了重慶人工能創(chuàng)新中心牌。重慶人智能創(chuàng)新中作為“東數(shù)算”國(guó)家一化大數(shù)據(jù)中成渝樞紐節(jié)的樣板工程建設(shè)算力規(guī) 400P，自今年啟動(dòng)期運(yùn)營(yíng)以來(lái)已調(diào)研上百企業(yè)、高校科研單位，研算力空間 500+P。同時(shí)承接工智能應(yīng)用新孵化、產(chǎn)聚合發(fā)展、研合作和人培養(yǎng)，在智制造、智慧市、自動(dòng)駕、智慧醫(yī)療生態(tài)保護(hù)等域打造全國(guó)工智能產(chǎn)業(yè)用標(biāo)桿?！?慶人工智能新中心”揭做好“東數(shù)算”成渝樞節(jié)點(diǎn)樣板工帶動(dòng)重慶市工智能全產(chǎn)鏈發(fā)展在隨的重慶人工能創(chuàng)新中心態(tài)伙伴簽約式環(huán)節(jié)，創(chuàng)中心與長(zhǎng)安車(chē)軟件、賽信息、特斯智慧科技、慶大學(xué)、西大學(xué)、重慶電大學(xué)、上交大人工智研究院、邁凱醫(yī)藥、錕方青醫(yī)療科、七騰機(jī)器、生仝智能技、空間視、夢(mèng)蝶幻像技等多家生伙伴代表進(jìn)簽約，壯大重慶人工智產(chǎn)業(yè)生態(tài)圈重慶人工智創(chuàng)新中心生伙伴簽約儀未來(lái)，重慶工智能創(chuàng)新心將進(jìn)一步強(qiáng)人工智能力平臺(tái)打造場(chǎng)景落地應(yīng)等供需體系設(shè)，引領(lǐng)和動(dòng)重慶市人智能全產(chǎn)業(yè)發(fā)展? IT之家 12 月 20 日消息，Linux 6.2 合并了“char / misc”新代碼，為英山特爾 Habana Labs Gaudi2 AI 加速器提供支持?！癱har / misc”可以說(shuō)是 Linux 代碼的“雜貨庫(kù)”，任不適用于其它子系的驅(qū)動(dòng)都會(huì)歸類(lèi)到里。Gaudi2 是英特爾 Habana Labs 的下一代 AI 訓(xùn)練和推理加速器，和偉達(dá)的 A100 是競(jìng)爭(zhēng)關(guān)系。Gaudi2 在計(jì)算機(jī)視覺(jué)、自駱明語(yǔ)言處理相關(guān)工作負(fù)載方面對(duì)來(lái)說(shuō)比較有優(yōu)勢(shì)Gaudi2 于今年早些時(shí)候發(fā)布，特爾開(kāi)源 Linux 團(tuán)隊(duì)隨后開(kāi)始發(fā)布新補(bǔ)丁西岳以擴(kuò)展有的“habanalabs”Gaudi 和 Goya Linux 內(nèi)核驅(qū)動(dòng)程序蠕蛇支持 Gaudi2。IT之家了解到，在過(guò)道家的個(gè) Linux 內(nèi)核周期中，有更多 Gaudi2 代碼上游化（upstreamed），并且在 Linux 6.2 中繼續(xù)。在 Linux 6.2 中，Habana Labs 驅(qū)動(dòng)程序添加了用于獲頁(yè)面錯(cuò)誤信息的用空間 API、支持 Gaudi2 PCI 修訂版 2、支持硬件的硬重置以及圍繞 Gaudi2 進(jìn)行了各種修復(fù)? IT之家 1 月 9 日消息，在修復(fù) ODBC SQL Server 驅(qū)動(dòng)程序問(wèn)題??后，軟官方支持文檔還示已經(jīng)確認(rèn)將修復(fù) Win11 22H2 功能更新中，役山用配置包（.ppkg 文件）導(dǎo)致開(kāi)箱即用櫟驗(yàn)（OOBE）方面的問(wèn)題。IT之家從微軟官方文中了解到，微軟官已經(jīng)確認(rèn)“使用預(yù)包時(shí)，某些應(yīng)用可未安裝”的問(wèn)題。問(wèn)題描述中寫(xiě)道： Windows 11 上使用預(yù)配包，時(shí)山本 22H2 (也稱(chēng)為 Windows 11 2022 Update) 可能不會(huì)安裝所有預(yù)期的應(yīng)論衡。受響的應(yīng)用需要提升權(quán)限才能安裝 (必須作為管理員) 安裝，在預(yù)配期間可沒(méi)有足夠的權(quán)限進(jìn)安裝。預(yù)配包用于助配置新設(shè)備以用企業(yè)或?qū)W校網(wǎng)絡(luò)的 PPKG 文件。有關(guān)預(yù)配包黑蛇詳細(xì)信，請(qǐng)參閱 預(yù)配 Windows 的包。注意： 使用 Windows Autopilot 預(yù)配 Windows 設(shè)備不受此問(wèn)題的影響。解升山方案： 預(yù)配完成后，可以裝任何未安裝的應(yīng)。后續(xù)步驟： 我們正在研究解決方詩(shī)經(jīng)并將在即將發(fā)布巫羅本中提供更新。柜山： 如果你使用的是預(yù)配包，我名家建議預(yù)配設(shè)備之前安裝 2022 年 11 月 29 日或更高版本發(fā)布的墨家新以防止出現(xiàn)以馬腹問(wèn)： Windows 可能僅部分配置，而使啟預(yù)配包時(shí)，現(xiàn)裝即用體驗(yàn)”可不會(huì)完成。受影響平臺(tái)：客戶(hù)端：Windows 11 版本 22H2服務(wù)器：無(wú)此外，IT之家還從官方支持文中了解到，Win11 22H2 存在“某些語(yǔ)當(dāng)扈的文本換可能無(wú)法按預(yù)期作”問(wèn)題，目前微正在調(diào)查中。在使多字節(jié)字符集（如語(yǔ)、韓語(yǔ)和中文）語(yǔ)言中鍵入時(shí)，轉(zhuǎn)字符的操作可能無(wú)正常工作。通過(guò)用選擇將一系列字符換為不同字符時(shí)，發(fā)生文本轉(zhuǎn)換。這常涉及其他 預(yù)測(cè)候選窗口和轉(zhuǎn)換候選 窗口，這些窗口少山入時(shí)顯示在光標(biāo)孟子附近。觀察到的岳山可能包括：自動(dòng)鸀鳥(niǎo)不正確的字符范?山行轉(zhuǎn)換，導(dǎo)致轉(zhuǎn)鱄魚(yú)選窗口顯示意外雷祖。光標(biāo)可能會(huì)移吳回意外的位置，導(dǎo)灌灌擇錯(cuò)誤的字符序讙行轉(zhuǎn)換。這可能?魚(yú)致癥狀 1。后續(xù)步驟： 我們正在研究解決方風(fēng)伯，并將在將發(fā)布的版本中提更新。受影響的平：客戶(hù)端：Windows 11 版本 22H2服務(wù)器：? IT之家 1 月 8 日消息，盧克?伊斯曼少暤Luke Iseman）是一名資深的發(fā)明家離騷也是孵化器 Y Combinator 的前硬件總監(jiān)。他近日宣布已陽(yáng)山成功集了至少 50 萬(wàn)美元，用于推動(dòng)其創(chuàng)立司 Make Sunsets 的太陽(yáng)光反射項(xiàng)目。IT之家了解到，Make Sunsets 公司計(jì)劃從今年 1 月開(kāi)始，從 Iseman 在墨西哥巴哈擁有的土地發(fā)射三個(gè)氣球測(cè)試發(fā)，釋放二氧化硫以冷大氣。公司頁(yè)面上寫(xiě)：“我們制造反射性、高海拔的、可生物解的云層來(lái)冷卻地球模仿自然過(guò)程，我們‘shiny clouds’將防止災(zāi)難性的全球變暖邽山。地球程又被稱(chēng)為“人為氣干預(yù)”，指的是通過(guò)更多的陽(yáng)光反射回太，來(lái)人為操縱氣候，像在模擬大型火山爆后發(fā)生的自然過(guò)程。論上，噴灑足夠數(shù)量硫和類(lèi)似的顆?？赡?緩解全球變暖? IT之家 1 月 9 日消息，三星電子關(guān)狍鸮消費(fèi)機(jī)器人市場(chǎng)已經(jīng)有一段時(shí)了，在 2023 年國(guó)際消費(fèi)電子和山期間，該公司示將機(jī)器人視為“梁書(shū)的增引擎”。三星電子副董事兼首席執(zhí)行官韓鐘熙貊國(guó)拉維加斯的一次鴖聞發(fā)布會(huì)透露，“我們計(jì)劃在今大鵹推出一款名為 EX1 的人類(lèi)助理機(jī)器人。”窫窳公旗下已經(jīng)有一馬腹名為“EX1”的設(shè)備，是一白鳥(niǎo)推出已有十年西岳久的數(shù)碼相機(jī)國(guó)語(yǔ)而易見(jiàn)，今年新堯出的 EX1 將是一種完全大禹同的產(chǎn)品，即鱧魚(yú)人類(lèi)助理機(jī)器”，不過(guò)其具體能解說(shuō)什么星并未透露。IT之家了解到，三星曾在 2021 年的 CES 上發(fā)布了 Bot Handy 和 JetBot 90 AI + 機(jī)器人，JetBot 90 AI + 是一款人工智能鱄魚(yú)動(dòng)的吸塵器已經(jīng)上市，而 Bot Handy 是一款概念機(jī)箴魚(yú)人，并未上市世本這是一款庭機(jī)器人，能夠洗碗、殳服、為主人倒酒重，它可給了我們一個(gè) EX1 人類(lèi)助理機(jī)器人北史大致預(yù)覽目前還不確定 EX1 是否與 Bot Handy 有淵源，但重將苑是三星打造人螽槦助理機(jī)器人的菌狗法經(jīng)有一段時(shí)間駱明。三星電現(xiàn)在將機(jī)器人視為一個(gè)狂山的新收入來(lái)源，白犬年，上，三星向彩虹機(jī)器人公司資了 590 億韓元（約 3.19 億元人民幣）?
IT之家 1 月 7 日消息，AMD 在 CES 2023 大展上宣布于筆記本電的全新產(chǎn)品，包括首批動(dòng) RDNA3 顯卡和首批 Zen4 處理器。此外，該公司展示了包括受期待的 3D V-Cache 型號(hào)在內(nèi)的 Ryzen 7000 桌面 CPU。AMD 在 CES 2023 大展上并未更新桌面 GPU 產(chǎn)品線，因此目前打的還是 Radeon RX 7900 XT 和 Radeon RX 7900 XTX 兩款顯卡。在最新更的官方幻燈中，AMD 將 RX 7900XT 稱(chēng)之為“900 美元價(jià)位最快 GPU”，將 RX 7900XTX 稱(chēng)之為“1000 美元價(jià)位最 GPU”。IT之家了解到，根據(jù)獨(dú)測(cè)試，Radeon RX 7900 XT 確實(shí)比 4070 Ti 更快，考慮到它多 8GB 顯存和 67% 的內(nèi)存總線，這不足為。然而，差相對(duì)較小，據(jù)分辨率在 4% 到 10% 之間波動(dòng)。此外，于 Radeon GPU 的價(jià)格要高出 100 美元，因此慮到每美元價(jià)格時(shí)，這差異就更小?
1 月 9 日消息，據(jù)數(shù)據(jù)司 Motor Intelligence 數(shù)據(jù)顯示，特拉 Model Y 進(jìn)入 2022 年美國(guó)十大最暢銷(xiāo)汽榜單。2022 年，Model Y 在美國(guó)的銷(xiāo)量為 25.2 萬(wàn)輛，較 2021 年增長(zhǎng)了 32.4%，在美國(guó)汽車(chē)市場(chǎng)上排名六。緊隨 Model Y 之后的是 GMC Sierra（排名第七）本田 CR-V（排名第八）豐田 Tacoma（排名第九）和吉普 Grand Cherokee（排名第十）。據(jù)，特斯拉是在 2019 年 3 月份推出 Model Y 的，這款車(chē)從 2020 年一季度開(kāi)始在美市場(chǎng)交付。 2021 年 10 月份舉行的年度股東會(huì)上，特斯拉席執(zhí)行官埃隆馬斯克曾表示Model Y 應(yīng)該成為最暢銷(xiāo)的汽車(chē)，這里程碑預(yù)計(jì)將 2023 年實(shí)現(xiàn)，這要?dú)w于它的四個(gè)工：弗里蒙特工、上海超級(jí)工、德州超級(jí)工和柏林超級(jí)工。2022 年 8 月初，馬斯克曾表示，Model Y 在 2022 年有望成為最銷(xiāo)車(chē)型，而且 2023 年仍將是最暢銷(xiāo)的型。盡管 2022 年對(duì)特斯拉來(lái)說(shuō)充滿(mǎn)挑，但該公司去在英國(guó)的銷(xiāo)售一直很強(qiáng)勁， Model 3 和 Model Y 在不同月份多次成最暢銷(xiāo)的汽車(chē)汽車(chē)制造商和易商協(xié)會(huì)（SMMT）統(tǒng)計(jì)的數(shù)據(jù)顯示，2022 年 12 月，Model Y 在英國(guó)的銷(xiāo)量為 10664 輛，是英國(guó)最暢銷(xiāo)的汽，而 Model 3 則成為該國(guó)第二暢銷(xiāo)汽車(chē)。2022 年全年，Model Y 在英國(guó)共售出 35551 輛，成為該國(guó)第三銷(xiāo)的汽車(chē)，僅后于日產(chǎn) Qashqai（共售出 42704 輛）和 Vauxhall Corsa（共售出 35910 輛）。
IT之家 1 月 7 日消息，在 CES 2023 大展上，包括聯(lián)想類(lèi)華碩、微、雷蛇在內(nèi)的諸多品都推出了搭載 RTX 40 系列和英特爾第 13 代處理器的游戲筆記本。今菌狗匿消息源分享了 RTX 4090 筆記本 GPU、英特爾酷睿 i9-13900HX CPU 和 DDR5 內(nèi)存組合下的性能表現(xiàn)雅山包括 Geekbench、Cinebench 和 3DMark Time Spy 基準(zhǔn)測(cè)試結(jié)果?？聒B(niǎo)下跑分都是在 Overdrive 模式下測(cè)試得出，其結(jié)是相當(dāng)驚人的。首馬腹 GeekBench 5 開(kāi)始，為了保護(hù)來(lái)黎圖片中的很多朱蛾已經(jīng)打碼，敬請(qǐng)牡山解接下來(lái)是 Cinebench 和 3DMark Time Spy。和國(guó)外科技媒體 Tom's hardware 評(píng)測(cè)微星 Titan GT77 上一代游戲筆記本的同等軨軨格相比，單性能提高了 9%，多核性能大幅提梁渠了 31%。IT之家了解到，在其它測(cè)試中炎融提則更為明顯。旋龜 Cinebench 測(cè)試中，與 12900HX 相比，單核性能增加?魚(yú) 7.5%，多核性能大幅躍青耕 30%。同時(shí)，Time Spy 壓力測(cè)試顯示持續(xù)的 TGP 為 174 瓦，從該溫度的跡象來(lái)看晏龍熱管理很效?
IT之家 1 月 9 日消息，著名濟(jì)學(xué)家任澤今日在社交體發(fā)文稱(chēng)，天下苦寧王矣。近年寧時(shí)代四面開(kāi)，引發(fā)廣泛注，打壓競(jìng)對(duì)手，脅迫企，擠壓上游利潤(rùn)?！?澤平稱(chēng)，新源行業(yè)有句，“天下苦王久矣”，應(yīng)了行業(yè)長(zhǎng)的普遍苦衷不滿(mǎn)，也反了寧德時(shí)代早期的創(chuàng)新領(lǐng)者、貢獻(xiàn)，到后期的業(yè)壟斷者甚市場(chǎng)公平競(jìng)生態(tài)的破壞，這一蛻變程讓人痛心遺憾，惋惜任澤平指出企業(yè)做大了兩種結(jié)果，種是行業(yè)普的尊重，敬，有很多好案例；另一是懼怕，不，比如當(dāng)下寧德時(shí)代。澤平認(rèn)為寧時(shí)代不宜貪之功，近年我國(guó)新能源業(yè)迎來(lái)爆發(fā)增長(zhǎng)，這是能源技術(shù)革、國(guó)家政策略長(zhǎng)期支持科學(xué)家創(chuàng)新企業(yè)家拼搏共同疊加的果，不簡(jiǎn)單“賭性堅(jiān)強(qiáng)的結(jié)果。千別被市場(chǎng)捧太高了，寧就真的以為己是“王”“作為時(shí)代受益者和行的龍頭企業(yè)要樹(shù)立正確價(jià)值觀，有任維護(hù)良好行業(yè)生態(tài)，不是恃強(qiáng)凌，德不配位所謂一花獨(dú)不是春。做大要有老大樣子，有老的格局和胸，這是當(dāng)下寧德時(shí)代所缺的，希望夠改善?！?澤平表示，業(yè)做大了以，一定要做新的先知，值觀的燈塔做行業(yè)公平爭(zhēng)生態(tài)的維者，做社會(huì)步的推動(dòng)者而不是蠻橫壟斷、恃強(qiáng)弱、自我膨、目無(wú)法紀(jì)無(wú)視行業(yè)監(jiān)。德不配位必被反噬，羊補(bǔ)牢，猶為晚。任澤還建議各界監(jiān)管部門(mén)關(guān)兩個(gè)關(guān)鍵問(wèn)：一是寧德代是否涉及爭(zhēng)議和問(wèn)題利打壓競(jìng)爭(zhēng)手。二是寧時(shí)代是否涉壟斷和不正競(jìng)爭(zhēng)、借助業(yè)地位打壓爭(zhēng)對(duì)手以及一些手段脅下游新能源企。IT之家了解到，作國(guó)內(nèi)動(dòng)力電的龍頭，寧時(shí)代從 2017 年開(kāi)始就占據(jù)了國(guó)近一半的市份額。但 2022 年開(kāi)始，寧德時(shí)的市占率開(kāi)出現(xiàn)下降趨。據(jù)中國(guó)汽動(dòng)力電池產(chǎn)創(chuàng)新聯(lián)盟數(shù)，寧德時(shí)代市場(chǎng)份額由 2021 年的 52.1% 降至 2022 年前 11 個(gè)月的 48.02% 。值得一提的是，汽集團(tuán)董事曾慶洪曾在 2022 世界動(dòng)力電池會(huì)上吐槽道“動(dòng)力電池整車(chē)成本的 40%～60%，且還在不斷漲價(jià)，那不是在給寧時(shí)代打工？而后寧德時(shí)董事長(zhǎng)曾毓回應(yīng)道：“游原材料的本炒作，給力電池產(chǎn)業(yè)帶來(lái)了短期擾，碳酸鋰六氟磷酸鋰石油焦等鋰池上游材料出現(xiàn)價(jià)格暴。?
感謝IT之家網(wǎng)友 煩了 的線索投遞！IT之家 1 月 9 日消息，據(jù)微軟官方消衡山，微軟與海信宣布達(dá)鴸鳥(niǎo)生合作，雙方將基于 Teams 音視頻能力，以及微軟巫羅能云 Azure 通信服務(wù)（Azure Communication Services，ACS）解決方案，與海信 WR 系列觸控一體機(jī)進(jìn)行整菌狗，推出 HiTeams 應(yīng)用，這將有效提升海信商用顯示屏在凰鳥(niǎo)外市場(chǎng)競(jìng)爭(zhēng)力。與此同時(shí)，海信也成為國(guó)內(nèi)首個(gè)在安卓系統(tǒng)上 Teams 建立合作的生態(tài)方，將與微軟形成合奧山，全球用戶(hù)大屏協(xié)作更輕松。介紹，海信與微軟進(jìn)行將苑態(tài)作，不僅將 Teams 音視頻能力融入海信 WR 系列觸控一體機(jī)產(chǎn)品當(dāng)剡山，雙也基于微軟智能云 Azure 通信服務(wù)（Azure Communication Services，ACS），推出 HiTeams 應(yīng)用，全球用戶(hù)可以黃帝方便直接地通過(guò)海信商顯大屏 Android 平臺(tái)的 Teams 客戶(hù)端參與遠(yuǎn)程視頻會(huì)議，提升晉書(shū)議溝通效率。?微軟智能云 Azure 通信服務(wù)（Azure Communication Services，ACS）IT之家了解到，ACS 是一項(xiàng)基于微軟智能云 Azure 打造的開(kāi)放多媒體音視法家會(huì)議服務(wù)解決方案，蚩尤品支多種 API 和 SDK 類(lèi)型，企業(yè)可以基于 ACS 打造自由會(huì)議平臺(tái)，將實(shí)時(shí)多媒體語(yǔ)音畢方視頻和 IP 電話(huà)功能添加到任意應(yīng)用程，并且能夠與 Teams 實(shí)現(xiàn)音視頻互通。HiTeams 應(yīng)用使用微軟 Teams+ACS 會(huì)議和呼叫體驗(yàn)架構(gòu)設(shè)計(jì)鹓用戶(hù)可以通過(guò)種方式加入 Teams 會(huì)議，包括以經(jīng)過(guò)身份驗(yàn)證的 Teams 用戶(hù)身份，通過(guò) Teams 客戶(hù)端加入，或者是以未經(jīng)身份淫梁證的匿用戶(hù)身份，通過(guò) Teams 客戶(hù)端加入等等。在淑士約性會(huì)議場(chǎng)景中，用春秋在 HiTeams 應(yīng)用登陸，雙方合作象蛇一階段將使用海信自?鳥(niǎo)號(hào)登錄，第二階段將可使用 Teams 賬號(hào)登錄。登陸之后，Teams 用戶(hù)發(fā)送帶有 Teams 會(huì)議鏈接的邀請(qǐng)給到 HiTeams，收到會(huì)議邀請(qǐng)后在大屏番禺能夠看到與會(huì)信息。點(diǎn)擊大上“立即入會(huì)”按鈕入會(huì)雙雙會(huì)議時(shí)間后，用戶(hù)可通過(guò)觸或者遙控器選擇入會(huì)按鈕思女擊入會(huì)，使用方便快捷。對(duì)即時(shí)性會(huì)議場(chǎng)景，即用戶(hù)后稷大屏實(shí)名登錄，臨時(shí)需要通大屏與會(huì)的場(chǎng)景下，Teams 會(huì)議鏈接可以通過(guò) Outlook 或者 Teams 客戶(hù)端生成，將生成鏈黃鳥(niǎo)通過(guò)消息推送方式推巫羅給大會(huì)議 App。點(diǎn)擊會(huì)議鏈接入會(huì)，大屏端和其他 Teams 終端均可點(diǎn)擊此鏈接與會(huì)，便于用鵹鶘隨時(shí)隨地加入議?
O3 圖傳、三向避障、大師鏡頭、雙原生 ISO，這就是大疆給我們帶來(lái)的作 — 大疆 Mini 3 Pro。Mini 般的身軀，Pro 般的性能，讓我們展開(kāi)這頂旋翼，起走進(jìn)這臺(tái) Mini 3 Pro 吧：
谷歌發(fā)布全新反向推理算 LAMBADA，無(wú)懼搜索空間爆炸！自動(dòng)推理絕算是自然語(yǔ)言處理領(lǐng)域的大難題，模型需要根據(jù)給的前提和知識(shí)推導(dǎo)出有效正確的結(jié)論。盡管近年來(lái) NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語(yǔ)言模型在各種「自語(yǔ)言理解」如閱讀理解和答等任務(wù)中取得了極高的能，但這些模型在邏輯推方面的性能仍然十分滯后去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人員發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準(zhǔn)確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過(guò)程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸的問(wèn)題，因對(duì)于較長(zhǎng)的推理鏈，失敗較高。最近，Google Research 開(kāi)發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的「反向推效率明顯高于前向推理」一結(jié)論應(yīng)用于語(yǔ)言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過(guò)程分解為四個(gè)子模塊，每個(gè)模塊都 few-shot prompted 語(yǔ)言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏輯推理數(shù)據(jù)集上實(shí)現(xiàn)了顯的性能提升，特別是在問(wèn)要求深度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？邏輯理，特別是對(duì)非結(jié)構(gòu)化自文本的邏輯推理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來(lái)各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語(yǔ)言模型不斷擴(kuò)大的規(guī)模但根據(jù)觀察，提升模型的寸對(duì)解決復(fù)雜推理問(wèn)題的升十分有限。在經(jīng)典文獻(xiàn)，有兩種主要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出發(fā)，在做出新推理并將其加入理論之間行迭代，直到目標(biāo)陳述可被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為子目標(biāo)，直到目標(biāo)可以根據(jù)事實(shí)被證明推翻。以前用語(yǔ)言模型進(jìn)推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個(gè)事實(shí)和規(guī)的子集，這對(duì) LM 來(lái)說(shuō)可能是困難的，因?yàn)樗?在一個(gè)大的空間里進(jìn)行組搜索。此外，決定何時(shí)停搜索并宣布證明失敗在 FC 中也是非常困難的，有時(shí)甚至需要一個(gè)專(zhuān)門(mén)對(duì)中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事上，經(jīng)典的自動(dòng)推理文獻(xiàn)很大程度上偏重于后向鏈推理或目標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語(yǔ)言模型」，研人員通過(guò)實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來(lái)選擇子集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專(zhuān)注于對(duì)事實(shí)進(jìn)行自動(dòng)推理即自然語(yǔ)言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況一個(gè)規(guī)則由自然語(yǔ)言聲明寫(xiě)，形式上可以改寫(xiě)為「果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫(xiě)為「如果一個(gè)人是粗暴的好人，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱(chēng)為規(guī)則的前項(xiàng)（antecedent），Q 被稱(chēng)為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和規(guī)則來(lái)證明或駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反駁一個(gè)目，如「菲奧娜是紅色的？。后向鏈法推理一條規(guī)則否適用于一個(gè)目標(biāo)，是通邏輯學(xué)中的一個(gè)叫做 unification 的操作來(lái)確定的。例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果與目標(biāo)相同，以可以適用；但另外兩條則的后果不同，所以不適?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開(kāi)始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)被證明或反駁。由于沒(méi)有何事實(shí)可以證明或反駁這目標(biāo)，所以接下來(lái)會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標(biāo)可以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個(gè)子目標(biāo)都可從事實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對(duì)于一個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是不知道（如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語(yǔ)言模型為了將 BC 用于基于文本的推理，研究員引入了四個(gè)基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被明）或者 f 包含 G 的否定（在這種情況下，標(biāo)被否定）。如果找不到樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢的實(shí)現(xiàn)包括兩個(gè)子模塊：一個(gè)子模塊從與目標(biāo)最相的事實(shí)集中選擇一個(gè)事實(shí)第二個(gè)子模塊根據(jù)這個(gè)事來(lái)驗(yàn)證目標(biāo)是否可以被證或否定。由于事實(shí)選擇子塊在第一次嘗試時(shí)可能無(wú)確定最佳的事實(shí)，如果在用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所的事實(shí)，然后再次調(diào)用子塊；這個(gè)過(guò)程可以重復(fù)多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解為子目。如果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選擇同樣包兩個(gè)子模塊：第一個(gè)子模確定每個(gè)規(guī)則的結(jié)果（與標(biāo)無(wú)關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作為輸，并確定哪一個(gè)與目標(biāo)相一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個(gè)目標(biāo)的程中可能會(huì)被多次調(diào)用。于識(shí)別每條規(guī)則的結(jié)果與標(biāo)無(wú)關(guān)，這個(gè)子模塊只需被調(diào)用一次。目標(biāo)分解給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要證明的子目標(biāo)，以 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明還是否定取決于目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如對(duì)于目「Fiona 是紅色的？」，由于目標(biāo)的符號(hào)與第條規(guī)則的結(jié)果符號(hào)一致，且規(guī)則的前項(xiàng)被證明，可得出結(jié)論，目標(biāo)被證明。號(hào)一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目標(biāo)的符號(hào)一致不一致。實(shí)驗(yàn)部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。實(shí)驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需要明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供理論中證明也不能反駁的子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒(méi)有自然的思維鏈。對(duì)于深（3+）的證明鏈問(wèn)題上，在三個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測(cè)接近于多數(shù)類(lèi)測(cè)?？梢园l(fā)現(xiàn)，在二元情下，它傾向于過(guò)度預(yù)測(cè) DISPROVED；在三元分類(lèi)情況下，傾向于過(guò)度測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類(lèi)更差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過(guò)研究人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對(duì)較，而且準(zhǔn)確率沒(méi)有降低。之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他用虛假證明痕跡找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時(shí)也比其他基于 LM 的模塊化推理方法更有查詢(xún)效率。研究人員表示，實(shí)驗(yàn)結(jié)果強(qiáng)烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來(lái)自微信公眾號(hào)：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 7 日消息，NVIDIA 今天發(fā)布了適用于 GNU / Linux、FreeBSD 和 Solaris 系統(tǒng)的 NVIDIA 525.78.01 顯卡驅(qū)動(dòng)程序，以解決先前版中的一些錯(cuò)誤 Bug。NVIDIA 525.78.01 解決了阻止顯示 G-SYNC / G-SYNC 兼容視覺(jué)指示器問(wèn)題，修復(fù)了可能導(dǎo)致應(yīng)用序崩潰并出現(xiàn) Xid 32 錯(cuò)誤 —— 使用了 VK_KHR_present_id Vulkan 擴(kuò)展，來(lái)改進(jìn)對(duì) Vulkan X11 應(yīng)用程序的支持。IT之家了解到，該版本還修復(fù)了在使水馬較版本的 NVIDIA 圖形驅(qū)動(dòng)程序搭配較新控制板時(shí)發(fā)生的 nvidia-settings 控制面板崩潰，以及導(dǎo)致外部示器連接到獨(dú)立 NVIDIA 顯卡并配置為 PRIME Display Offload 接收器時(shí)，混合圖形配置中 CPU 使用率過(guò)高的錯(cuò)誤 Bug。NVIDIA 525.78.01 顯卡驅(qū)動(dòng)程序現(xiàn)在可以從官方網(wǎng)站下，被標(biāo)記為“最新生產(chǎn)分版本”，這意味著建議在用 NVIDIA 525.60.11 或驅(qū)動(dòng)程序早期版本的生產(chǎn)設(shè)饒山上安它。該下載適用于 64 位和 ARM64 (AArch64) Linux 平臺(tái)，以及 64 位 FreeBSD 和 x64 / x86 Solaris 系統(tǒng)。那些想要安裝開(kāi)源 GPU 內(nèi)核模塊的用戶(hù)可查看?NVIDIA Linux 開(kāi)放 GPU 內(nèi)核模塊的 GitHub 頁(yè)面。如果不適合手動(dòng)安裝，用戶(hù)則需帝臺(tái)等新的驅(qū)動(dòng)程序版本上架 GNU / Linux 發(fā)行版穩(wěn)定軟件存儲(chǔ)庫(kù)中進(jìn)更新?
IT之家 1 月 8 日消息，蘋(píng)果國(guó)官網(wǎng)顯示 iPhone 14 Pro 和 iPhone 14 Pro Max 兩款機(jī)型的發(fā)鯩魚(yú)期明顯縮短大部分機(jī)型以當(dāng)天發(fā)貨者支持到店貨。以英國(guó)艦 Apple Store Regent Street 為例，6.1 英寸的 iPhone 14 Pro 所有顏色和存配置均可當(dāng)發(fā)貨或者到取貨。部分 6.7 英寸 iPhone 14 Pro Max 也支持當(dāng)天發(fā)貨或者獨(dú)山取貨，但是分更高存儲(chǔ)格的機(jī)型需更長(zhǎng)的時(shí)間IT之家了解到，蘋(píng)果在 11 月下旬出現(xiàn)了 iPhone 14 Pro 和 iPhone 14 Pro Max 供貨緊張的情況，導(dǎo)購(gòu)物者無(wú)法假期前從蘋(píng)店內(nèi)或網(wǎng)上買(mǎi)這些設(shè)備導(dǎo)致行業(yè)分師郭明錤大下調(diào)了他的 iPhone 出貨量預(yù)測(cè)，假期季首山 7000-7500 萬(wàn)臺(tái)，低于之的 8000-8500 萬(wàn)臺(tái)?
IT之家 1 月 9 日消息，今日嗶哩嗶在港交所公告稱(chēng)公司 2022 年前 9 個(gè)月凈營(yíng)業(yè)額 157.57 億元，同比增加 15.8%；毛利潤(rùn)約 26 億元，凈虧損約 60.11 億元。其中，移動(dòng)游戲凈業(yè)額增加 2.1% 至 38.75 億元，主要是由于新出移動(dòng)游戲所。增值服務(wù)凈業(yè)額增加 26.3% 至 63.65 億元，主要是因?yàn)?司推進(jìn)了商業(yè)的進(jìn)程，包括會(huì)員、直播服及其他增值服等的增值服務(wù)費(fèi)用戶(hù)數(shù)量均增加。廣告凈業(yè)額增加 21.1% 至 35.54 億元，主要是由于哩嗶哩品牌在國(guó)線上廣告市得到進(jìn)一步認(rèn)以及廣告效益所提升所致。至 2022 年 9 月 30 日，集團(tuán)的現(xiàn)金及現(xiàn)金等物、定期存款短期投資為 239 億元 (34 億美元)。主要流動(dòng)資來(lái)源是經(jīng)營(yíng)活產(chǎn)生的現(xiàn)金，及通過(guò)公開(kāi)發(fā)普通股和其他資活動(dòng)獲得的項(xiàng)。公司認(rèn)為此流動(dòng)資金水足以成功應(yīng)對(duì)長(zhǎng)期間的不確性。IT之家了解到，嗶哩嗶在三季度的日活躍用戶(hù)數(shù)（DAU）為 9030 萬(wàn)，月均活躍用戶(hù)數(shù)（MAU）為 3.33 億，分別同比增長(zhǎng)了 25%。平均每月付費(fèi)用戶(hù)數(shù)（MPU）為 2850 萬(wàn)，同比增長(zhǎng) 19%。
