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