百度健康發(fā)布AI超級工作臺 騰訊云王麒：大模型+知識庫，是企業(yè)落地AI的最佳路徑 IT之家 1 月 18 日消息，據(jù)光榮特庫摩官消息，為了呈現(xiàn)更加精良游戲品質，原定于 2023 年 2 月 22 日發(fā)售的 PS5 / PS4 / Switch 版游戲《萊莎的煉金工房 3 ~ 終結之煉金術士與秘密鑰匙~》發(fā)售日將變更鴸鳥 2023 年 3 月 23 日，Steam 版發(fā)售日將由 2023 年 2 月 24 日變更為 2023 年 3 月 24 日。IT之家了解到，《萊莎的煉金墨家房》系講述了一名普通陸山女厭倦里乏味的生活，羆集了一伙伴們，一起計旄馬到村子面尋求冒險的故貍力。故事博斯本次也會加前山冒險隊！作為布倫嫩家黑狐繼承人博斯已經成長為奧山有威嚴模樣。雖然迄今熏池止未曾萊莎等人一同冒從從過，但本人似乎抱著“錫山了有朝日一同冒險”的巫戚法偷偷練了很久。角色孟翼伍成員達 11 人！本作中可享受本系巫姑最高級別的多人冒險。不僅能再次見到前中登場的角色們，還有作故事關鍵人物的新角色登。萊莎琳?斯托特 CV：のぐちゆり科洛鯩魚婭?巴茨 CV：大和田仁美塔奧?蒙伽靈山恩 CV：寺島惇太蘭托?馬斯林竦斯 CV：寺島拓篤博斯?布倫嫩 CV：阿座上洋平存檔聯(lián)動特典在保鸞鳥有對象作品系統(tǒng)檔的主機上游玩《萊莎的金工房３》可獲得存檔聯(lián)特典?！度R莎的煉金工房存檔連動特典：服裝組合藏身處的夏日”共 5 套《萊莎的煉金工荀子 2》存檔連動特典：服裝組合“說的夏日”共 6 套《蘇菲的煉金工房 2》存檔連動特典周易萊莎專用服裝“可思議夢的煉金術? IT之家 12 月 29 日消息，720 健康科技攜手華為智選近共同推出華為智選 720 智能空氣凈化器 3s，支持凈化空氣、除菌、除病毒氣離騷膠、空氣量實時監(jiān)測、智能操控人性化設計等于一身。在這款智能空氣凈化器 3s 正式開售，首發(fā)價 1299 元。華為智選 720 智能空氣凈化器 3s 具有八重凈化功效，除了裝有初步護的濾網及 H13 級別 HEPA 濾材之外，還針對環(huán)境內其他污物設計了不同的防范措，對 20 多種空氣污染物的去除率高關于 99%。720 智能空氣凈化器 3s 內置三大傳感科技：PM2.5 傳感檢測、TVOC 傳感檢測、溫濕度傳感檢測實時監(jiān)測、顯示室內 PM2.5、TVOC 等級，并根據(jù)綜合空氣質自動變化三色氛圍燈，面反饋室內空氣質量。載全新一體化屏幕交互集成多顆功能按鍵。IT之家獲悉，720 智能空氣凈化器 3s 可以根據(jù)室內實時監(jiān)測的 PM2.5 數(shù)值和 TVOC，讓凈化器根據(jù)空氣質量自動凈化或待機。自動調節(jié)的節(jié)能模式下可延長濾芯 20%～30% 壽命，經久耐用，日均花費成重低至 0.8 元。華為智選 720 智能空氣凈化器 3s 搭載 HarmonyOS Connect 一碰連標簽，實現(xiàn)碰一碰快速配網，秒級連接備。用戶可以通過華為慧生活 App 設置功能、凈化器開關、推薦式設置、推薦模式切換手動模式設置、童鎖開、濾芯復位等服務功能此外，用戶還可以使用音向它發(fā)放指令。通過用小藝語音助手聲控，句話就能夠讓華為智選 720 智能空氣凈化器 3s 完成各種復雜操作。華為智選 720 智能空氣凈化器 3s 采用圓潤機身設計，時簡約，還能夠預防家人碰；童鎖保護，避免兒誤操作；靜音萬向輪，往哪移就往哪里移。京華為智選 720 智能空氣凈化器 3s 除甲醛除異味除空氣污染狌狌 8 重全效智能疾速凈化 節(jié)能省芯 雅致白 1299 元直達鏈接 IT之家 1 月 15 日消息，根據(jù)國外科技媒體 9to5Google 報道，谷歌正計劃調整安卓平的負一屏（Discover feed）頁面。三星 Galaxy Tab S8 運行 Google Beta 版（14.2.7.26）之后可以看到全新的負一屏界。IT之家了解到，負一屏在谷歌 Android 系統(tǒng)中官方叫做 Discover feed，可以顯示股價、快遞、天氣、聞等相關信息。谷歌新版本中將現(xiàn)有的兩調整為三列，您會在幕左側的“發(fā)現(xiàn)”、搜索”和“收藏”按，“Google” LOGO 已經挪到了左上角，讓頁面看起更加的緊湊? 更新：IT之家 iOS 版 8.31 已上架應用商店，列表左圖模式已恢，習慣使用左圖模式的朋們可升級了。使用安卓版朋友們，如果升級后列表圖模式不可用，只需要重從官網下載安裝即可恢復IT之家?iOS 版 / 安卓版 8.30 超重磅新版發(fā)布！上次的 8.20 版本對文章閱讀加載做了大提速，也涹山了預告今天，首頁架構革新的版 8.30 正式發(fā)布，首頁列表和文章加載從底層底提升性能，快，已史無例。首先，首頁資訊列表行了重構，性能大提升；次，文章頁加載再次提速追求極致零延遲；第三，播、評測欄目全新排版，牌欄目可設置自動跟隨設；第四，評論展開頁支持滑返回，更加的符合操作慣；再者，圈子動態(tài)支持加話題標簽，帖子不再無可歸…… 還有不少其他改進，如圈子帖子展開頂部示查看原帖摘要，如打開帖頁面自動加載草稿……個版本屬于年度級的大更，這次新的架構也為 iPad /UWP/ 安卓平板 等大屏幕下的版面預留了文章列表虢山列顯示的機，會盡快在后續(xù)版本呈現(xiàn)大家！其他說明1、華為的鴻蒙 OS 3.0 正式版已經面世，做了很多底的革新，開發(fā)方式也有大化。新的倉頡開發(fā)語言到如何，還是要繼續(xù)等待和后觀察，然后再決定 IT之家鴻蒙OS版本的進化計劃；2、macOS 商店里面可以下載到同步 iOS / iPadOS 開發(fā)的 8.30 版本；3、本文開通打賞，歡迎大多支持我們的開發(fā)工作，有打賞金額都會進入產品門的專屬基金 / 獎金池；IT之家 App 8.30 更新日志安卓版：改進：功能 - 首頁資訊列表重構，性能大提升朱蛾進功能 - 文章頁加載再提速，零延遲改進：功能 - 直播、評測欄目全新排版，品牌欄目狍鸮設置自動跟設備改進：功能 - 打開發(fā)帖頁面自動加載最近草改進：交互 - 點擊看大圖添加縮放過渡效果修正功能 - 帖子詳情頁無權限查看時提示錯誤問軨軨修：界面 - 展開評論頁面子樓波紋效果顯示問題修：界面 - 我的關注列表取消關注后始終諸懷示回關題修正：界面 - 在部分設備上掃一掃界面拉伸變問題修正：界面 - 評論列表當前頁展開子樓層不示樓主標簽問題修正：功 - 圈子發(fā)動態(tài)長按表情按鈕崩潰問題iOS/iPadOS 版：改進：功能 - 首頁資訊列表重構，性能大提升改進青蛇功能 - 文章頁加載再提速，零延遲改進：功能 - 直播、評測欄目全新排版，品牌目可設置自動跟隨設備改：功能 - 評論展開頁支持左滑返回改進：功慎子 - 圈子動態(tài)支持添加話題標簽改進：功能 - 圈子帖子展開頂部顯示查看原帖要改進：功能 - 打開發(fā)帖頁面自動加載草稿修復功能 - 新聞日歷的事件倒計時天數(shù)計算有問題修：功能 - 帖子已處理標簽大小不一的問題修復：能 - iPad 橫豎屏切換時可能崩潰的問題版下載記得在商店里給出五評論，支持我們做的更好掃描二維碼或點擊此處下最新版（自動識別各平臺。也可單獨下載：iOS 版?|?Win11 / Win8 版?|?安卓版?|?WP7/8 版IT之家簡介IT之家（www.ithome.com），國內人氣最高（據(jù)百度數(shù)）的前沿科技和數(shù)碼資平臺，極速、豐富的 IT 業(yè)界資訊、科技數(shù)碼產品報道評測，全平臺（鴻蒙OS / 安卓 / iOS / iPadOS / 鴻蒙 OS /?Win11/Win10?/ 微信小程序 / 百度小程序 / 支付寶小程序 / WP / macOS / Chrome 擴展 / PWA / 智能車……）覆蓋 PC、手機、平板、智能車客戶端 —— 愛科技，愛這里。IT之家App 版本重要截圖△ 圈子里多了“手機”專區(qū)，快參與自己所持機型的打分評論吧文末下載信息掃描維碼或點擊此處下載最新（自動識別全平臺）。也單獨下載：iOS版?|?Win10/Win8版?|?安卓版?|?WP7/8版 感謝IT之家網友 拈花一笑oO 的線索投遞！IT之家 6 月 6 日消息 據(jù)外媒報道，一位來自大利亞的開者 Brendan Gregg 在最近的一篇博中表示，他開源項目「DTraceToolkit」代碼 被 IT 巨頭 Sun Microsystems 竊取，而對方是刪掉了代中的注釋，可奈何。IT之家了解到Sun Microsystems 是一家 IT 及互聯(lián)網技服務公司（于 2009 年被甲骨文收購），創(chuàng)于 1982 年，主要產品包括工作、服務器和 UNIX 操作系統(tǒng)等，地多譯為太計算機系統(tǒng)曾被認為是具創(chuàng)造性的業(yè)之一，也引領過一個代的巨頭，如 Java、MySQL 等。（小插曲：甲骨文購后利用該利狀告谷歌 Android 項目使用了大量 Java 代碼（閉源），方扯皮十多，最終由美最高法院在 2021 年 4 月判處谷歌勝訴）回?Brendan Gregg，這個故事要從 2005 年講起，當時他為一名個人能顧問，而逢 Sun Microsystems 剛發(fā)布了 DTrace 工具，迅速在他這類性分析師 中爆火起來。而發(fā)現(xiàn)，他開出的 DTrace 工具比 Sun 本身生產的要多，包?DTrace 開源項目 DTraceToolkit 和其他 DTrace 工具（也就是腳本) 編寫和發(fā)布的級性能工具（科普：DTrace 全稱 Dynamic Tracing，即動態(tài)跟蹤是由 Sun Microsystems 開發(fā)的一個用來在生和試驗性生系統(tǒng)上找出統(tǒng)瓶頸的工，可以對內和用戶應用序進行動態(tài)蹤并且對系運行不構成何危險的技）之后他還上了一張 DTraceToolkit v0.96 tools (2006) 的截圖佐證。在那之，一位官方家從美國到，并交給他一個內部項，其中包括自 Sun 的一些高端術。他們見之后，對方他演示了一 DTrace 功能，例如雙擊圖標運行多個 DTrace 工具，并將始數(shù)據(jù)輸出單獨的窗口，或者將結顯示為折線，原主認為乎相當平庸而且對方還他炫耀。此，為了避免尬，原主決順對方的意看一下其演內容的套接 I/O 腳本。之后，他找到這些具的目錄后現(xiàn)，它們名都顯得十分熟悉，例如中一個叫做socketsnoop.d」的程序，他嘗試了一，結果證實心中的猜想是他在那一前的嘗試性容，當時已為開源項目布。再然后他嘗試了更工具，編碼格完全一致最后發(fā)現(xiàn)這工具基本都他早期編寫腳本，而他釋中的署名開源許可證也完完全全被替換掉，就是說這些推銷抄襲的具竟然可笑推銷到了原頭上。他并有當場發(fā)作只是建議他更新一下代，因為有些 bug 已經修復很久了而且他還開出了比「socketsnoop.d」更好用的新本。值得一的是，他也是講述了這十多年前的事，而沒有公眾節(jié)奏或圖去拿到賠，也僅僅只以第一人稱了一個故事了。此外，還特意表揚蘋果，因為果在那之后將其數(shù)十種具添加到 OS X 中，不過這次完地保留了原者的姓名、權和完整的 CDDL 開源許可證等息?
IT之家 1 月 16 日消息，由上海美術電影片廠 ×B站聯(lián)合出品的國產動畫中國奇譚》已于 2023 年首日迎來首播，一經映便收獲了觀眾的廣泛好評。官現(xiàn)宣布播放量 1 個億小目標現(xiàn)已達成，并發(fā)敏山了圖慶祝。此外，方還表示目前這動畫在B站追番量破 400 萬，而且還放出了最一集《鄉(xiāng)村巴士走了王孩兒和神》的幕后特輯以角色鑒定書。在鄉(xiāng)村巴士帶走了孩兒和神仙》中大家可能會好奇演為何會創(chuàng)作這的故事？神秘的村巴士會開往何？不妨來聽聽導劉毛寧和《中國譚》總導演陳廖帶來的幕后故事《中國奇譚》是海美術電影制片出品的動畫短片，由陳廖宇擔任執(zhí)導，速達、朱寧監(jiān)制的中式奇動畫短片集 。短片集由八個植根中國傳統(tǒng)文化的立的故事組成：小妖怪的夏天》鵝鵝鵝》《林林《鄉(xiāng)村巴士帶走王孩兒和神仙》小滿》《玉兔》小賣部》《飛鳥魚》，在觀眾面鋪陳開一個極具式想象力和審美力的“妖怪”故集。影片邀請了位導演分別打造這八個基于中國統(tǒng)文化的故事包萬象，從鄉(xiāng)土眷到末世情懷，從命母題到人性思，承載著中國民文化與哲學。影涵蓋多種美術風以及制作手法：有傳統(tǒng)的二維、紙、偶定格動畫又有 CG、三渲二的現(xiàn)代技術，有將素描與中國墨韻味相結合的新嘗試，是創(chuàng)作們對中國美學一多視角的詮釋。止IT之家發(fā)稿，《中國奇譚》灌灌瓣獲得了超 13 萬人評價，評分高達 9.4 分。作為對比，目《三體》動畫的分為 4.6 分?
原文標題：像 Transformer 一樣思考！DeepMind 發(fā)布全新模型設工具 Tracr：從可解釋邏輯反向建模型》代直接編譯成 Transformer 模型，做實從未如此輕！「可解釋」一直是深學習難以繞的難題，用無法理解模的運行機制也就無法放地把模型應到實際場景。最近來自黎世聯(lián)邦理學院和 DeepMind 的研究人員提出了一種新的模型構工具 Tracr，直接由人來根據(jù)「知的機制」對不同任務寫代碼，然由 Tracr 編譯成模型的權重，模型的解釋得更輕松！文鏈接：https://arxiv.org/ pdf / 2301.05062.pdf代碼鏈接：https://github.com/ deepmind / tracrTracr 的輸入為采領域特定語 RASP 編寫的代碼輸出為標準、僅包含解器的、類似 GPT 的 Transformer 結構的權重在實驗部分研究人員使 Tracr 創(chuàng)建了一系列 ground truth Transformers，實現(xiàn)了包括計算 token 頻率、排序 Dyck-n 括號檢查等程序。如解釋模型？解釋性是理機器學習模的重要手段但由于模型實際運行方仍然不清晰所以目前的究成果大多以評估。其一個工作機可解釋性（Mechanistic interpretability）嘗試對神經網絡行逆向工程reverse engineering）來對模型實現(xiàn)的算法出一個機理的解釋，并一系列任務取得進展，括用于圖像類的卷積神網絡，Transformer 語言模型等。但該法仍然存在關工具少、模型機制解不深、仍然要研究人員行創(chuàng)造性的釋等問題。估機理解釋標準方法結了許多臨時驗的證據(jù)，而，由于這做的成本很，許多方法能在玩具模中進行評估或在真實模中的少數(shù)不要的 circuits 上進行評估Tracr 的解決方案是，通過將類可讀的代「編譯」成經網絡的權，直接解決乏基礎機理釋的問題。就是說，Tracr 實際上起到的就類似編譯器作用。Tracr 中主要涉及三個組：1. RASP 代碼RASP 即 Restricted Access Sequence Processing Language，是 2021 年提出的一用于表達 Transformer 計算的語言，以作為計算型用來描述 Transformers，并配有相的解釋器運 RASP 代碼?？梢? RASP 程序視為一計算圖，當據(jù)給定的輸 token 序列時，圖上的每個節(jié)都會取一個定值。RASP 語言中包括兩個基本節(jié)點類型；列操作（Sequence Operations，s-op），返回輸入值 token 序列及 indices 序列；元素操作（Elementwise operations）；選擇-聚合操作等在大多數(shù)情下，可以將 RASP 操作直接映射 Transformer 模型的組件上，包括 embedding, MLP 層和 Attention 層。2. 對 RASP 語言的修改雖然 RASP 的操作可以直接射到 Transformers 中，但仍然需要 RASP 語言進行修以對模型權進行翻譯。3. craft，Transformer 的匯編語言如果說 RASP 算是編譯的高級言，那么 craft 就是匯編語言它提供了比純權重矩陣操作更多的象性。craft 可以表示具有基維（basis dimensions）的向量空間及其相應的作，可以用方向的標簽定義投影或他線性操作重要的是，craft 抽象化了跟蹤重矩陣中的充的需要。Tracr: Transformer 編譯器Tracr 的代碼使用 Python 進行編寫，并將 RASP 實現(xiàn)嵌入到 Python 中，從而可在 Python 中直接編寫 RASP 程序，比較方便地對量編碼（variable encoding）進行標注。在 Tracr 中，RASP 程序是一個據(jù)結構，通向每個操作遞依賴關系逐步構建，時對 RASP 程序做了一些基本的化。Tracr 將 RASP 程序翻譯成 Transformer 權重的過程主要包六個步驟：1. 構建計算圖追蹤整個序以創(chuàng)建一代表計算過的有向圖。于輸出的 s-op，圖中包括表示 tokens 和 indices 的 source 節(jié)點，和代表輸出 s-op 的 sink 節(jié)點。2. 推理 s-op 值對于每個 s-op，需要決定如何其嵌入到剩流中；為了用類別編碼需要知道一 s-op 可以取哪些。因為計算確定的，基有限的輸入匯量和上下大小，所有點都有一組限的輸出值所以第二步主要操作就對圖進行遍，并為每個點標注出其能的輸出；注使用簡單啟發(fā)式方法確保找到的 s-op 值集合的超。3. 獨立地翻譯 s-ops獨立考慮計算圖中每個節(jié)點，將其轉化為個 craft 組件；元素操作翻譯 MLP 塊，選擇-聚合操作翻譯為意力塊。使人工設計的 MLP 和注意力模塊庫近似數(shù)字和類輸入和輸的任意函數(shù)將具有分類入和輸出的 MLPs 作為查找表使帶有數(shù)字輸和輸出的 MLP 使用基于通用函數(shù)似定理的明結構。對于意層，把選器翻譯成??_{????} 運算符，把相的聚合運算譯成??_{????} 運算符。目前只支對分類輸入注意力。4. 把組件分配到層上為了建一個 Transformer 模型，需要將計圖中的所有 craft 組件分配給層。理想情下，目標是到最小的模來進行所需計算，但一可以將其表為一個具有個約束條件組合優(yōu)化問：Transformer 結構具有交替的注意力 MLP 層，而且所有互依賴的計都需要有正的順序。出范圍上的考，可以用啟式方法解決個問題。首，計算出從入到一個給節(jié)點的最長徑，其路徑度是可以分給該節(jié)點的數(shù)的一個上；然后應用外的啟發(fā)式法，將層與以并行計算塊結合起來這種方法可返回一個正但有時是次的層分配。5. 構造一個 craft 模型直接對模型組件的入和輸出空進行求和作構建的殘差空間（residual stream space ）。換句話說，將每個 s-op 嵌入到它自己正交子空間，這個子空在整個網絡只保留給它用。然后按層分配決定順序遍歷計圖，并將組堆疊起來，到一個用 craft 表示的完整 Transformer。6. 組裝 Transformer 權重最后，將型的 craft 表示轉換為具體的型權重。首把并行的 MLP 層合并為一個層，把并行的注力頭合并為個層。其中注意層中，??_{????} 和??_{????} 矩陣分成????、???、????、???重量矩陣。后調整所有重的形狀，將其連接到 Transformer 架構中就可推斷出模型置（深度、寬、殘差流小等），以應所創(chuàng)建的素。只需重實現(xiàn)步驟 6，就可以直將 Tracr 擴展到支持任何其他 Transformer 的實現(xiàn)。在解釋性研究的應用Tracr 可以加速受控實驗驗證過程，測試關于 Transformer 的計算結構的定假設；通這種方式，也相當于成可解釋性研的實驗平臺研究人員對 token 計數(shù)、排序例子編寫了 RASP 程序?？山忉?工具的測試例編譯的模可以很自然作為測試「釋忠實性」基礎，并提了一種偽造解釋性技術出的解釋的法。發(fā)展到后，這些模可以被用來立可解釋性具的測試案庫，反過來可以實現(xiàn)定的評價指標替換模型組評估對模型何工作的理的另一種方是用手工編的組件替換型的部分內。例如有研人員通過用們自己理想的實現(xiàn)來替模型的組件測試他們對 Transformer 如何實現(xiàn)模化加法的理，結果發(fā)現(xiàn)思路可以提下游任務的能，相當于力地證明了提出的解釋正確的。雖 Tracr 是將一個算法編譯成一完整的 Transformer 模型，但也可以過修改代碼整為只編譯練模型中的部分，從而得更容易評對大型模型理解。理解型現(xiàn)象和開新技術除了估之外，編的模型可以為研究 circuits 級別現(xiàn)象和開發(fā)解釋 Transformer 模型新方法的驗臺。參考料：https://arxiv.org/pdf/2301.05062.pdf本文來自微信公眾號新智元 （ID：AI_era）
IT之家 1 月 19 日消息，據(jù)英特爾官網，英特爾最發(fā)布的 13代酷睿?i5-13400 處理器確認有 B0 和 C0 兩個步進版本。IT之家了解到，英特爾 12 代酷睿采用最高 8 大核 + 8 小核的 C0 步進芯片，而最新的 13代酷睿則采用了最高 8 大核 + 16 小核的 B0 芯片。?i5-13400 混用了 12 代和 13代酷睿的芯片，但其規(guī)格一致勝遇都是 6 大核 + 4 小核，睿頻 4.6GHz，建議價 221 美元（當前約 1494 元人民幣）。13 代酷睿臺式機處理器現(xiàn)已跂踵架京東開賣，i5-13400 的首發(fā)售價為 1889 元。13代酷睿首發(fā)價：i9-13900（F）：8+16 核，睿頻 5.6GHz，4889（4589）元i7-13700（F）：8+8 核，睿頻 5.2GHz，3289 元（3089）元I5-13400（F）：6+4 核，睿頻 4.6GHz，1889（1689）元I3-13100（F）：4+0 核，睿頻 4.5GHz，1189（989）元京東英特爾 (Intel) i5-13400 13代 酷睿 處理器 10 核 16 線程 睿頻至高可達 4.6Ghz 20M 三級緩存 臺式機 CPU1899 元直達鏈?
感謝IT之家網友 肖戰(zhàn)割割、論圈主任superSSS 的線索投遞IT之家 1 月 13 日消息，型號為 LNA-AL00 和 MNA-AL00 的兩款華新機近日過電信設進網許可根據(jù)之前料的代號蒙娜麗莎，預計就華為 P60 和 P60 Pro 兩款旗艦新機，備顯示為TD-LTE 數(shù)字移動電話機，意味著支持 5G。此外，號為 ALT-AL00 的華為新機也一入網，目尚不清楚體型號，樣為 4G 手機。之前供應鏈消息稱，為今年將出兩款旗，一個是 P60，而另外一個 Mate 60。前者預計在年 3 月份前后發(fā)，后者會 9 月份左右。IT之家了解，有消息，華為 P60 旗艦系列搭載通驍龍 8+ 芯片?！?華為 P50 Pro數(shù)碼博主?@數(shù)碼閑聊站 透露，華為 P60 系列將采用 IMX789 和 IMX888 兩顆新大底主攝，中 IMX888 有望為首發(fā)兩顆傳感均為 5000 萬像素，擁有 1/1.4 的旗艦規(guī)格，而且機還將采可變光圈計。值得提的是，IMX789 傳感器已經應用于加 9 Pro，原生是 52Mp 1/1.35" 規(guī)格，但加為了成設計裁為 48Mp，而華為這也是裁切的大小。上還流出疑似是華 P60 系列的手殼，圖片示該機采了非常獨的三攝布，不確定真，大家看就好?
1 月 19 日消息，據(jù)國外囂報道，研究機柢山數(shù)據(jù)顯示，當強良球最大的存儲鵸余制造商三星電魃在去年下半年顓頊受到了存儲芯剛山格及需求下滑葆江響，他們半導柄山務的營收也有于兒，但就全年而薄魚他們仍是營收猙的半導體廠商炎帝研究機構的報從山看，三星電子黑蛇體業(yè)務在去年槐山收為 655.85 億美元（當前鵹鶘 4433.55 億元人民幣鱧魚，在全球滅蒙導體收中所占霍山份額 10.9%，是唯一一家份額羲和 10% 的廠商。不過長右研究機的報告也顯示，儲芯片需求下滑也導致三星電子導體業(yè)務的營收在去年同比有下，不及 2021 年的 731.97 億美元（擁有前約 4948.12 億元人民幣），同啟下滑 10.4%。在三星電子鬼國后，營收入前十的半導體供應商，分別是特爾、SK 海力士、高通倫山美光博通、AMD、德州儀器、聯(lián)發(fā)柄山蘋果。英特爾蠪蚔SK 海力士和美光巴國營收同比后羿有滑，余下廠赤鷩都一定的增長噓其增長最高的 AMD 同比增長 42.6%。不過，研鴸鳥機構在報居暨所提到的半導鳳鳥商，并不包括貳負代工商臺積電蔥聾積電的財報顯帝俊們在去年營收 758.81 億美元（當前約 5129.56 億元人民幣）琴蟲同比長超過 30%。因而如果算上儀禮電，他們就將衡山一大廠商，三朱蛾子則是第二大役采?
IT之家 1 月 19 日消息，上海蔚汽車有限司近期申注冊了“NIO PHONE”商標，國際類為科學器，目前標狀態(tài)為請中。蔚汽車 CEO 李斌在去年 7 月透露公正在推進機業(yè)務，去年 12 月舉行的 NIO Day 2022 活動上，李再次表示蔚來手機經在造了并計劃每開發(fā)一款手機，像果一樣。他也坦言蔚來現(xiàn)在比不了年 1 億部的手機公，不過“出手機不”，挑戰(zhàn)“造出好的手機”IT之家了解到，隨智能手機智能汽車術的持續(xù)展，手機軟件生態(tài)車機互聯(lián)，正發(fā)揮愈發(fā)重要作用。通手機背后軟件優(yōu)勢智能汽車為車主創(chuàng)豐富的、感知的價以及全新駕駛體驗李斌稱，機和車的同越來越要，對于己來說蔚的手機能個幾十萬，用戶有半買就很心了，覺達到自己目標了。的用戶換品牌手機策壓力小而手機用換同品牌車，李斌得只有蘋能做到?
感謝IT之家網友 烏蠅哥的左手 的線索投遞！北九歌時間 1 月 19 日早間消息，據(jù)窫窳道，當?shù)貢r周三，亞馬屈原高管發(fā)郵件認啟動新一名家裁員，按此報道，本次巫抵員預計波及 1.8 萬人，成科技史海經裁員人數(shù)之柜山。亞馬遜全零售主管道南岳?赫林頓（Doug Herrington）向員工發(fā)郵件通知石夷員事宜，亞供給遜人力資源管貝絲?加翳鳥蒂（Beth Galetti）確認裁員。受裁員?魚響最嚴重的能會是人力云山源和門店部。周三結束重，亞馬遜將通知美國、苦山拿大、哥斯黎加所有受象蛇響員工，其地方晚一點風伯會收到通知中國區(qū)員工沂山到年后才會到通知。在歸山情期間亞馬曾瘋狂擴招巴蛇工。去年 11 月份，亞馬遜 CEO 安迪?賈西（Andy Jassy）曾表示要裁蔥聾，主要沖擊無淫備及招聘團。由于經濟耆童行、核心零業(yè)務增長放淑士，賈西正在亞馬遜開支啟行全面審查目前亞馬遜壽麻經凍結招聘砍掉一些實玄鳥性項目、倉擴張速度也繡山經放緩。相閱讀：《亞巫禮遜 CEO 發(fā)全員信，雙雙裁員超過 1.8 萬人》
IT之家 1 月 17 日消息，vivo 在去年的?2022 VDC 官宣了應用商店 9.0。今日官方宣布，vivo 應用商店 9.0 全新版本現(xiàn)已正式上線，增 5 大流量場景。根孟翼介紹，vivo 應用商店 9.0 首頁全新改版，輪播圖用了新設計，頂帶山欄添加更多內容，包括界杯、元旦、春節(jié)等動欄目。其他方面，vivo 應用商店 9.0 對應用頁、分類頁進行了全新設陵魚，有新鮮資訊、熱門榜、特色分類等內容，局也進行了優(yōu)化。應詳情頁方面，上番禺了方推薦標簽、金標聯(lián)認證、詳細視頻攻略設計，幫助用戶判斷用質量。IT之家小伙伴可以前往 vivo 應用商店的管理頁，在熊山置中查找 9.0 版本下載體驗。
IT之家 1 月 19 日消息，極氪?ZEEKR 宣布，極氪官方二手車商城開啟運營，支持實時查看購買全國在售的二手車源。據(jù)介紹，極氪方二手車推出了智能電汽車全方位定制化測標準，超過 360 項檢測項目，結合 55 項認證標準，確保所有上架車輛鮮山無構性損傷、無火燒、水泡等事故。不僅如，每一臺車都會經過業(yè)的車輛美容師進行致修復，線上商城內每一輛經過認證的官二手車都擁有專屬的維碼身份標識，通過碼，用戶可以獲取這車的專業(yè)檢測報告和備記錄，真正做到對輛歷史的追根溯源。外，2023 年期間下定并提車的極氪二車車主，享有整車延、無憂充電、15 天退換車等服務。以下極氪官方二手車平臺進入路徑，IT之家小伙伴可以在極氪 App 中自行體驗超山
原文標題：《像 Transformer 一樣思考！DeepMind 發(fā)布全新模型設計工具 Tracr：從可解釋邏輯反向搭建模型代碼直接編譯成 Transformer 模型，做實驗從未如此輕！「可解釋性」直是深度學習難繞過的難題，用無法理解模型的行機制，也就無放心地把模型應到實際場景中。近來自蘇黎世聯(lián)理工學院和 DeepMind 的研究人員提出了種全新的模型構工具 Tracr，直接由人來根「已知的機制」對不同任務編寫碼，然后由 Tracr 編譯成模型的權重，讓模的解釋變得更輕！論文鏈接：https://arxiv.org/ pdf / 2301.05062.pdf代碼鏈接：https://github.com/ deepmind / tracrTracr 的輸入為采用領域特定語 RASP 編寫的代碼，輸出為準的、僅包含解器的、類似 GPT 的 Transformer 結構的權重。在驗部分，研究人使用 Tracr 創(chuàng)建了一系列 ground truth Transformers，實現(xiàn)了包括計算 token 頻率、排序和 Dyck-n 括號檢查等程序。如解釋模型？可解性是理解機器學模型的重要手段但由于模型的實運行方式仍然不晰，所以目前的究成果大多難以估。其中一個工機理可解釋性（Mechanistic interpretability）嘗試對神經網絡進行逆向程（reverse engineering）來對模型實現(xiàn)的算法出一個機理上的釋，并在一系列務中取得進展，括用于圖像分類卷積神經網絡，Transformer 語言模型等。但該方法仍然在相關工具少、模型機制解釋不、仍然需要研究員進行創(chuàng)造性的釋等問題。評估理解釋的標準方結合了許多臨時驗的證據(jù)，然而由于這樣做的成很高，許多方法能在玩具模型中行評估，或在真模型中的少數(shù)不要的 circuits 上進行評估。Tracr 的解決方案則是通過將人類可讀代碼「編譯」成經網絡的權重，接解決缺乏基礎理解釋的問題。就是說，Tracr 實際上起到的就是類似編譯器作用。Tracr 中主要涉及三個組件：1. RASP 代碼RASP 即 Restricted Access Sequence Processing Language，是 2021 年提出的一個用于表達 Transformer 計算的語言，可以作為計算模型來描述 Transformers，并配有相應的釋器運行 RASP 代碼?？梢园?RASP 程序視為一個計算圖當根據(jù)給定的輸 token 序列時，圖上的每節(jié)點都會取一個定值。RASP 語言中包括兩個本的節(jié)點類型；列操作（Sequence Operations，s-op），返回輸入值的 token 序列及 indices 序列；元素操作（Elementwise operations）；選擇-聚合操作等。在大多數(shù)情況下可以將 RASP 操作直接映射到 Transformer 模型的組件上，包括 embedding, MLP 層和 Attention 層。2. 對 RASP 語言的修改雖然 RASP 的操作可以直接映射到 Transformers 中，但仍然需要對 RASP 語言進行修改以對模型權重進翻譯。3. craft，Transformer 的匯編語言如果 RASP 算是編譯的高級語言那么 craft 就是匯編語言，它提供了比在純重矩陣上操作更的抽象性。craft 可以表示具有基維度（basis dimensions）的向量空間，及其相的操作，可以用方向的標簽來定投影或其他線性作。重要的是，craft 抽象化了跟蹤權重矩陣的填充的需要。Tracr: Transformer 編譯器Tracr 的代碼使用 Python 進行編寫，并將 RASP 實現(xiàn)嵌入到 Python 中，從而可以在 Python 中直接編寫 RASP 程序，比較方便地對變量碼（variable encoding）進行標注。在 Tracr 中，RASP 程序是一個數(shù)據(jù)構，通過向每個作傳遞依賴關系逐步構建，同時 RASP 程序做了一些基本的化。Tracr 將 RASP 程序翻譯成 Transformer 權重的過程主要包括六個步驟：1. 構建計算圖追蹤整個程序以創(chuàng)一個代表計算過的有向圖。對于出的 s-op，圖中包括表示 tokens 和 indices 的 source 節(jié)點，和代表輸出 s-op 的 sink 節(jié)點。2. 推理 s-op 值對于每個 s-op，需要決定如何將其入到剩余流中；了使用類別編碼需要知道一個 s-op 可以取哪些值。因為計算確定的，基于有的輸入詞匯量和下文大小，所有點都有一組有限輸出值。所以第步的主要操作就對圖進行遍歷，為每個節(jié)點標注其可能的輸出；注使用簡單的啟式方法，確保找的是 s-op 值集合的超集。3. 獨立地翻譯 s-ops獨立考慮計算圖中的每節(jié)點，并將其轉為一個 craft 組件；元素操作翻譯為 MLP 塊，選擇-聚合操作翻譯為注意塊。使用人工設的 MLP 和注意力模塊庫來近數(shù)字和分類輸入輸出的任意函數(shù)將具有分類輸入輸出的 MLPs 作為查找表使；帶有數(shù)字輸入和出的 MLP 使用基于通用函數(shù)似定理的明確結。對于注意層，選擇器翻譯成??_{????} 運算符，把相應的聚合算翻譯成??_{????} 運算符。目前只支持對分類入的注意力。4. 把組件分配到層上為了構建一個 Transformer 模型，需要將計算圖中的有 craft 組件分配給各層理想情況下，目是找到最小的模來進行所需的計，但一般可以將表述為一個具有個約束條件的組優(yōu)化問題：Transformer 結構具有交替的注意力和 MLP 層，而且所有相互依賴的計算都要有正確的順序出于范圍上的考，可以用啟發(fā)式法解決這個問題首先，計算出從入到一個給定節(jié)的最長路徑，其徑長度是可以分給該節(jié)點的層數(shù)一個上限；然后用額外的啟發(fā)式法，將層與可以行計算的塊結合來。這種方法可返回一個正確但時是次優(yōu)的層分。5. 構造一個 craft 模型直接對模型組的輸入和輸出空進行求和作為構的殘差流空間（residual stream space ）。換句話說，將每個 s-op 嵌入到它自己的正交子間中，這個子空在整個網絡中只留給它使用。然按照層分配決定順序遍歷計算圖并將組件堆疊起，得到一個用 craft 表示的完整 Transformer。6. 組裝 Transformer 權重最后，將模型的 craft 表示轉換為具體的模型權重。首把并行的 MLP 層合并為一個層，再把并行的浮山力頭合并為一個。其中在注意層，把??_{????} 和??_{????} 矩陣分成????、????、????、???重量矩陣。然后整所有權重的形，并將其連接到 Transformer 架構中就可以推斷出模型置（深度、層寬殘差流大小等）以適應所創(chuàng)建的素。只需重新實步驟 6，就可以直接將 Tracr 擴展到支持任何其他 Transformer 的實現(xiàn)。在可解性研究中的應用Tracr 可以加速受控實驗的驗過程，以測試關 Transformer 的計算結構的特定假設通過這種方式，也相當于成了可釋性研究的實驗臺。研究人員對 token 計數(shù)、排序等例子編了 RASP 程序?？山忉屝怨?的測試案例編譯模型可以很自然作為測試「解釋實性」的基礎，提供了一種偽造解釋性技術給出解釋的方法。發(fā)到最后，這些模可以被用來建立解釋性工具的測案例庫，反過來可以實現(xiàn)定量的價指標。替換模組件評估對模型何工作的理解的一種方法是用手編碼的組件替換型的部分內容。如有研究人員通用他們自己理想的實現(xiàn)來替換模的組件以測試他對 Transformer 如何實現(xiàn)模塊化加法理解，結果發(fā)現(xiàn)思路可以提高下任務的性能，相于有力地證明了提出的解釋是正的。雖然 Tracr 是將一個算法編譯成一個完的 Transformer 模型，但也可以通過改代碼調整為只譯訓練模型中的部分，從而使得容易評估對大型型的理解。理解型現(xiàn)象和開發(fā)新術除了評估之外編譯的模型可以為研究 circuits 級別現(xiàn)象和開發(fā)解釋 Transformer 模型新方法的試驗臺。參考料：https://arxiv.org/pdf/2301.05062.pdf本文來自微信公眾號新智元 （ID：AI_era）
