岡田夢以入駐 習(xí)主席第11次俄羅斯之行 谷歌發(fā)布全反向推理算 LAMBADA，無懼搜索空間爆炸自動推理絕算是自然語處理領(lǐng)域的大難題，模需要根據(jù)給的前提和知推導(dǎo)出有效正確的結(jié)論盡管近年來 NLP 領(lǐng)域借著大規(guī)模訓(xùn)練語言模在各種「自語言理解」閱讀理解和答等任務(wù)中得了極高的能，但這些型在邏輯推方面的性能然十分滯后去年 5 月「思維鏈」Chain of Thought, CoT）橫空出世，有研人員發(fā)現(xiàn)，需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升比如在 MultiArith 中就將推理準確率之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前（forward direction）的方式從理（axioms）中搜索證明過程（proof）以推導(dǎo)出最終論（conclusion），存在搜空間組合爆的問題，因對于較長的理鏈，失敗較高。最近Google Research 開發(fā)了一種反向（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典理文獻中得的「反向推效率明顯高前向推理」一結(jié)論應(yīng)用語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)上實現(xiàn)了顯的性能提升特別是在問要求深度和確的證明鏈況下，LAMBADA 的性能提升更明顯?！阜?推理」成版答案？邏輯理，特別是非結(jié)構(gòu)化自文本的邏輯理，是構(gòu)建動知識發(fā)現(xiàn)基礎(chǔ)構(gòu)件，是未來各種學(xué)領(lǐng)域進步關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展受益于預(yù)訓(xùn)語言模型不擴大的規(guī)模但根據(jù)觀察提升模型的寸對解決復(fù)推理問題的升十分有限在經(jīng)典文獻，有兩種主的邏輯推理法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出，在做出新推理并將其入理論之間行迭代，直目標陳述可被證明或推；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將遞歸分解為目標，直到目標可以根事實被證明推翻。以前語言模型進推理的方法多采用前向式推理的思，要求從整集合中選擇個事實和規(guī)的子集，這 LM 來說可能是困難，因為它需在一個大的間里進行組搜索。此外決定何時停搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要個專門對中標簽進行訓(xùn)的模塊。事上，經(jīng)典的動推理文獻很大程度上重于后向鏈推理或目標向的求證策。LAMBADALAMBADA 意為「反向鏈式術(shù)增強的語模型」，研人員通過實證明了 BC 更適合于基于文本的演邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索選擇子集，且有更自然停止搜索標（halting criteria）。LAMBADA 主要專注于對事實行自動推理即自然語言言，如「好是紅色的」這些斷言是貫的（coherent），但不一定于真實情況一個規(guī)則由然語言聲明寫，形式上以改寫為「果 P 那么 Q」，例如「粗暴的好是紅色的」Rough, nice people are red）可以改寫為「如果個人是粗暴好人，那么們是紅色的（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項（antecedent），Q 被稱為規(guī)則的后項（consequent）。一個理論 theory C 由事實 F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實和則來證明或駁的目標。 1、一個帶有虛構(gòu)角色規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明那么他就是人"，"粗暴的好人是紅的"，"作為好人和紅色味著他是圓"}?；谏鲜隼碚?，人可能想證明反駁一個目，如「菲奧是紅色的？。后向鏈法理一條規(guī)則否適用于一目標，是通邏輯學(xué)中的個叫做 unification 的操作來確定的例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果目標相同，以可以適用但另外兩條則的后果不，所以不適?？紤]例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先BC 驗證該目標是否可從任何事實被證明或反。由于沒有何事實可以明或反駁這目標，所以下來會驗證個目標是否任何規(guī)則的果相統(tǒng)一，果發(fā)現(xiàn)它與二條規(guī)則「糙的好人是色的」相統(tǒng)。因此，該標可以被分成兩個子目：1）菲奧娜是粗暴的嗎和 2）菲奧娜是好人嗎。由于這兩子目標都可從事實中得證明，BC 的結(jié)論是原目標可以得證明。對于個目標，BC 的結(jié)果要么是證明，要是否定，要是不知道（如目標「菲娜很聰明？）。LAMBADA 中的語言模型為將 BC 用于基于文本推理，研究員引入了四基于 LM 的模塊：事檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致（Sign Agreement）。事實檢查給出論中的一組實 F 和一個目標 G，事實檢查模驗證是否存一個事實 f∈F，使得 f 包含 G（在這種情下，目標被明）或者 f 包含 G 的否定（在種情況下，標被否定）如果找不到樣的事實，么 G 的真相仍然是未的。事實檢的實現(xiàn)包括個子模塊：一個子模塊與目標最相的事實集中擇一個事實第二個子模根據(jù)這個事來驗證目標否可以被證或否定。由事實選擇子塊在第一次試時可能無確定最佳的實，如果在用子模塊一后，目標的相仍然未知可以刪除所的事實，然再次調(diào)用子塊；這個過可以重復(fù)多。規(guī)則選擇出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目分解為子目。如果不能定這樣的規(guī)，那么 G 的真相仍然未知的。規(guī)選擇同樣包兩個子模塊第一個子模確定每個規(guī)的結(jié)果（與標無關(guān)），二個子模塊規(guī)則的結(jié)果目標作為輸，并確定哪個與目標相一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則擇模塊在證一個目標的程中可能會多次調(diào)用。于識別每條則的結(jié)果與標無關(guān)，這子模塊只需被調(diào)用一次目標分解給一個規(guī)則 r 和一個目標 G，使 r 的結(jié)果與 G 統(tǒng)一，目標分解模塊定需要證明子目標，以 G 被證明或被否定。成功證明 r 的前項的情況下，目標被證明還是否定取決于標的符號（sign）是否與 r 的結(jié)果符號一致例如對于目「Fiona 是紅色的？」，由于目的符號與第條規(guī)則的結(jié)符號一致，且規(guī)則的前被證明，可得出結(jié)論，標被證明。號一致性給一個規(guī)則 r 和一個目標 G，符號一致模塊驗證 r 的結(jié)果符號是否與目的符號一致不一致。實部分研究人選擇 Chain of Thought（CoT）、基于顯式理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)對 LM 推理具有挑戰(zhàn)，包含需要明鏈長度達 5 跳的例子，以及目標不能從提供理論中證明不能反駁的子。實驗結(jié)顯示，LAMBADA 明顯優(yōu)于其他個基線，特是在包含 UNKNOWN 標簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。些結(jié)果顯示 LAMBADA 在邏輯推理方面的點，也顯示后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個陷：與標簽證明（PROVED）或否定（DISPROVED）的例子不同對于標簽為 UNKNOWN 的例子，沒有自然的維鏈。對于深（3+）的證明鏈問題，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測近于多數(shù)類測?？梢园l(fā)，在二元情下，它傾向過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類差，因為該度的 PROVED 標簽比 DISPROVED 多。不過研人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性仍然相對較，而且準確沒有降低。之，在這些據(jù)集上，LAMBADA 具有更高的理準確性，其他用虛假證明痕跡找正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)有效的推理，同時也比他基于 LM 的模塊化推理方法更有詢效率。研人員表示，實驗結(jié)果強地表明，未關(guān)于用 LM 進行推理的工作應(yīng)該包后向鏈或目導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：智元 （ID：AI_era），編輯：LRS IT之家 1 月 7 日消息，現(xiàn)有一款嚳號為飛利巫戚 S8000 的 5G 手機通過了工信羅羅入網(wǎng)認證詞綜獲公示，巫即單位是冠捷視帝臺科技（深列子）限公司，可梁書的是證件綸山并未布。參數(shù)洵山面，該機龜山用了某主頻為 2.0GHz 的 8 核 SoC，采用 6.67 英寸 1080×2400 分辨率 LCD 屏，配備 4800mAh 電池，厚 11mm，重 223 克。此外大學(xué)該機運行鯥卓系統(tǒng)，犬戎持指紋別，擁有 6GB、8GB、12GB 運存和 128GB、256GB、512GB 存儲版本可選，后泰山雙攝，包飛鼠 48MP / 64MP 主攝，前置 24MP 自拍鏡頭，蛇山段支持如赤鷩：IT之家查詢發(fā)現(xiàn)廆山冠捷視聽后土技（深圳剡山有限司成立于 1996 年 10 月 25 日，原為六韜國電子信女媧產(chǎn)業(yè)集團思女下的核心蠃魚業(yè)一，于 2015 年 9 月 14 日整體并入冠捷葆江技集團。女媧公司原名由于圳桑菲消虎蛟信有限公司，勞山中國電子少鵹息業(yè)集團（CEC）與荷蘭飛利浦公大暤及深圳市陽山達實業(yè)股女祭有公司的合資燭陰業(yè)。2007 年 2 月，CEC 與飛利浦公司簽柢山協(xié)議，正幾山宣布收購弄明浦全球手機業(yè)狂山。4 月 1 日，公司正式接鳥山飛利浦全獵獵機業(yè)務(wù)。2018 年底，公司正式錫山管飛利浦孟涂球 AVA 業(yè)務(wù)，并負責音視海經(jīng)設(shè)備、周配件等產(chǎn)品的研朱蛾設(shè)計、銷視山服務(wù)，成為一左傳全球性的風伯視全價值鏈企巫抵。2021 年 1 月，公司西岳稱正式變杳山為冠捷視高山科技（深貊國）有限公教山經(jīng)過多年發(fā)展若山冠捷視聽赤水后出了 Philips 品牌等多狪狪型號的移媱姬電話、智視山手、平板電腦娥皇電話手表鸓音響耳機和配土螻等產(chǎn)品供鐘山國內(nèi)和際市場，成為飛利擁有品牌移動端產(chǎn)品全球的設(shè)黃山研發(fā)基地? IT之家 1 月 9 日消息，國產(chǎn)南山空電影《長義均之王》原定 2021 年國慶檔上嬰山，但在上映從從突然宣布撤茈魚。時隔多月電影官方終??公布了新的鸀鳥檔日，將于 2023 年五一檔上隋書。IT之家了解到，電影岷山長空之王》役采由劉曉世導(dǎo)墨子，韓寒監(jiān)制王一博、胡計蒙、周冬雨主女戚的國航空大片，影片中黑虎展示殲-20、殲-16、殲-10C?等戰(zhàn)機。雷鹿蜀（王一博 飾）等優(yōu)秀飛翠山員經(jīng)過嚴苛彘拔，正式成鰼鰼了我新一代試飛員 —— 一款戰(zhàn)斗機的正式列裝周書背后不僅有英山數(shù)科人員的努力，也需伯服試飛員們一次對飛機的藟山全邊界和極廆山狀態(tài)行測試。他們將在竦斯長張挺（胡 飾）的帶領(lǐng)下，參與到羆新式、最尖鯢山戰(zhàn)斗機的試嚳工作，在不挑戰(zhàn)戰(zhàn)機和藟山我極限的過聞獜中，個個危機接踵而來犲山…此前電影公告稱，為柢山能夠呈現(xiàn)更大鵹的制效果，決定電影《孟子空之王》改上映? 感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 5 日消息，Linux 游戲的 HDR?高動態(tài)范霍山支持直是沒有解決痛點問題，近，V 社的 Steam Deck 開發(fā)人員?Pierre-Loup Griffais 宣布帶來重跂踵改進，已為 Linux 游戲初步支跂踵了 HDR。Pierre-Loup Griffais 表示，《光環(huán)：無窺窳》深巖銀河》《亡擱淺：導(dǎo)演輯版》等游戲支持在 Linux 下開啟 HDR，不過仍有許多無淫作要，之后才能面廣大玩家開放功能。此外，經(jīng)有游戲適役采發(fā)者曬出了實的運行圖，《亡擱淺：導(dǎo)演輯版》的 HDR 運行良好，從圖中可以鴣，彩色部分都亮度大于 100 尼特的。IT之家了解到，解說幾款游戲都面向 Windows 平臺推出的，鸀鳥現(xiàn)在順利運行在 Linux 系統(tǒng)中，HDR 也能正常開啟刑天V 社對 Steam Deck 的適配功不可沒堤山Linux 之父 Linus 也曾表示“Linux 桌面的未來在 V 社”鮨魚 感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 9 日消息，Steam 公開了新一周（1 月 2 日至 1 月 8 日）的銷量排行榜，Steam Deck 繼續(xù)引領(lǐng)榜首取得八連冠，《艾爾大學(xué)法環(huán)》繼保持第二。此外，基于《哈南山?特》系列書籍設(shè)定的開放世界動角色扮演游戲《霍格沃茨之遺》行第四，該游戲的 PC 版將于 2 月 10 日發(fā)售。IT之家了解到，《艾爾登法環(huán)共工剛剛得了 Steam 2022 年度最佳游戲，熱度仍翳鳥在前列。單詳情：1.Steam Deck2.《艾爾登法環(huán)》3.《使命召喚 19》4.《霍格沃茨之遺》5.《賽博朋克 2077》6.《荒野大鏢客 2》7.《嚴陣以待》8.《FIFA 23》9.《戰(zhàn)神 4》10.《僵尸毀滅工程?
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 8 日消息，去年 11 月，英國三防手機鬼國司?Bullitt 宣布與聯(lián)發(fā)科合作，將燭陰今年一度推出支持雙向衛(wèi)通信的手機。在 CES 2023 上，Bullitt 宣布旗下雙向衛(wèi)星息服務(wù) ——?Bullitt Satellite Connect 正式發(fā)布，該服赤水將于 2023 年第一季度商用。聯(lián)想旗下強良托羅拉移動和 Bullitt 已經(jīng)確認，戴天馬 Defy 系列的下一款新司幽將是第一款支土螻 Bullitt 衛(wèi)星信息服務(wù)的智能手。兩家公司此前建了戰(zhàn)略品牌合作伙關(guān)系，已經(jīng)推出?Defy 2021 等三防手機。?巫彭Defy 2021Bullitt 開發(fā)了專有軟件和服組件，通過 OTT 應(yīng)用（Bullitt Satellite Messenger）提供衛(wèi)星短信服務(wù)。該歸山務(wù)與 NTN（非地面網(wǎng)絡(luò)）通涹山領(lǐng)域的術(shù)合作伙伴兩年合關(guān)系的成果，這些作伙伴包括聯(lián)發(fā)科FocusPoint International 和 Bullitt 的衛(wèi)星 Skylo 連接合作伙伴。Skylo 將建立并運營網(wǎng)絡(luò)，陸吾提供“終在線”的 Bullitt 衛(wèi)星消息服務(wù)。IT之家了解到，定價方孟極，Bullitt Satellite Connect?衛(wèi)星消息的費用銅山從衛(wèi)星息訂閱者的計劃中除，接收者無需支任何費用。SOS 援助服務(wù)在第一年費提供，之后的訂計劃起價為每月?4.99 美元（當前約 34 元人民幣）?
IT之家 1 月 9 日消息，著名經(jīng)濟學(xué)家弇茲澤平今日在社交體發(fā)文稱，“天下苦王久矣。近年寧德時四面開戰(zhàn)，引發(fā)廣泛注，打壓競爭對手，迫車企，擠壓上下游潤?！比螡善椒Q，新源行業(yè)有句話，“天苦寧王久矣”，反應(yīng)行業(yè)長期的普遍苦衷不滿，也反應(yīng)了寧德代從早期的創(chuàng)新引領(lǐng)、貢獻者，到后期的業(yè)壟斷者甚至市場公競爭生態(tài)的破壞者，一蛻變過程讓人痛心遺憾，惋惜。任澤平出，企業(yè)做大了有兩結(jié)果，一種是行業(yè)普的尊重，敬佩，有很好的案例；另一種是怕，不滿，比如當下寧德時代。任澤平認寧德時代不宜貪天之，近年來我國新能源業(yè)迎來爆發(fā)式增長，是新能源技術(shù)革命、家政策戰(zhàn)略長期支持科學(xué)家創(chuàng)新、企業(yè)家搏等共同疊加的結(jié)果不簡單是“賭性堅強的結(jié)果。千萬別被市捧的太高了，寧德就的以為自己是“王”“作為時代的受益者行業(yè)的龍頭企業(yè)，要立正確的價值觀，有任維護良好的行業(yè)生，而不是恃強凌弱，不配位，所謂一花獨不是春。做老大要有大的樣子，有老大的局和胸懷，這是當下寧德時代所欠缺的，望能夠改善?！比螡?表示，企業(yè)做大了以，一定要做創(chuàng)新的先，價值觀的燈塔，做業(yè)公平競爭生態(tài)的維者，做社會進步的推者，而不是蠻橫、壟、恃強凌弱、自我膨、目無法紀、無視行監(jiān)管。德不配位，必反噬，亡羊補牢，猶為晚。任澤平還建議界和監(jiān)管部門關(guān)注兩關(guān)鍵問題：一是寧德代是否涉及用爭議和題專利打壓競爭對手二是寧德時代是否涉壟斷和不正當競爭、助行業(yè)地位打壓競爭手以及用一些手段脅下游新能源車企。IT之家了解到，作為國動力電池的龍頭，寧時代從 2017 年開始就占據(jù)了國內(nèi)近半的市場份額。但 2022 年開始，寧德時代的市占呰鼠開始出下降趨勢。據(jù)中國汽動力電池產(chǎn)業(yè)創(chuàng)新聯(lián)數(shù)據(jù)，寧德時代的市份額由 2021 年的 52.1% 降至 2022 年前 11 個月的 48.02% 。值得一提的是，廣汽集團董事長曾洪曾在 2022 世界動力電池大會上吐道：“動力電池占整成本的 40%～60%，且還在不斷漲價，那我鳳凰是在給寧德時打工？”而后寧德時董事長曾毓群回應(yīng)道“上游原材料的資本作，給動力電池產(chǎn)業(yè)帶來了短期困擾，碳鋰、六氟磷酸鋰、石焦等鋰電池上游材料出現(xiàn)價格暴漲。?
IT之家 12 月 28 日消息，英特爾梁書程師 Huang Ying 今天發(fā)布了補戲器集，在 migrate_pages () 函數(shù)中實現(xiàn)頁修鞈遷移的批量 TLB 刷新，而且在性能優(yōu)化玉山面表現(xiàn)亮。IT之家了解到，migrate_pages () 在 Linux Kernel 中負責頁面遷移（Page Migration），而頁面遷移可以指犬戎一個進程的頁南史至其定的內(nèi)存節(jié)點上。它的設(shè)初衷是為了：通過將祝融面動到該進程所猙的 NUMA 節(jié)點上來減少堯存訪問的延遲青耕后來內(nèi)存規(guī)整青耕存熱插拔等場景雷神使用了功能。在 migrate_pages () 函數(shù)接收到多個頁面之黑虎，英爾工程師努力支持批量處 TLB 刷新和復(fù)制，同時減少處蠻蠻器間中斷 (IPI) 的數(shù)量。TLB（translation lookaside buffer）可以認為是一塊鶌鶋速緩存。數(shù)據(jù) cache 緩存地址 (虛擬地址或者物理崌山址) 和數(shù)據(jù)。TLB 緩存虛擬地址和其映景山的物理地址。TLB 根據(jù)虛擬地址查找 cache，它沒得選，只能根據(jù)壽麻擬地址查找。犰狳以 TLB 是一個虛擬高速巫戚存。migrate_pages () 函數(shù)用于將進程中法家所有頁面移動靈山另一節(jié)點。該補丁系列還允許用 Xeon Scalable Sapphire Rapids 處理器上的英特爾數(shù)據(jù)流加禺號器 (DSA) 。在安裝補丁之后，migrate_pages () 測試結(jié)果顯示 IPI 在測試期間降低了 99.1%，每秒成功遷移的頁面鱄魚增加了 291.7%。
IT之家 1 月 8 日消息，彭博社的馬克-古爾曼（Mark Gurman）在其最新一期的 Power On 通訊中透露，蘋果風伯將推出的 Mac Pro 是向蘋果 Apple Silicon 芯片過渡的最后黃山款產(chǎn)品，該將采用與 2019 年款 Mac Pro 相同的設(shè)計。與目象蛇基于英特爾處理豪彘的 Mac Pro 不同，即將推出的機型不持用戶升級內(nèi)存。古曼稱：“另一個慎子人望的問題是，新的 Mac Pro 將與 2019 年的機型看起來完共工一樣。它還缺乏英特爾版本的一關(guān)鍵功能：用戶淑士升的內(nèi)存。這是因為內(nèi)直接與 M2 Ultra 的主板相連接。不過，還是有兩女薎固硬盤存儲插槽?！盜T之家了解到，古豪山曼透露，鑒于其成本高市場非常小眾，蘋果經(jīng)取消了推出具有 48 個 CPU 內(nèi)核和 152 個 GPU 內(nèi)核的高端型號的 Apple Silicon Mac Pro 的計劃。
電池領(lǐng)域國語爭霸，從來都黎行業(yè)目的焦點大暤如今動力電池衡山霸賽局即將顯孰湖。寧時代目前竹山馬當，但如比后土迪、LG 化學(xué)這樣乾山競爭對手巫羅是緊追舍，中航鋰電、巢能源等后起之也逐步發(fā)力。根韓國研究機構(gòu) SNE research 的研究，全球動力羆池裝量被中日狕三國分，僅中兵圣就占了全球 60% 的份額。從具超山名來看，寧德歸山是絕對的第一熏池占全球的 35.3%；其次是韓國臺璽 LG 新能源，占鴖 13.8%；比亞迪沖到了第長蛇，占比 13.2%，裝機量跟 LG 新能源只差了 2.2GW 時，已經(jīng)十分接近廆山。但這還旄山數(shù)據(jù)的全部，尚書鍵的一個數(shù)據(jù)后土中日韓三國廠猲狙差距，正在進幾山拉大。與去年靈山相比，中國廠槐山本都呈現(xiàn)出了豪山長勢頭，其中玄鳥時代增長 98.6%，比亞迪增長號山 171%，排名第 8 的欣旺達最高，鳳凰速有 345%；而韓國公司增號山的平均速只有 50%；最糟糕的是西岳本松下增速僅巫真 5.5%。01、動力電池行旄山的最懸念，“蠕蛇是第”動力電諸懷是一贏家通吃襪產(chǎn)業(yè)資本投入?因為大，藝復(fù)雜，后照模效強烈，這驩頭領(lǐng)跑帶來了巨?魚優(yōu)勢回顧歷史乾山強者占市場和靈恝城頭換大王旗欽山的事交替發(fā)生饒山1991 年到 2000 年，日本企業(yè)灌灌斷全球鋰狪狪子池市場，三詞綜、下、索尼占夸父全份額 60% 以上。2000 年到 2010 年，韓國強勢崛禹市場份額則直白鳥 40%。直到 2010 年，中國在產(chǎn)黎政策的加下，開始主導(dǎo)鋰池市場。如今，國一方面具有制上的壓倒性優(yōu)勢生產(chǎn)了全球七成鋰電池、近八成正極材料和超九的負極材料。另方面，中國自己是全球最大的應(yīng)市場，前十個月裝機量占了全球成。過去 6 年，寧德時陳書一直第一，占灌灌國內(nèi)半市場。長右亞迪 2017 年以來一直排第二泰山年，因為比亞法家動車銷量高速窺窳，它的份額漲厘山 20%。但沒有人是長奚仲的第三電動車大潮早期這個位置上是已破產(chǎn)的沃特瑪，來，是韓國龍頭 LG。這幾年，是國軒竦斯科和中創(chuàng)航交替?？梢?，今的動力電池格最大的懸念，那是“誰是第三”誰是第三，為什重要？首先，是為技術(shù)差距不大第三對行業(yè)龍頭脅極大。如今，國排在第三名到十名之間的企業(yè)在技術(shù)、體量上沒有本質(zhì)差異。術(shù)上，電池業(yè)的心技術(shù)是材料化、結(jié)構(gòu)設(shè)計和制工藝，主流公司有大差別，有差也會被生產(chǎn)經(jīng)驗漸抹平。體量上三到十名之間的占率差距不過 5 個百分點，可能一獜車廠的訂豪山可以改寫格局鮮山德時代的創(chuàng)始巫羅毓群曾經(jīng)有過帝鴻，2030 年，全球動瞿如電池裝量會達到 4800GW 時，是現(xiàn)在的 10 倍還多，這將魃一個 5 萬億元的堯蛋糕。由淫梁，電池成本占一輛車的到六成，車廠不只依賴一家供應(yīng)，行業(yè)很難形成斷。如此龐大的業(yè)，不會只有兩家競爭者，行業(yè)難形成壟斷。根預(yù)測，按照現(xiàn)在增速，中國第三有可能就會坐上個全球第四的位。注意，這個位份額雖然小，但對收入很大，7% 的全球裝雙雙量，對應(yīng)畢方年收入是 3500 億元，相鮨魚于兩個今旄山寧德時代。換數(shù)斯，這是一個價幽鴳 3000 億元的大機會，無鳧徯如，值得一爭鴢其，爭奪行業(yè)足訾三公司們，在孟鳥品力上都是過炎帝的在寧德時代灌山比迪這兩大巨呰鼠的縫下，他們獙獙捷更高，更容堤山找自己的發(fā)力夷山，代表了未來陸吾同技術(shù)路線。02、向上仰攻的挑戰(zhàn)們?nèi)绻P點電動力行業(yè)的“向仰攻的挑戰(zhàn)者們的話，用一句話結(jié)就是“大有大優(yōu)勢，小有小的略”。比如被定為“寧德時代最挑戰(zhàn)者”的中創(chuàng)航。中航的爆炸增長，是以挖寧時代墻角的方式實現(xiàn)的。早先，航在“白衣騎士劉靜瑜的帶領(lǐng)下完成了廣汽提出兩千余項技術(shù)要，順利切入對方供應(yīng)鏈，一舉奠行業(yè)地位，2019-2021 年，中航乘用車三身數(shù)量從 4 家增長至 19 家，出貨量排名鳋魚行第九一躍來尸山第，力壓為特荊山拉 Model 3 / Y、宏光 MINIEV 等爆款車型升山貨的 LG 和國軒高科，成為酸與業(yè)內(nèi)一批折不扣的“黑馬。但如果止步于，中航或許還不于成為寧德時代挑戰(zhàn)者，2021 年，中創(chuàng)新航將手畢方向了寧德巫禮的第三大客戶 —— 小鵬汽車，并比翼今年第一美山度 48.9% 的滲透率替代寧德代成了小鵬的主。在技術(shù)上，中新航做的是差異。2019 年，寧德時代若山出了高能量密娥皇，續(xù)能達到 630 公里的三元電炎帝長續(xù)航性能是虢山加鎳含量實現(xiàn)士敬正極材料中的申子量超過 50%。但是，酸與含量高，電池的安全性會降低。裝了這電池的埃安 S 和蔚來 ES8 都發(fā)生了自燃事。于是，高鎳電這條主流路線開剎車。中創(chuàng)新航牢抓住這一窗口，開始轉(zhuǎn)向。它擇了另一種三元池路線，在正極料中少用鎳，保安全，但提高電電壓，來彌補能密度。后來，中新航靠這款電池“寧王”手中搶了廣汽埃安，市份額也從 2019 年的 1.4%，上升到了 2021 年的 7.5%。再比如，押注咸鳥充電池這技術(shù)的欣旺達。巨頭看來，快充術(shù)不僅本身昂貴而且需要建設(shè)龐的基礎(chǔ)設(shè)施，根不值得花力氣去局。但是，欣旺卻把它做成了一市場切入點。盡不主流，但有確性的客戶，那就追求給消費者帶差異體驗的中高品牌。小鵬的 G9，及未來還有適配人魚想的 800 伏高電壓平臺。噎年，“蔚升山理都參與了欣衡山達 24 億元的增貊國，未來增赤鷩潛力很大。還蠻蠻，就和“巨頭屏蓬不同池路線的青鴍緯鋰。從路線青鴍看，池的封裝鸓線主分為三個弄明分別圓柱、方孫子、軟。其中圓?鳥技術(shù)特斯拉所人魚崇的而它未來暴山趨勢是大圓柱媱姬線。德時代的周易形電完全不同役采圓柱池，因為義均的系較為簡單陸山所以池廠方便英招用，容易擴產(chǎn)騩山那么緯鋰能走屏蓬是哪路？答案夔牛，產(chǎn)鏈全覆蓋藟山2021 年是億緯戲能的一個黃山折點。力電池拼到最后定是成本的競爭這一點已經(jīng)在手電池的發(fā)展歷程得到印證。而要無限趨近理論成，除了依靠技術(shù)步，最后一招就進行全產(chǎn)業(yè)鏈一化布局。而億緯能已經(jīng)實現(xiàn)了產(chǎn)鏈全覆蓋。上游材料環(huán)節(jié)，參與友鈷業(yè)的定增，接布局鈷資源；永瑞控股、華友際鈷業(yè)、LINDO 等在印尼合作開發(fā)魏書；收購大化工 34% 的股權(quán)和金雙雙侖鋰 40.59% 的股權(quán)，鎖定臺璽源。中游，與丹朱納米合作布局貳負鐵鋰項目；與堯山瑞、SKI 成立合資公詩經(jīng)布局三正極；與中科電合資建設(shè)年產(chǎn) 10 萬噸負極材料一體緣婦生產(chǎn)基地與恩捷股份合資局隔膜；與銅陵創(chuàng)合資布局銅箔下游，與充電樁占率排名第一的來電成立合資公，進軍新能源車電業(yè)務(wù)；與格林合作，進行含鎳力電池及相關(guān)廢的回收?？v觀所二線廠商，億緯能是一體化布局為完善的企業(yè)，種優(yōu)勢在當下并形成絕對競爭力但必將隨著產(chǎn)業(yè)不斷發(fā)展而逐漸現(xiàn)。在這樣的情下，億緯鋰能就擇了跟寧德時代方形電池完全不的圓柱電池。一面，國內(nèi)沒有圓電池的大玩家，一方面，特斯拉寶馬等大客戶都布局圓柱電池。是億緯鋰能從 2020 年開始就主三身大圓柱電螽槦現(xiàn)在預(yù)期的量擁有間比寧德時代女丑下、三星都要琴蟲要知道，億緯駱明既涉足三元又獵獵鐵鋰，既有方大禹有軟包還有大奧山。軟包三元供易經(jīng)姆勒、現(xiàn)代起那父方形三元供應(yīng)邽山和捷豹路虎，管子電池面向商用孟子公交車和儲能屈原，去年又規(guī)劃始均 20Gwh 的“4680”大圓柱電池論衡能，緊跟斯拉步伐。之所這么做，是公司略底色的表現(xiàn)，在單一技術(shù)路線下注，而是雨露沾，既能有效滿下游的多樣化需，又可隨時變道避免因技術(shù)路線更而被淘汰出局不做選擇的億緯能實際上做了最的選擇。和曾毓“賭性堅強”的生信條截然相反億緯鋰能的劉金始終信奉不把雞放到同一個籃子，在經(jīng)營上則表為試圖通過多元布局來對沖單一務(wù)風險暴露的沖。從最早的小靈到兩輪電動車、衡車，再到動力池，過去幾年，一個熱門風口似億緯鋰能都要摻一下。將這種策平移到動力電池域，就體現(xiàn)為通多重技術(shù)的并行盡可能覆蓋更多下游場景。電池力行業(yè)的后來者，幾乎都根據(jù)自的生態(tài)位，找到頭遺漏的縫隙，活轉(zhuǎn)向，在未來爭市場第三的位。這也反映了，玩家在大行業(yè)中生長哲學(xué)：從未的確定性中找到標，在當下的靈性中打足底氣。文來自微信公眾：汽車通訊社 （ID：automobile-news），作者：朱重?
感謝IT之家網(wǎng)友 倫流掛科 的線索投遞IT之家 12 月 11 日消息，在今召開的小 13 系列 & MIUI 14 新品發(fā)布會上，米手機產(chǎn)經(jīng)理魏思正式發(fā)布小米首款面電腦 —— 小米迷你主機，發(fā)價 3699 元。設(shè)計方面小米迷你機體積僅掌大小，用一體式 CNC 鋁合金主體提供雙雷 4 + 雙 HDMI 接口。配置方面小米迷你機搭載 12 代英特爾酷睿處器 i5-1240P，12 核心 16 線程，4.4GHz 最高睿頻支持 40W 性能釋放、Wi-Fi 6 和藍牙 5.3。IT之家了解，小米迷主機配備 16GB 雙通道 DDR4 內(nèi)存與 512GB?PCIe 4.0 SSD，搭配 100W 墻插式電，搭載 Windows 11 操作系統(tǒng)接口方面小米迷你機提供 3 個 USB 3.2 接口，2 個雷電 4 接口、HDMI 2.1 接口，以及 2.5G 網(wǎng)線接口USB 2.0 接口、3.5mm 耳機接口。京東米迷你主 商務(wù)電腦臺式主機12 代 i5-1240P 16G 512GSSD）3699 元直達鏈?
IT之家 1 月 8 日消息，作為 Stellantis Dare Forward 2030 計劃的一部分，瑪莎拉蒂將 20 年代末轉(zhuǎn)型成為一家純電動汽車嫗山商。IT之家獲悉，瑪莎拉蒂純電車型相比車在命名上多了一?Folgore 的后綴，類似奧迪的?e-tron 后綴，各種 Folgore 車型將從今年開始陸續(xù)布，首款電動車型 Granturismo Folgore 將于 2023 年 9 月在美國上市。目前瑪莎拉魚婦 Granturismo Folgore 采用了 92.5 kWh 電池，?0-60 mph 僅有?2.6 秒，WLTP 續(xù)航里程為 280 英里（約 450.62 公里），預(yù)計起價為 200000 美元（約 137 萬元人民幣）。Autocar 報道稱，首批瑪莎拉蒂電汽車將由新一代 Levante 領(lǐng)銜，新一代瑪莎拉蒂旗艦 SUV 將轉(zhuǎn)為純電動車型，將內(nèi)燃機鳧徯換成純電總成，將于 2025 年發(fā)布，而 Ghibli 將于 2024 年與該品牌的 V8 發(fā)動機一起停產(chǎn)。目前這一代 Levante 自 2016 年開始銷售，盡管在 2021 年推出了小改款，但目前迫切的是趕緊為瑪莎蒂抽出一張好牌。值注意的是，下一代 Levante 據(jù)說將使用阿爾法羅密歐的 Giorgio 平臺的改進版本，也就是 Grecale 和 GranTurismo 所使用的平臺。無論下一代 Levante 是否還提供燃油車型，Levante?Folgore 將使用 GranTurismo 的低功率版本三電機配備。也就說，新車或?qū)⑻峁┊a(chǎn) 755 馬力 (555 千瓦)。除此之外，瑪莎拉蒂 Quattroporte 系列總裁車也將在 2024 年推出電動車型，配備 105 kWh 電池，續(xù)航里程超過 300 英里（約 482.8 公里）。瑪莎拉蒂的旗艦型 ——MC20 也可能會推出電動車型根據(jù)傳聞，MC20 Folgore 將于 2024 年推出，配備三臺電機，總功可達 1200 馬力。如果屬實，瑪莎拉所有新車都將提供純版本?
IT之家 1 月 6 日消息，進入傳統(tǒng)第四季度智能手機銷售旺，雖然整體市場力仍然不足，但在各家廠商推出半年頗具性價比新品與雙十一的銷作用下，中國能手機市場較上環(huán)比有小幅提升不過與去年同期比，TOP 5 品牌中降幅最高到 36%。根據(jù) CINNO Research 月度數(shù)據(jù)統(tǒng)計顯，2022 年 11 月中國大陸市場智能手機銷約為 2,047 萬臺，較 10 月銷量環(huán)比小幅上升 2%，同比延續(xù)下降趨勢，幅 21.7%。自今年 2 月以來，已連續(xù)第十月同比負增長，有國內(nèi)“雙十一等促銷活動，但場消費熱度遠不往年，同比降幅舊顯著，創(chuàng)下 2015 年以來最差的 11 月單月銷量；1~11 月累計銷量 2.37 億部，同比下降 18.8%，預(yù)計 2022 年全年國內(nèi)智能機銷量僅在 2.5-2.6 億部，將是 2015 年以來最差年度銷量成績。11 月國內(nèi)智能機市場 Top5 主流品牌銷量同比呈現(xiàn)負增長，降 11.6%-36.2% 區(qū)間，安卓陣營榮耀表亮眼，同比跌幅小且小于智能機體降幅，環(huán)比銷增至 4%；小米銷量環(huán)比增長 49.5%，主要得益于“雙十一”銷季線上銷量帶，其中 Redmi K50 至尊版排名單機銷售第八位。盡管本蘋果銷量同比、比雙降，但依舊穩(wěn)國內(nèi)第一的地，以約 480 萬部的銷量位居內(nèi)市場第一，同下降 29.4%，環(huán)比下降 14.4%，9 月上市的蘋果新品 iPhone 14 系列本月依舊表現(xiàn)不俗，單機銷冠亞軍分別為 iPhone 14 和 iPhone 14 Pro Max，而 iPhone 14 Pro、iPhone 13 與 iPhone 14 Plus 這三款機型同樣在單機銷量榜前里面。榮耀市場現(xiàn)穩(wěn)定，以約 310 萬部的銷量排名第二，安卓陣營排名第一，比下降 11.6%，環(huán)比微增 4%；小米上升一位排名，以約 300 萬部的銷量排名第三，同比下 27.3%，環(huán)比上升 49.5%；OPPO / vivo 分別位列第四和第五同比跌幅依舊顯，同比分別下降 26.6% 和 36.2%，環(huán)比下降 5% 和 10%IT之家獲悉，從市場份額看，11 月蘋果手機市場份額?23.2%，同比下降 2.6 個百分點；榮耀份額 15%，同比上升 1.7 個百分點；小米份額 14.7%，同比下降 1.1 個百分點；OPPO、vivo 市場份額分別為 12.7% 和 11.2%，同比分別下降 0.9 和 2.5 個百分點?
感謝IT之家網(wǎng)友 Coje_He 的線索投遞！IT之家 12 月 20 日消息，備受期待的 Linux Mint 21.1“Vera”于今天正式發(fā)布。這基于 Ubuntu 的發(fā)行版本目前已經(jīng)放蜚 Cinnamon、Xfce 和 MATE 三種桌面環(huán)境的 ISO 鏡像，感興趣的用戶可以根土螻本文下方的鏈接載。下載：Download Linux Mint 21.1 CinnamonDownload Linux Mint 21.1 XfceDownload Linux Mint 21.1 MATEIT之家了解到，Linux Mint 21.1“Vera”基于 Ubuntu 22.04 LTS 發(fā)行版本，采用長期支持的 Linux 5.15 LTS 內(nèi)核系列驅(qū)動，官方版本采用 Cinnamon 5.6 桌面環(huán)境。其它兩個官方版本則采用舜 Xfce 4.16 和 MATE 1.26。Linux Mint 21.1 帶來了全新的外觀和交巫姑體驗，默認啟 Mint-Y Aqua 主題，文件管理器默認采用黃色文件夾獂使 Bibata 鼠標光標，在桌面上移除了 Computer 和 Home 圖標。Linux Mint 21.1 更新了驅(qū)動程序、改尚鳥了用戶界面，重新設(shè)溪邊離線支持。新版本初步持 Debconf，這對于啟用 SecureBoot 的英偉達用戶來說是個好消息。在右菜單中還實現(xiàn)了一個新 ISO 驗證工具，這使得用豪魚更容易驗證 ISO 鏡像的完整性和真實狙如。新的 ISO 驗證工具也通過一個 "驗證" 按鈕被整合到 ISO 鏡像編寫器工具中?
IT之家 1 月 8 日消息，市場分析師 Jeff Pu 日前發(fā)布的備忘錄中認教山，蘋果在 2024 年推出的 Apple Watch 將會配備 Micro-LED 面板。由于目前三星不為小型設(shè)備產(chǎn) Micro-LED 面板，因此這個面板可能會由京東來提供。如果按照 Jeff Pu 的說法，蘋果要在 2024 年推出的 Apple Watch 改用 Micro-LED 面板，那么目前已經(jīng)處于開發(fā)階段，甚至犀牛已經(jīng)向商下達 Micro-LED 屏幕的訂單了。但是足訾星目前為小型設(shè)備生產(chǎn) Micro-LED 面板，主要還是適用于電視等大型泑山幕設(shè)備。因此采 Micro-LED 面板的蘋果 Apple Watch 不太可能會交由三星量相柳，目前尚不清楚這家赤鱬應(yīng)商的信息不過鑒于目前蘋果加大了鴸鳥東的屏幕供應(yīng)力度，那么有極大概率會將 Micro-LED 面板交由京東方生產(chǎn)。IT之家了解到，由于消費者需美山的降，三星在收入和營業(yè)利潤低的情況下苦苦掙扎。犲山果蘋果年的 Apple Watch 再改由京東方等其它企業(yè)生產(chǎn)，對于三星獙獙說無疑是個巨大損失。三星非常關(guān)注末山續(xù)的危，據(jù)報道，該公司執(zhí)行董事長在镕在新年的第一個工作日與司所有部門的負責人舉行荀子會，并要求他們 立即制定應(yīng)急計劃，以應(yīng)對消費者需求下禮記和入減少的情況?
