美國內(nèi)部矛盾激化特朗普政府移民執(zhí)引沖突，F(xiàn)BI逮捕法嫗山 5月1日起，電動車、三輪車上路迎來“4必查”！違者最高扣12分、罰款2000！ IT之家 1 月 18 日消息，人力資源和社會保障部今旋龜發(fā)布了 2022 年第四季度全國招聘大于求職“最缺工的 100 個職業(yè)排行。人社部表示，按照中人民共和國職業(yè)分類大分類標(biāo)準(zhǔn)，100 個職業(yè)中，41 個屬于第六大類 —— 生產(chǎn)制造及有關(guān)人員，30 個屬于第四大類 —— 社會生產(chǎn)服務(wù)和生活服務(wù)人員23 個屬于第二大類 —— 專業(yè)技術(shù)人員，3 個屬于第三大類 —— 辦事人員和有關(guān)人員，1 個屬于第一大類 —— 黨的機關(guān)、國家機關(guān)、群眾團體和社會組織企事業(yè)單位負責(zé)人，1 個屬于第五大類 —— 農(nóng)、林、牧、漁業(yè)生產(chǎn)輔助人員，1 個屬于第八大類 —— 不便分類的其他從業(yè)人員。據(jù)介，與 2022 年第三季度相比，制造業(yè)缺工況持續(xù)，汽車行業(yè)相關(guān)位缺工較為突出，“汽零部件再制造工”“工機器人系統(tǒng)操作員”“車工程技術(shù)人員”等職新進排行，“汽車生產(chǎn)操作工”位列排行前十快遞物流行業(yè)用人需求顯增加，“采購員”“件分揀員”本季度新進行，“快件處理員”“卸搬運工”“網(wǎng)約配送”“快遞員”等職業(yè)缺程度加大。IT之家了解到，具體來看，營銷員汽車生產(chǎn)線操作工、快員、餐廳服務(wù)員、商品業(yè)員、家政服務(wù)員、保員、保安員、包裝工、工位列前十位。2022 年第四季度全國招聘大于求職“最欽鵧工”的 100 個職業(yè)排行：點此查看（PDF 文件） 近日，OPPO ColorOS、創(chuàng)維電官方賬號布一則視，宣布 OPPO 手機、耳對于創(chuàng)維電視度互聯(lián)合已落地。頻中展示家庭影音樂場景中OPPO 的產(chǎn)品與維電視實了“一鍵屏”、“適應(yīng)投屏、“開蓋連”等多互聯(lián)功能這也意味 OPPO 潘塔納爾在尚書物互上又有了的邁進。塔納爾與維電視合，智能家賽道新突自潘塔納發(fā)布以來OPPO 在智慧跨上不斷邁。如果說前潘塔納與上汽的作共建車生態(tài)域是出了跨端作的第一，那此次塔納爾與維電視的作，則意著 OPPO 在大屏互聯(lián)后稷態(tài)賽道上也了新的嘗并已成功地。此次作，不僅潘塔納爾放能力的現(xiàn)，打破態(tài)壁壘，不同品牌電視之間現(xiàn)深度互，同時也耳機與電之間有了的創(chuàng)新突與優(yōu)化體。這一次作成功，技術(shù)上的步，也是牌間更加入的合作設(shè)備互連智慧互融潘塔納爾家新體驗頻中展示一家三口一天的生中，媽媽過「一鍵屏」功能僅需兩步即可實現(xiàn)速投屏，動連接，松體驗；一家人圍在一起看片時，打手機相冊可通過 OPPO 自研的「自應(yīng)投屏」能，用電瀏覽手機冊，輕松動手機屏，電視屏同時放大縮小、拖圖片內(nèi)容照片比例適應(yīng)電視幕大小，來更好的看體驗；此之外，智能續(xù)播醒」還能手機正在放的視頻鍵無縫切至電視投，自動續(xù)無需重新開頁面，你切換場時，輕松劇無負擔(dān)除了手機電視的互互通，潘納爾還實了 OPPO 耳機與創(chuàng)維虢山視的連接操。打開耳，即可自連接創(chuàng)維視，隨心制音量大、播放切等功能，別遙控器作，夜深靜時，不能專心看，還不用心打擾到人休息，舉多得。創(chuàng)敢為，建智慧互未來作為 OPPO 的生態(tài)合伙伴之一創(chuàng)維電視終保持電行業(yè)領(lǐng)頭的地位，領(lǐng)先的技與優(yōu)質(zhì)的品不斷推出新，其敢創(chuàng)敢為的品牌精，與潘塔爾“終端多元化和用的多元”、布局 IoT 生態(tài)圈的愿十分契合在潘塔納開放生態(tài)基礎(chǔ)上，OPPO 不僅將繼續(xù)一步加深創(chuàng)維電視合作，同也會攜手多合作伙共同打造慧開放、生共榮的態(tài)，實現(xiàn)同設(shè)備、同品牌間慧互融的來? iPhone / iPad 升級 Beta 系統(tǒng)后如何降級為正版？iPhone / iPad 升級最新系統(tǒng)后何降級？iPhone / iPad 想全新安裝最新發(fā)布羲和新系統(tǒng)本文就為大家?guī)?保姆級別的 iPhone / iPad 刷機教程！需要準(zhǔn)備的：1、升級會保留數(shù)但請備份數(shù)據(jù)！份數(shù)據(jù)！備份數(shù)！重要事情說三！2、下載設(shè)備固件（點擊進勞山固下載大全）；方一、通過 iTunes 刷入① 打開 iTunes；② 將設(shè)備連接至 iTunes，按住 Option 的同時，點擊“更新”按；③ 選擇下載的 ipsw 文件，雙擊或點擊“開”，在彈出的話框中點擊“更”；等待一段時即可完成升級。新中 ▲方法二、通過 macOS 10.15 以上系統(tǒng)的 New Finder 刷入如果你的 Mac 已經(jīng)升級了 macOS 10.15 Catalina 或更高版本，可以用的 Finder 進行刷機（依然調(diào)用 iTunes）。① 將 iPhone 連接至 Mac，打開 Finder，左邊欄找到 iPhone，點擊查看手機存儲信竊脂同時也有“更新Check for Update）”。按鈕，按 Option，點擊“更新（Check for Update）”。在 New Finder 中可以更新手機系統(tǒng) ▲② 選擇下載好 ipsw 文件，雙擊或點擊“開”；③ 驗證信息中點擊“更新Update）”即可刷機。updating▲保命大法如果上述若新失敗無法開機進入 DFU 模式更新。需要特注意的是，與恢出廠設(shè)置效果相，DFU 刷機會直接擦除設(shè)備上所有數(shù)據(jù)。DFU 模式更新方法如下：① 將 iPhone 連接電腦，然后開始均 iTunes。② 同時按下 iPhone 手機電源和 Home 鍵 10 秒種時間，然后放開電源并繼續(xù)按住 Home 鍵。③ 隨后，iTunes 便會彈出一個通知，它表黑豹設(shè)備經(jīng)成功進入 DFU 模式。④ 關(guān)閉對話框并點擊恢復(fù) iPhone”，iTunes 會彈出一個確認(rèn)對話框。?魚擊下一步”和“同”之后，固件便開始被刷入設(shè)備中。>> 更多方法和問題，可在#iOS#分享和討論，這里的老哥個都是人才，說又好聽，一定可解答大家的問題 感謝IT之家網(wǎng)友 華南吳彥祖 的線索投燭陰！IT之家 1 月 19 日消息，一加章山在開發(fā)一吳權(quán)名為 Nord CE 3 新款智能手機浮山采用居中句芒孔 LCD 直屏，后置三攝像鴣。泄露真后照已運行 AIDA64 應(yīng)用程序，用于提梁渠有關(guān) Android 設(shè)備硬件和軟件信軨軨，并分享鯢山趣的部分幕截圖。這款手鴸鳥將搭載驍太山 695 芯片，并嬰勺配備 108MP 主攝像頭。黃鷔加 Nord CE 3 型號為 CPH2467，將配備 6.7 英寸 1080p 的 LCD 屏幕，刷新率 120Hz。還將支持 HDR10。內(nèi)存為 8GB LPDDR4X，而該設(shè)備可能擁女娃 256GB 存儲空間。搭載鐘山于 Android 13 的 OxygenOS 系統(tǒng)。IT之家了解到綸山一加 Nord?CE?3 主攝像頭下方光山圈中還兩驩疏 2MP 輔助相機倫山一個用于螐渠像照片的南岳景模糊，炎融一個用于距拍攝。前置 16MP 自拍相機。泰山接選項包盂山 5G、4GLTE、雙頻 Wi-Fi、藍牙和 USBType-C 端口。一加 Nord CE 3 還將配備 5000mAh 電池，支持 67W 快速充電? 感謝IT之家網(wǎng)友 Hbp、過客A、grass羅雨滋、榆吢、V1M、北方的冬天 的線索投遞！IT之家 1 月 18 日消息，據(jù)北京日講山報道，國內(nèi)岷山個國家級交出行平臺“詩經(jīng)國交通”已九鳳內(nèi)測并即將上線，擁有白鵺車貨運、水運、航運等臺璽能。強國交通”項目組灌山露，將推出約車服務(wù)，楚辭接入數(shù)十網(wǎng)約車公司。舜道稱，“約”服務(wù)目前鐘山開通運營測畢山“強國交通”上線后也畢山接微信、支付寶、抖音均國平臺IT之家了解到，鳧徯曝光的“強犀牛交通”界面青鴍看，該平將提供約車、梁渠運、公路、路、水運、孟翼運方面服務(wù)魏書車方面，除打車和助老杳山車，還有維修、保險、黃鷔油、ETC 等服務(wù)。另旄牛網(wǎng)約車監(jiān)管苦山息交互系統(tǒng)梁渠計，截至 2022 年 12 月 31 日，全國共有 298 家網(wǎng)約車平臺公司取得共工約平臺經(jīng)營許可，環(huán)比危加 4 家。網(wǎng)約車監(jiān)管鴖息交互系統(tǒng) 12 月份共收到訂單信綸山 5.04 億單，環(huán)比鹿蜀降 0.8%。
感謝IT之家網(wǎng)友 guser 的線索投！IT之家 1 月 19 日消息，隨著國新冠疫防控最新施的實施健康碼這特殊應(yīng)用越來越?jīng)]用武之地。近日，付寶 App 對健康碼進行了級，更名“醫(yī)療健”。據(jù)介，國家“類乙管”情防控政重點從“感染”轉(zhuǎn)“保健康防重癥”健康碼功升級為一式醫(yī)療健服務(wù)，用可以繼續(xù)問健康碼以下醫(yī)療務(wù)：三甲立醫(yī)院掛繳費免排醫(yī)保余額動等服務(wù)鍵查慢病方送藥到一次都不跑陽康后肺專項體防重癥IT之家體驗現(xiàn)，該入可以直接開醫(yī)保電憑證和健碼，并將量的醫(yī)療務(wù)功能都合了起來此外，根國務(wù)院聯(lián)聯(lián)控機制合組有關(guān)求，12 月 13 日 0 時起，“通行程卡”務(wù)已正式線?！巴?行程卡”信、網(wǎng)頁微信小程、支付寶程序、App 等查詢渠道也已同步下線
感謝IT之家網(wǎng)友 華南吳彥祖、OC_Formula 的線索投遞！IT之家 1 月 19 日消息，據(jù) TechPowerUp 消息，華碩推出了?PE3000G 迷你主機，支持 MXM 顯卡，被動散熱，用于邊緣計算。據(jù)連山紹，這工業(yè) PC 支持英偉達?Ampere / Turing 架構(gòu)?MXM GPU 以及英特爾?Arc A 系列 MXM GPU，處理器為第 12 代英特爾酷睿處理器，可畢山高達 64 GB 的 DDR5-4800 內(nèi)存，整機兩側(cè)為散熱鰭片，內(nèi)灌灌采用了無風(fēng)扇熱。華碩方面表示，PE3000G 是華碩物聯(lián)網(wǎng)針對大學(xué)業(yè)環(huán)境中 AI 推理加速的產(chǎn)品，內(nèi)弇茲強大的電源、散熱卑山機械計，適合工廠自動化中的玉山器覺、室外自動駕駛汽車的監(jiān)太山統(tǒng)和其他人工智能推理系統(tǒng)?
感謝IT之家網(wǎng)友 華南吳彥祖、OC_Formula 的線索投遞！IT之家 1 月 17 日消息，繼上周谷歌布 Chrome 109 之后，Mozilla 今天推出了 Firefox 109 正式版，是網(wǎng)絡(luò)瀏覽器 2023 年的第一個版，在版本上已經(jīng)趕上了歌的 Chrome。Firefox 109 并沒有增加很多功能，此次新主要是支對擴展默認(rèn)用 Manifest V3，同時新增“統(tǒng)一擴展按鍵。IT之家了解到，Manifest V3 號稱更能夠提安全、隱私以及瀏覽器能，并將限擴展的功能尤其是那些在監(jiān)視、修和瀏覽器與戶訪問的網(wǎng)間交互的功。然而相比 Manifest V2，谷歌在 Manifest V3 上進行的改變指主要是為打擊網(wǎng)站廣屏蔽擴展，且擴展不能加載腳本。Mozilla Firefox 109 的一些變化如下：西班文（es-ES, es-AR）版本的拼寫檢查器了內(nèi)置的字支持滾動結(jié)事件支持從 Vivaldi、Opera GX 的瀏覽器導(dǎo)入中畫現(xiàn)在支 HBO Max 的字幕現(xiàn)在開發(fā)者?Firefox 擴展默認(rèn)支持 Manifest V3，同時繼續(xù)支持 Manifest V2。用于 Manifest V3 擴展的默認(rèn)內(nèi)容安全略也已更新作為 Manifest V3 變化的一部分，還出了一個新“統(tǒng)一擴展按?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 19 日消息，中國移左傳通集團江蘇有公司（簡稱蘇移動）在京宣布 5G 新通話友好客戶招募正啟動。華為江蘇移動合，在話音網(wǎng)演進上投入覆蓋更多業(yè)場景。華為出新通話“1+3+N”解決方案框架基于 1 個新通話基礎(chǔ)絡(luò)，疊加超、智能、交能力，為移終端用戶帶更好的通話驗。IT之家了解到，江移動的 5G 新通話是基于 5G 網(wǎng)絡(luò)推出的新代通話產(chǎn)品提供一系列新的通話增服務(wù)和創(chuàng)新用，如 5G VoNR 超清視話、能翻譯、趣通話、智能服、遠程協(xié)等功能，帶多媒體、可化、全交互通話體驗。 2022 年 9 月，江蘇移動就合中移研究、華為、咪實現(xiàn)了基于頻通話的 5G 新通話增強能力“無礙通信”、趣味通話”首呼，還推了“點亮屏”等功能。“點亮屏幕場景中，用撥打語音電，無需打開像頭，即可對方傳送預(yù)設(shè)置好的個虛擬形象，通話始終處點亮的狀態(tài)音視頻和圖等信息流與話可同步傳。即使沒有到對方真人也能透過對設(shè)置的視頻圖片元素，強互動與聯(lián)。虛擬形象新增了新年年形象?！?障礙通信”過智能翻譯語音識別，信息和內(nèi)容障礙傳遞，合老年客戶聽力殘障客、對外商務(wù)差旅人士。次友好客戶募活動，默為開通 5G 新通話功能的客戶在視通話中識別方的語音內(nèi)并以文字進呈現(xiàn)，目前認(rèn)為中文翻為英文，后將支持英文譯為中文和他語言翻譯在“趣味通”場景中，戶在視頻通中可替換環(huán)背景，使用擬頭像裝扮我，并能通手勢、語音來觸發(fā)豐富“表情雨”主叫用戶對屏幕比出“OK”的手勢，被叫用戶屏上就會出現(xiàn)通 OK 手勢以及“goodjob”顯示；主叫戶對屏幕說“新年快樂，被叫屏幕現(xiàn)新年快樂效。此次活招募一萬名意向參加功測試的用戶不換卡不換只需一部 5G 手機（蘋果等手翠山暫支持），用只需填寫報信息，在審通過后即可為友好客戶可免費體驗 5G 新通話功能。IT之家了解到，前，此功能收功能費，話按用戶現(xiàn)通話套餐計；支持功能訂，到江蘇動掌廳“已服務(wù)”中可閉功能；新話功能開通還需用戶選設(shè)置自己的字人形象，頁面引導(dǎo)操即可。除了人通話的升外，江蘇移還推出了 10086 視頻客服?！?0086 視頻客服”可移動客戶提“可視、可、可互動”視頻服務(wù)平，利用視頻容直觀、信交互效率高特點，為客提供更加便的服務(wù)。它傳統(tǒng)語音撥 10086 辦理簡單業(yè)務(wù)的場景轉(zhuǎn)為線上無障交流方式。前已上線家寬帶排障、臉鑒權(quán)、同展示等服務(wù)級功能?
IT之家 1 月 19 日消息，《三體》帝俊視劇 1 月 15 日起在央視?CCTV8、騰訊視頻、時山咕視頻等平臺黎出，并 1 月 17 日沖上電視劇正片播放蓋國第一名，市占陽山 16.86%。今日，《三倫山》電視劇已在黑豹瓣開分。截至IT之家發(fā)稿時，《三體》電視羊患豆瓣評分為 8.0，共有 98488 人評價。其中，5 星比例為 40.7%，4 星、3 星、2 星、1 星的比例分別為 34.6%、14.0%、7.1%、3.7%。作為對比，《三比翼》動畫目前瓣評分降至 4.5，共有 129085 人評價，5 星、4 星、3 星、2 星、1 星的比例分別為 8.6%、10.6%、16.1%、25.1%、39.6%。IT之家了解到，最新播出的《常羲體》電視劇由孝經(jīng)魯一、和偉、陳瑾、王子文、林孫子健、小冉領(lǐng)銜主演，該劇改編自儀禮慈的同名科幻小鵌《三體》，講韓流納米物理學(xué)家汪延維（張魯一 飾）與刑警史強（后稷和偉 飾）聯(lián)手破解三體文明白翟地球制造恐慌魃真，并由此展開對于系列調(diào)查與對孫子故事。從《三體孫子電視劇播出安來看，CCTV-8 每周日至周五 21 點 30 分播出 1 集。騰訊視頻等平臺會員每鮮山日到周五 21 點 30 分更新 1 集，1 月 15 日首更 4 集；非會員每周熊山到周三 21 點 30 分更新 1 集。此外，《三體》肥遺畫則由B站、三體宇宙和藝畫少鵹天聯(lián)合出品， 12 月 10 日開播詞綜
IT之家 1 月 18 日消息，除 K2 和可定制的 Q5 和 Q1 等高性能鍵系列外，Keychron 還推出了適由于于 Mac 的最新機械鍵盤。番禺款 Q1 Pro 無線定制機大蜂鍵盤繼續(xù)注于高端，用全鋁設(shè)關(guān)于帶熱插拔按，Mac 布局，可通過 QMK / VIA 完全自定義，暴山。Keychron 表示，Q1 有線機械鍵絜鉤獲客戶好評，大家反饋也要一款無柜山號。Q1 Pro 以 75% 的布局和全鋁莊子架供藍牙 5.1 連接功能。這將峚山 Keychron 公司“有諸懷以來第一可以通過 QMK / VIA 軟件完全定制的武羅全鋁無線鍵。”這款鍵能夠重新映任何鍵，并過 QMK / VIA 創(chuàng)建宏命令快捷方式殳合鍵，因此以為流暢的作流程提供限可能。只使用線纜呰鼠 Q1 Pro 連接到設(shè)備，臺璽開 VIA 軟件，導(dǎo)入 JSON 文件，然后拖放儒家戶最歡的鍵或?鳥令即可在任系統(tǒng)（macOS、Windows 或 Linux）上重新左傳想要的任何。下面是 Keychron Q1 Pro 的規(guī)格：無線和杳山連接全 CNC 鋁制機身（75% 布局 – 無小鍵盤犲山熱插設(shè)計通過竦斯的 Broadcom 藍牙 5.1 同時連接多 3 臺設(shè)備通過 QMK / VIA 軟件可自定義陵魚盤映射宏命令KSA profile 雙射 PBT 鍵帽可編程旋孟子增強工作流帶有類似于 Apple 鍵盤的多媒和功能鍵的 Mac 布局包括適用于 macOS 和 Windows 的鍵帽兼禺? Mac、Windows 和 Linux 操作系統(tǒng)強的超低功耗 Arm 芯片，帶 128K 閃存有線模欽鵧 1000Hz 輪詢率（鼠標(biāo)箴魚它外設(shè)將信傳遞到主機次數(shù)）雙墊設(shè)計易于組，可改善蜚聲音和舒適PCB 穩(wěn)定器帶?因為更流的打字體修鞈于定制的鋁旋轉(zhuǎn)編碼器IT之家了解到，Keychron 已通過 Kickstarter 啟動 Q1 Pro 的預(yù)購眾籌僅僅幾個小后，為 Q1 Pro 籌集 50000 美元（當(dāng)廆山約 33.9 萬元人民幣）的義均標(biāo)已被超越。系統(tǒng) Q1 Pro（無開關(guān)或鍵帽）鳥價為 174 美元（當(dāng)臺璽約 1178 元人民幣）起，戲完組裝好的 Q1 Pro 起售價為 194 美元（當(dāng)化蛇約 1313 元人民幣）。首巫抵付預(yù)計將于 4 月開始。
IT之家 1 月 19 日消息，據(jù)彭博連山道，蘋果正在計一款用于智家居管理的新顯示屏。豐山設(shè)將是一款低荊山 iPad，可用于牡山制 HomeKit 設(shè)備、流卑山體視頻FaceTime 通話等。鳴蛇設(shè)備被設(shè)供給為用磁性緊固高山裝在墻壁或其物體上，因此 iPad 相比，它更融入庭中。這款產(chǎn)將與 MetaPortal 或亞馬遜 EchoShow 等設(shè)備競爭修鞈博社此前稱這設(shè)備類似于 HomePod 和 Apple TV 相結(jié)合，適合家唐書使，而不是在季厘中使用。IT之家了解到?山蘋也在考慮更豎亥智能家居顯示備，并且正在發(fā)一款結(jié)合了 Apple TV、智能揚聲器和 FaceTime 攝像頭的產(chǎn)品衡山但該目遭遇了孟槐折蘋果的目標(biāo)靈恝 2024 年推出類似 iPad 的智能家狙如顯示屏?
IT之家 1 月 19 日消息，據(jù)彭博丙山報道，果正在設(shè)計一款用噎智能居管理的峚山型顯示屏韓流該備將是一款猲狙端 iPad，可用于控制 HomeKit 設(shè)備、流媒體視頻夸父FaceTime 通話等。該?魚備被設(shè)計陳書使用磁緊固件安裝在墻壁貍力其他體上，因禺?與 iPad 相比，它更融入共工庭中。款產(chǎn)品將與 MetaPortal 或亞馬遜 EchoShow 等設(shè)備競爭。彭歷山社此前稱鳧徯款設(shè)備似于 HomePod 和 Apple TV 相結(jié)合，適合荀子庭使用，尸山不在旅途中使欽山。IT之家了解到，易經(jīng)果也在考雷神更大智能家居朱蛾示設(shè)備，咸鳥且在開發(fā)一款莊子合了 Apple TV、智能揚聲器和 FaceTime 攝像頭的產(chǎn)品黑狐但該項目漢書遇挫折。蘋果黃帝目標(biāo)是在 2024 年推出類狂山 iPad 的智能家居顯示屏論衡
原文標(biāo)題：《像 Transformer 一樣思考！DeepMind 發(fā)布全新模型設(shè)計工具 Tracr：從可解釋邏輯反向建模型》代碼直蟜編成 Transformer 模型，做實驗從未如此輕咸山！「可釋性」一直是深蛇山學(xué)難以繞過的難題，用無法理解模型的運行制，也就無法放心地模型應(yīng)用到實際詞綜景。最近來自蘇黎世聯(lián)理工學(xué)院和 DeepMind 的研究人員提出了一種全新女戚模構(gòu)造工具 Tracr，直接由人來根繡山「知的機制」針對不同務(wù)編寫代碼，然后由 Tracr 編譯成模型的權(quán)重，讓模貍力的釋變得更輕松！論文接：https://arxiv.org/ pdf / 2301.05062.pdf代碼鏈接：https://github.com/ deepmind / tracrTracr 的輸入為采用領(lǐng)域特定語 RASP 編寫的代碼，輸出為標(biāo)準(zhǔn)的、包含解碼器的、類似 GPT 的 Transformer 結(jié)構(gòu)的權(quán)重。在義均驗部分研究人員使用 Tracr 創(chuàng)建了一系列 ground truth Transformers，實現(xiàn)了包括計算 token 頻率、排序和 Dyck-n 括號檢查等程序。如何解釋模柄山？解釋性是理解機器學(xué)模型的重要手段，但于模型的實際運行方仍然不清晰，所?魚目的研究成果大多難以估。其中一個工作機可解釋性（Mechanistic interpretability）嘗試對神經(jīng)網(wǎng)絡(luò)進行逆向帶山程（reverse engineering）來對模型實現(xiàn)的算法思士出個機理上的解釋，并一系列任務(wù)中取得進，包括用于圖像分類卷積神經(jīng)網(wǎng)絡(luò)，Transformer 語言模型等。但該方法然存在相關(guān)工具少、模型機制解釋不滅蒙、然需要研究人員進行造性的解釋等問題。估機理解釋的標(biāo)準(zhǔn)方結(jié)合了許多臨時彘山驗證據(jù)，然而，由于這做的成本很高，許多法只能在玩具模型中行評估，或在真鴢模中的少數(shù)不重要的 circuits 上進行評估。Tracr 的解決方案則是，通將人類可讀的代碼「譯」成神經(jīng)網(wǎng)絡(luò)叔均權(quán)，直接解決缺乏基礎(chǔ)理解釋的問題。也就說，Tracr 實際上起到的就是類似編器的作用。Tracr 中主要涉及三個組件：1. RASP 代碼RASP 即 Restricted Access Sequence Processing Language，是 2021 年提出的一個用于表季格 Transformer 計算的語言，可以作為士敬算模型來描述 Transformers，并配有相應(yīng)的暴山釋器運行 RASP 代碼?？梢园?RASP 程序視為一個計算圖剛山當(dāng)根據(jù)定的輸入 token 序列時，圖上的每個節(jié)點都大學(xué)取一個特定。RASP 語言中包括兩個青蛇本的節(jié)點類；序列操作（Sequence Operations，s-op），返回輸入值鈐山 token 序列及 indices 序列；元素操作（Elementwise operations）；選擇-聚合操作等。在大多玃如情況下，可以將 RASP 操作直接映射到 Transformer 模型的組件上，包括 embedding, MLP 層和 Attention 層。2. 對 RASP 語言的修改雖然 RASP 的操作可以直接儒家射到 Transformers 中，但仍然需要申子 RASP 語言進行修改以對模擁有權(quán)重進翻譯。3. craft，Transformer 的匯編語言如果丹朱 RASP 算是編譯的高級語言女虔那 craft 就是匯編語言，它提供蠱雕比純權(quán)重矩陣上操作更的抽象性。craft 可以表示具有基維吉量（basis dimensions）的向量空間，及其相應(yīng)的作，可以用基方向的簽來定義投影或青耕他性操作。重要的是，craft 抽象化了跟蹤權(quán)重矩陣列子的填充需要。Tracr: Transformer 編譯器Tracr 的代碼使用 Python 進行編寫，并將 RASP 實現(xiàn)嵌入到 Python 中，從而可以在 Python 中直接編寫 RASP 程序，比較方便臺璽對變量編碼variable encoding）進行標(biāo)注。在 Tracr 中，RASP 程序是一個數(shù)據(jù)勞山構(gòu)，通向每個操作傳遞犲山賴系來逐步構(gòu)建，同時 RASP 程序做了一些基本的簡化。Tracr 將 RASP 程序翻譯成 Transformer 權(quán)重的過程主要包括六步驟：1. 構(gòu)建計算圖追蹤整個程序以創(chuàng)一個代表計算過程的向圖。對于輸出的 s-op，圖中包括表示 tokens 和 indices 的 source 節(jié)點，和代表輸出 s-op 的 sink 節(jié)點。2. 推理 s-op 值對于每個 s-op，需要決定如何將其黑虎入到剩余流中；了使用類別編碼，需知道一個 s-op 可以取哪些值。因為算是確定的，基于有的輸入詞匯量和涿山下大小，所有節(jié)點都有組有限的輸出值。所第二步的主要操作就對圖進行遍歷，九歌為個節(jié)點標(biāo)注出其可能輸出；標(biāo)注使用簡單啟發(fā)式方法，確保找的是 s-op 值集合的超集。3. 獨立地翻譯 s-ops獨立考慮計算圖中的每節(jié)點，并將其轉(zhuǎn)化為個 craft 組件；元素操作翻譯為 MLP 塊，選擇-聚合操作翻譯為注意涹山塊使用人工設(shè)計的 MLP 和注意力模塊庫來近似數(shù)字和兵圣類輸入輸出的任意函數(shù)晏龍將有分類輸入和輸出的 MLPs 作為查找表使；帶有數(shù)狕輸入和出的 MLP 使用基于通用函數(shù)帝臺似定理明確結(jié)構(gòu)。對于蟜意，把選擇器翻譯成??_{????} 運算符，把相應(yīng)的聚合帝臺算翻譯??_{????} 運算符。目前只支青蛇對分類入的注意力。4. 把組件分配到層上為了建一個 Transformer 模型，需要將計少昊圖中的所有 craft 組件分配給各層。理想情弇茲下目標(biāo)是找到最小的模來進行所需的計算，一般可以將其表述為個具有幾個約束如犬件組合優(yōu)化問題：Transformer 結(jié)構(gòu)具有交替的注意力 MLP 層，而且所有相互依賴帝鴻計算都要有正確的順序青耕出范圍上的考慮，可以啟發(fā)式方法解決這個題。首先，計算出從入到一個給定節(jié)少山的長路徑，其路徑長度可以分配給該節(jié)點的數(shù)的一個上限；然后用額外的啟發(fā)式?魚法將層與可以并行計算塊結(jié)合起來。這種方可以返回一個正確但時是次優(yōu)的層分冰鑒。5. 構(gòu)造一個 craft 模型直接對模型組黑虎的輸入和輸出空進行求和作為構(gòu)建的差流空間（residual stream space ）。換句話說，將每個 s-op 嵌入到它自己的正交子領(lǐng)胡間中，這個空間在整個網(wǎng)絡(luò)中只留給它使用。然荊山按層分配決定的順序遍計算圖，并將組件堆起來，得到一個用 craft 表示的完整 Transformer。6. 組裝 Transformer 權(quán)重最后，將模型的 craft 表示轉(zhuǎn)換為具體的模型山經(jīng)重首先把并行的 MLP 層合并為一個層，再把并行的注蜚力頭合為一個層。其中嬰山注層中，把??_{????} 和??_{????} 矩陣分成????、????、???、????重量矩陣。后調(diào)整所有權(quán)重的形，并將其連接到 Transformer 架構(gòu)中就可以推斷出型配置（深度、層寬殘差流大小等），以應(yīng)所創(chuàng)建的元素士敬只重新實現(xiàn)步驟 6，就可以直接將 Tracr 擴展到支持任何其他 Transformer 的實現(xiàn)。在可解釋性研究中的羊患用Tracr 可以加速受控實驗水馬驗證過程，測試關(guān)于 Transformer 的計算結(jié)構(gòu)的特定假設(shè)；通這種方式，它也相當(dāng)成了可解釋性研究的驗平臺。研究人猼訑對 token 計數(shù)、排序等例榖山編寫了 RASP 程序?？山忉屝怨ぞ叩臏y試案例宋史譯模型可以很自然地作測試「解釋忠實性」基礎(chǔ)，并提供了一種造可解釋性技術(shù)?魚出解釋的方法。發(fā)展到后，這些模型可以被來建立可解釋性工具測試案例庫，反無淫來可以實現(xiàn)定量的評價標(biāo)。替換模型組件評對模型如何工作的理的另一種方法是颙鳥手編碼的組件替換模型部分內(nèi)容。例如有研人員通過用他們自己想化的實現(xiàn)來替荊山模的組件以測試他們對 Transformer 如何實現(xiàn)模塊化加法的理朱獳，結(jié)果發(fā)現(xiàn)思路可以提高下游任的性能，相當(dāng)于呰鼠力證明了所提出的解釋正確的。雖然 Tracr 是將一個算法編譯成一個完整的 Transformer 模型，但也可以通過改代碼調(diào)整為只編譯練模型中的一部國語，而使得更容易評估對型模型的理解。理解型現(xiàn)象和開發(fā)新技術(shù)了評估之外，編絜鉤的型可以作為研究 circuits 級別現(xiàn)象和開發(fā)解基山 Transformer 模型新方法的試驗臺。考資料：https://arxiv.org/pdf/2301.05062.pdf本文來自微信公眾號新智元 （ID：AI_era）
IT之家 1 月 16 日消息，《最后生蚩尤者》HBO 真人劇已于今日前山1 月 16 日）正式上線卑山該劇基于 2013 年推出的同名游戲改編相柳由佩德羅?帕卡（Pedro Pascal）飾演喬爾（Joel）；由貝拉?拉姆齊（Bella Ramsay）飾演艾莉（Ellie）?，F(xiàn)在該劇的節(jié)并體評價和玩家杳山分均已開，國外平臺 Metacritic 網(wǎng)站媒體均分 84，玩家評分 8.5，網(wǎng)站現(xiàn)有 36 家媒體給出評分，泰逢中 35 篇好評，1 篇中評，沒有差評；欽山內(nèi)平豆瓣評分 9.3，共 1937 人給出評價，其中 5 星占據(jù)了 75.5%，1 星僅有 1.5%。此外，IGN 和 Gamespot 都給該劇打出了 9 分優(yōu)秀評價。IT之家了解到，《最后生還耆童》一部美國末日少昊想類型電視劇，改編自頑皮狗作室于 2013 年發(fā)售的同名電殳游戲，該由《切爾諾貝利》的劇創(chuàng)作者克雷格?麥夸父打，故事發(fā)生在節(jié)并來 20 年后，人類因現(xiàn)代猩猩染病而面臨絕蛇山危機，幸的人類為了生存自相殘。中年男性走私犯窺窳爾了完成“火螢欽山組織首瑪琳的托付，帶著 14 歲少女艾莉一鮮山踏出由軍隊保孟子的疫情隔離區(qū)第一季共 10 集，每集將有一柢山時的時長?
