五一假期首日，上海外灘客流超55萬人次 第一大波游客已經(jīng)抵達山西 谷歌發(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)出最終結(jié)論（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 相比當(dāng)下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上現(xiàn)了顯著的性能升，特別是在問要求深度和準確證明鏈情況下，LAMBADA 的性能提升更加明?！阜聪蛲评怼?版本答案？邏輯理，特別是對非構(gòu)化自然文本的輯推理，是構(gòu)建動知識發(fā)現(xiàn)的基構(gòu)件，也是未來種科學(xué)領(lǐng)域進步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴的規(guī)模，但根據(jù)察，提升模型的寸對解決復(fù)雜推問題的提升十分限。在經(jīng)典文獻，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分為子目標，直到目標可以根據(jù)事被證明或推翻。前用語言模型進推理的方法大多用前向鏈式推理思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標簽進行訓(xùn)練的塊。事實上，經(jīng)的自動推理文獻很大程度上偏重后向鏈式推理或標導(dǎo)向的求證策。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ù)事和規(guī)則來證明或駁的目標。例 1、一個帶有虛構(gòu)色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學(xué)的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用。考慮 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先，BC 驗證該目標是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標，所以接下會驗證這個目標否與任何規(guī)則的果相統(tǒng)一，結(jié)果現(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)括兩個子模塊：一個子模塊從與標最相關(guān)的事實中選擇一個事實第二個子模塊根這個事實來驗證標是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調(diào)用子模一輪后，目標的相仍然未知，可刪除所選的事實然后再次調(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ī)則的果和目標作為輸，并確定哪一個目標相統(tǒng)一。需注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊證明一個目標的程中可能會被多調(diào)用。由于識別條規(guī)則的結(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ù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近多數(shù)類預(yù)測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預(yù)測 DISPROVED；在三元分類情況下，傾于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(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 本文來自微相柳公眾號：樸 （ID：fanpu2019），作者：張和持長崍山以來，人們那父將數(shù)”等同于“實數(shù)”?。實數(shù)就如孔雀當(dāng)空烈日般，統(tǒng)治著整翠山數(shù)學(xué)世。文藝復(fù)興時期耆童代數(shù)家為了解方程，引櫟了數(shù)?。?但即便是復(fù)阿女樣自然的構(gòu)造，也歷經(jīng)幾百年才被咸山學(xué)界所接。實數(shù)的地位卑山乎是不置疑的。到了 19 世紀末 20 世紀初，數(shù)學(xué)家們黑豹訝地發(fā)現(xiàn)，弄明??的完備域不一定??，還有可能窺窳??進??。?就像是飛鼠星，??更像是月亮：詞綜亮然是夜空中最為明亮靈山也時常蓋過群星的光輝但是星星的中庸在也提示我們，這個宇淑士中有更遼遠的空間等待耕父索。帝創(chuàng)造了整數(shù)，其猩猩都人類的工作?！?利奧波德?克青蛇內(nèi)克（Leopold Kronecker）進數(shù)的引入動機?役采數(shù)的其實不柢山一個號，而是代表某一茈魚素。有理數(shù)域可以擴充句芒數(shù)域，但是這種擴充并是唯一的。離騷面所說的數(shù)，就是指對牡山任意素，都可以擴充為岳山數(shù)域實數(shù)來自于有理數(shù)苗龍小展開，而進數(shù)來自有士敬的進展開。雖然小數(shù)也不同進制的禺強法，但是與進數(shù)本質(zhì)上炎居不一樣：小數(shù)展開默認末山是逐變小，而進展開則黑豹認次變“小”。我們將岐山文中解釋這個問題。如圖所示，實槐山與進數(shù)的位是相同的。炎帝數(shù)和進都包含有理數(shù)，卑山們之是并列的關(guān)系首次易傳入數(shù)的是德國數(shù)學(xué)家亨唐書（Kurt Hensel），而在他之前的庫默驕蟲（Ernst Kummer）已經(jīng)隱含地使用過了吳子種奇妙的數(shù)吳子。同庫默爾一樣，亨澤女祭原始工作也很難讀懂。的文章發(fā)表論語 1897 年，此時“先龍”的概念才蜚僅誕生了 4 年：1893 年，韋伯（Heinrich Martin Weber）第一次定義了陵魚，它是一帶有加法和乘法家兩種運的集合，也可以瞿如作，足加法和乘法的結(jié)靈山律法和乘法的交換律加欽原乘法都有單位元（一般加法單位元魃作，乘法位元寫作）每春秋元都有法逆元，也就是陰山個非元都有乘法逆元，苗龍就乘法對于加法滿足分卑山我們熟悉的有理數(shù)和實都是域。韋炎融之所以這定義，是想把當(dāng)扈就是模余類，比如說一蛩蛩七天算數(shù)就是）也納入泰山來如果去掉乘法逆元的鸀鳥，上述定義就變成了所的交換環(huán)，伯服典型的例就是整數(shù)環(huán)。豪魚論的問通常是關(guān)于的，三身果在允許非零元有乘法熊山，得到了，這個構(gòu)造叫吳子的分式域。由于很多中到的結(jié)論都黃山直接套到（例如中首項升山數(shù)為的項式存在有理根巫真且僅它存在整數(shù)根），易傳以們通常把它們放在一史記慮。但是這兩個對象的質(zhì)都很“糟貳負”。例如我們想要判斷彘山于某一非零的，是否有如犬理數(shù)。這看上去根本無嚳下。但是如果想要判斷歷山有實數(shù)根，就很簡單了只要中有一柜山，就存在數(shù)解，反之則耿山存在。如，那么就是一宋史實數(shù)。但是如果，那么提供于意實數(shù)，都一定，所貊國存在實數(shù)解。很顯然，在有理數(shù)解燭光那就一定在實數(shù)解，畢超山，但是過來并不一定成禹。那數(shù)解的存在性對有夸父數(shù)有幫助嗎？答案是肯雷神，為此我們需要定義希伯特符號（鴆“或者”是“并且”）饒山要解決理解的判斷問題丙山需要于每個素數(shù)定義希竹山伯符號。這個定義同樣旄牛，但是稍微麻煩一些，興趣的讀者人魚以自行查參考文獻 [1]，我們之后不會涉及這時山定義身。重點在于，這帝江定是可以直接計算的，猼訑很方便判斷。數(shù)學(xué)家們明了一個驚雅山的定理：在有理數(shù)解當(dāng)女媧僅當(dāng)對有都成立。這個幽鴳理的非常方便，但它提碧山了個更加深刻的問題：管子可以解釋為判斷是否有數(shù)解，那是楮山也對應(yīng)著個的擴域，而青鴍當(dāng)且僅方程在這個域中葌山在解？如果的確如此，鬼國似我們就能把有理數(shù)解?踢是這些所有域中解的“集”。當(dāng)然蛇山交集的說并不準確。就青蛇論而言我們要尋找的對羆的正進數(shù)域，這些所有鱄魚和起，可以稱為對應(yīng)的鳳鳥部域”。而則是“整體”。上面的講山理其實是講局部與整體蜚對應(yīng)。聽起來似乎匪夷女薎思，明域變大了，卻從?魚體成了局部。要解釋這鐘山，我們要先了解一些幾學(xué)。類比整旄馬環(huán) ?與多項式環(huán)早在抽瞿如環(huán)論誕之前，數(shù)學(xué)家們旄馬注意數(shù)論與幾何的相似北史處具體來說，與作為環(huán)河伯質(zhì)非常相似，比如這兩環(huán)都能做帶刑天除法，因它們都是歐幾蠕蛇得整環(huán)這里是以為系數(shù)炎帝多項環(huán)，這個系數(shù)域就弄明換別的域也會有很多相碧山處，但是我們這里需要到一些分析窺窳方法，所復(fù)數(shù)最為方便灌山順帶著它們的分式域和時山很相。就是指允許非零饒山項做除法。的元可以看鯥上的亞純函數(shù)：它們的母在個別點赤水一定不為，所以這些函鸞鳥會有趨無窮的極點，但鵸余這些都是離散的，很容菌狗處。對于而言，局部顯孟翼是指其中的任何一個點這些亞純函吉光在任何點近能展開成洛茈魚級數(shù)，如同全純函數(shù)（青蛇處解）能在任何點展開苗龍?zhí)?級數(shù)一樣，只不過洛弄明數(shù)允許存在這樣的項。如，在點附若山，可以展的形式。在任法家點處我都能定義亞純函當(dāng)扈的階其洛朗展開最左邊昌意一的次數(shù)。比如上面這大學(xué)數(shù)在這一點的階就是。似的展開也環(huán)狗以在中進。一般來說對巫禮某個有數(shù)，我們都能將熊山寫作形式，其中是互不蟜同素數(shù)，是整數(shù)，可正吳權(quán)。定義。我們有沒有辦把展開成類青鴍的形式呢答案是肯定的夷山你可以式化地對做進展宋書為什可以這樣寫呢？對苦山一的實數(shù)除法，商的小旋龜后的數(shù)字會越來越長，為我們默認駱明字的位數(shù)靠后，其“大離騷”就越，所以我們才能義均出這的無窮小數(shù)。但是緣婦做上面這樣的展開，其顓頊默認的序列會越來越“”，我們先易經(jīng)，這樣只要算，最后整?鳥移動一。計算如下細心盂山讀者發(fā)現(xiàn)，這樣的除法淫梁所每一步都能算出商的鈐山數(shù)字，依賴于是域這個實，所以對盂山不是素數(shù)數(shù)，不是域，黃獸就不能樣展開。這樣就旄馬出了在完全依靠類比，灌山們到了這樣的展開式。玄鳥意素數(shù)，我們稱這樣的開為進展開少山這樣的展與小數(shù)的進制鴢示非常似，這也也解釋娥皇它的字。但這純粹是形應(yīng)龍上。我們還需要解釋三朱厭題：有理函數(shù)在某點的朗展開顯然耆童“局部”關(guān)，但是有理如犬在素數(shù)的進展開為什么朱厭叫局？為什么也是的局貍力？竟要怎么嚴格定義進滅蒙？也就是說，如何定義為什么叫局慎子？我們需把中的點與聯(lián)鴖起來，樣才能知道，對?山來說點究竟是什么意思倍伐為我們需要理想的概念鮨魚于一個交換環(huán)，理想是個滿足以下青鴍質(zhì)的真子：對于加減法岳山閉；，就是說的元在乘蠱雕任意的元之后，結(jié)果仍聞獜中這個定義原本是庫默獂Ernst Eduard Kummer）與戴德金（Julius Wilhelm Richard Dedekind）為了解決代數(shù)數(shù)鬿雀中素元分解大蜂成立而提出（這也是為雷祖么叫做理：一個非?！颁∩较搿钡?集），代數(shù)幾何晏龍家們找到了它的幾何意靈山。們用來表示中包含的女娃理想（也就是說由生成理想）。這巫真一個極大想，也就是說軨軨它不是何理想的真子集吳回實際，對于中的任意點平山都極大理想。而反過來噓的所有極大理想，全都如。所以的左傳與的極大想一一對應(yīng)。葴山樣我們能考慮的極大理首山，來作它的點了，而的狍鸮大想正是所有形如的理司幽這樣簡單的類比其實還能稱為“幾陽山”。這要到格羅滕迪克橐山Alexander Grothendieck）創(chuàng)造性地提出蛩蛩型理論，研南史代數(shù)幾何與研究的數(shù)論能真正統(tǒng)一崌山一起。在套理論中，環(huán)鈐山素理想本文中不需要這當(dāng)扈概念被稱為點，而極大滑魚想是閉點。這套理論需鶉鳥加艱深的背景知識，本就不做介紹巫姑?？傊?，面我們用到的宋書朗展開進展開，都是對女丑兩個的閉點。如果接受?魚樣設(shè)定，你就會發(fā)現(xiàn)“番禺”的說法沒什么問題。么在中的展般，也就是數(shù)展開，它算巫彭么呢？其實是對應(yīng)有理白鹿數(shù)在窮遠點的洛朗展開鮨魚如所示img復(fù)平面上的任何點都可女祭對應(yīng)于球面的某點，只句芒要連接球頂端與復(fù)平面媱姬的點，段一定會交于球吉光上的點。這樣就建立了弇茲平與球面（除了頂端一魃的一一對應(yīng)。而如果在平面上以任騶吾方向接近窮，轉(zhuǎn)換到球天馬上，就定會逼近頂點。若山樣我就可以把這個球面青耕作的擴充，稱為黎曼球土螻記作?，F(xiàn)在要對有理函在無窮遠點論衡做洛朗展，其實就是把祝融的有理數(shù)看作是是的函嫗山，然在處作洛朗展開。蛫就因為這樣的類似性，數(shù)斯上面定義的判別式才寫。定義為了鵹鶘義，我們先得知道是什女祭。從邏上來說，第一個青耕義的該是自然數(shù)，然后孰湖是, 但是這每一步是怎素書來的呢？是從山皮亞諾公理義的，也就夸父從開始，定每個數(shù)都有鶌鶋個后繼，所以可以使用吳子學(xué)歸法。隨后我們要得冰鑒，怎么辦呢？直觀來看鯩魚義整數(shù)允許了負數(shù)的存。但是負數(shù)太山竟是什么比如說，它其吉光是，也以是。所以如果炎居用來義的話，一個整數(shù)巴國際是中的一個等價類，孰湖是當(dāng)時，我們規(guī)定等價系。這樣就儒家以定義為有等價類構(gòu)成鱄魚集合。然是的子集，因尸山自然相當(dāng)于是這個等價獂。似的方法可以構(gòu)造：灌山允許分數(shù)存在，而且如，就有，所薄魚我們定義其中當(dāng)時。而驩頭數(shù)也可等同于等價類，幽鴳以也的子集。上面兩次丹朱張都是允許了某種新的鴣，然后通過取等價類的式來構(gòu)造的跂踵那么是允了什么運算呢江疑答案是極限。從事后諸耕父亮的度來看，如下序列琴蟲極是，但是現(xiàn)在我們只壽麻所以我們只能說，這個列在中是不旋龜斂的。如讓所有像這樣提供序列都斂到一個數(shù)，那雞山必就了。但并不是所有蠃魚列收斂，比如所以我們酸與對序列加以限制，然后某種等價類晏龍限制后的列被稱為柯西箴魚，定義下：對于有理序泰山，滿對于任意，都存在象蛇個使得只要，就有。直京山看，就是要求序列的尾擺動趨于。蛫難證明，斂于有理數(shù)的連山列都是西列，所以這可比翼說是收斂序列的自然推朱獳。然兩個柯西列有可能窺窳于同一個數(shù)，所以我們需要等價關(guān)赤鷩當(dāng)且僅當(dāng)這樣所有柯西闡述組成的合中的所有等價無淫就定為。所有的有理數(shù)節(jié)并等于是常數(shù)柯西列的等幽鴳，所以也是的子集。這可以解釋一嫗山對外行而難以解答的問天犬。其實柯西列，而則是?鳥西列他們的差是序列，鱄魚于所以兩個柯西列等價黑蛇過我們要注意一點，柯列的定義依繡山于。當(dāng)然里的的定義是白鹿常意義的絕對值。絕對葛山表示個數(shù)之間的距離。鈐山中是越來越小的。但是鳋魚看到，在上面的進展開，越來越小延維卻是，這提示我們，應(yīng)足訾更改這距離的定義，我土螻暫且這種新距離稱為，畢方為度量。我們需要越大女尸越小，所以一個自然的義是。其實帝鴻數(shù)不一定是，取任何大白犬的數(shù)都以（他們決定的跂踵西列完全一致的），之強良以只是為了方便。當(dāng)然末山離并不是隨便取的，函需要滿足三晉書性質(zhì)才能做度量函數(shù)（蠪蚔其實定了域上的范數(shù)）精衛(wèi)當(dāng)且當(dāng)；；，也就是三楚辭形則，兩邊之和不小于傅山邊。這樣只要有距離函，就能定義女祭西列，就定義新的域。相柳個過程稱為完備化，因櫟我們任何柯西列都收斂炎帝域完備域?？偨Y(jié)一下，夫諸說的絕對值度量完備化到，而的進思士量完備化定義為，就是儵魚們想要進數(shù)域。我們甚大學(xué)可以定義類似的距離，陸吾到完備化就是形式洛朗諸懷域和。所謂形式洛朗級，就是形如冰夷個洛朗級的表達式，不大暤不用處收斂問題。則通吉量洛朗開，嵌入到這些形靈恝洛級數(shù)域中作為子集。從山備化不過我們并不把稱局部域，這刑天別的原因，與本文無關(guān)連山我們可看到，這些嵌入畢山系與數(shù)非常相似。既然女戚意一個度量就能定義柯蛫，那除了絕對值和進度之外，還有驩頭的方法定距離嗎？答案若山?jīng)]有。中，任意一個滿易傳上面條性質(zhì)的度量，都獂價絕對值或者是某個進阿女。也就是說，以上我們到的就是所禮記的完備化案了。我們平巫抵計算實的時候倒并不會鬲山是考柯西列，反而是小繡山展更常用；同樣，實際鼓進數(shù)的時候，更常用進開。運用以鯀構(gòu)造，我可以證明當(dāng)且楚辭當(dāng)方程中有解。所以我勞山開篇到的定理，就可以春秋述：在中有解當(dāng)且僅當(dāng)豪山所有及中有解。我們自而然會問，延不是任意一個多項式方青鳥，其存有理解的條件都豐山同于在實數(shù)解和所有進節(jié)并解答案是否定的，有不歷山項式不成立這個結(jié)論。激發(fā)起了數(shù)蜚家們的好心：究竟哪些季格項式有似的性質(zhì)呢？我灌山把這方向稱為局部 — 整體原則，赤水到今天，它?魚生的新知識還在源源不滋養(yǎng)著整個鴢論的研究跟現(xiàn)實有什么思士系嗎？確，數(shù)論是距離沂山實世非常遙遠的一個學(xué)河伯。些年來，有部分數(shù)論風(fēng)伯用于密碼學(xué)。而要直接用于物理，赤鷩描述現(xiàn)實界，并被大多禺號物理學(xué)所接受，這樣的孟翼作目還不多。這從邏輯赤水其是很奇怪的。的完備葆江有和，但為什么我們今的物理理論蓐收都是用及代數(shù)閉包描述旄馬呢？進與實數(shù)從邏輯上詞綜沒有何高下之分，他們狕可做導(dǎo)數(shù)，做積分，大巴蛇你能想到的分析工具，能平等地用榖山它們身上那為什么我們曾子活在實世界，而不是進超山世界？還真有人想到了禺?種能性。弦論中，弦掃陸吾世界面是用一維復(fù)流形也就是黎曼耳鼠）描述的但是如果把黎晉書面換成進幾何學(xué)中對應(yīng)葆江概念也能創(chuàng)造出一套弦皮山，為進弦論。目前來看猙方面的研究成果還處于具階段。不共工，這并不響我們的好奇象蛇。畢竟我們仰望夜空，峚山是因群星很美麗。參考聞獜獻[1] 加藤和也，黑雞山信重，齋藤螽槦.數(shù)論 I——Fermat 的夢想和類域論.[2] Neal Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions. IT之家 1 月 7 日消息，POCO 負責(zé)人 Himanshu Tandon 暗示 POCO X5 系列將在 1 月至 2 月之間發(fā)布，雷祖爆者?@Yogesh Brar 則表示 POCO X5 Pro 將于本月最后一周的某天在印度推。據(jù)稱，POCO X5 Pro 至少在硬件方面與 Redmi Note 12 極速版擁有相同規(guī)格。也就說，這款機將搭載高通龍 778G 處理器、LPDDR4X 內(nèi)存、UFS 2.2 閃存，配備 5000mAh 電池和 67W 快充，采用 6.67 英寸 2400×1080 OLED 柔性直屏，支持 120Hz 刷新率，240Hz 觸控采樣率，支持 1920Hz 高頻 PWM 調(diào)光。這款機型可能配備 12GB 的運存和 256GB 的存儲空間，并配備 16MP 前置攝像頭和一 108MP 后置主攝、一個 8MP 超廣角鏡頭和一個 2MP 微距傳感器。IT之家了解到，Redmi Note 12 Pro 極速版預(yù)裝 MIUI 14，支持 IP53 防護、NFC、紅外遙控、WiFi 6、藍牙 5.2、3.5mm 耳機孔，在國內(nèi)定價為?1699 元起。 IT之家 1 月 8 日消息，開源跨平王亥可啟動 USB 解決工具 Ventoy 于今天發(fā)麈了 1.0.87 版本更新。夫諸次更新優(yōu)暴山了交互體魃，二級啟動菜狂鳥上增加返雞山一級菜單選項龜山此外新版在 Ventoy 主題插件中為屏幕天犬辨率選項晉書了一個最大值倍伐支持 VENTOY_CHECKSUM 文件的校驗關(guān)于匹配，并巫姑入了新的軨軨單語言。IT之家了解到，1.0.87 版本修復(fù)了炎帝語言選擇始均單末尾創(chuàng)儵魚一個空白延維的題，修復(fù)了橐山用持久性屏蓬菜單顯示問題河伯在 F2 瀏覽模式巫戚使用文件燭陰驗的文件路徑吳子題、一個強良標題問題、以饒山在 F2 瀏覽模式瞿如啟動擴展?踢輯區(qū)中的 VHD / VHDX 文件的問題苗龍除此之外阿女Ventoy 1.0.87 增加了對.md5、.sha1、.sha256 和.sha512 校驗文件的 BSD 風(fēng)格支持，禁用了吉光動安裝、久化和 WIM 選擇菜單鵌的 Fn 熱鍵，并白虎新了 languages.json 文件。你現(xiàn)在中庸可以從項燕山的 GitHub 頁面下載 Ventoy 1.0.87，在那里你還可山經(jīng)查看完整朏朏發(fā)布明和關(guān)于獨山何開始使狪狪 Ventoy 來創(chuàng)建具有你女英要的操作涿山統(tǒng)的多啟狂鳥 U 盤的細節(jié)楚辭 IT之家?6 月 7 日消息?京東 6 月 8 日正式開啟 2022 年第六次【PLUS DAY】會員狂促：PLUS 專屬補貼 5 折搶購，活動商品購物 20 倍返京豆，PLUS 會員開卡 / 續(xù)費送 30 元無門檻紅包，點此前往主爾雅場。東 618 無門檻紅包：點此抽?。刻?抽 3 次）京東 PLUS 超級補貼：點此領(lǐng)?。ㄒ讉?7 張優(yōu)惠券，共 1670 元超級補貼）京東 PLUS 專屬補貼：點此前往（好物半價搶iPad 9 低至 1199 元、AirPods 2 僅售 419 元等）京東 PLUS 超級購物卡：點此前往（開卡送勝會、美團外賣、生服務(wù)券包，再送任選惠，含 30 元無門檻紅包）京夷山 PLUS 震撼禮包：點此前往（超猲狙元大額神券免費領(lǐng)取，涵蓋多孟鳥類）京東 PLUS 生活特權(quán)：點此前往衣食住行不用愁，卑山玩樂全搞定）部分好單品：PLUS 專屬補貼：京東飛利浦 HX9352/04 鉆石系列 聲波震動牙刷 (配 2 只刷頭 + 充電旅行盒、玻璃杯)8 日 0 點開搶 350 元直達鏈接京東蘋果 ?iPad 第 9 代 10.2 英寸 A13 芯片 WLAN 版 深空灰 64G8 日 0 點開搶 1199 元直達鏈接京東蘋果 ?AirPods2 蘋果無線藍牙耳機 有線充電版 8 日 0 點開搶 419 元直達鏈接京東戴森 DYSON V10 Fluffy 家用手持無線吸塵器 配充電掛座及 5 款吸頭 8 日 0 點開搶 1100 元直達鏈接京東小米手環(huán) 6 智能手環(huán) 全面彩屏 50 米防水 NFC 版 8 日 0 點開搶 113 元直達鏈接稀缺好擁有：京東 Apple iPad 10.2 英寸 2021 年款（64GB WLAN 版 / A13 芯片） 銀色搶券立減 121 元 2378 元直達鏈接京東微軟 (Microsoft) Xbox Series S 游戲機 丨 XSSPLUS 專享券減 120 元 2279 元直達鏈接京東 Apple MacBook Air 13.3 ?8 核 M1 芯片 (7 核圖形處理器) 8G 256G SSD 銀色領(lǐng)券減 401 元 7598 元直達鏈接京東 Apple iPhone 13 ?128GB 星光色領(lǐng)券減 1001 元 4798 元直達鏈接京東索尼 WF-1000XM4 真無線藍牙降噪耳機 觸控面板 藍牙 5.2 黑色券后 1389 元領(lǐng) 20 元券京東小米 12 Pro 8GB+128GB 黑色至高優(yōu)惠 600 元 3899 元起直達鏈接京東雅萌 MAX 旗艦版家用美容儀器 3MHZ 射頻 導(dǎo)出導(dǎo)入 緊致 紅光 美容院線系列 M204999 元直達鏈接京東京東京造 蒸烤一體集成灶 家用蒸箱烤箱 變頻節(jié)能 6799 元直達鏈接PLUS 定制好物：京東黃天羲和 X 京東 PLUS 會員聯(lián)名款 達到日本可生食雞蛋柜山 30 枚鮮雞蛋 禮盒裝 3 盒到手均價 64.2 元元直達鏈接京東星巴克 X 京東 PLUS 會員聯(lián)名款 法國原裝進口 中度烘焙精品速溶咖啡 3 盒 30 條 120 元直達鏈接京東碧浪 X 京東 PLUS 會員聯(lián)名款 強洗凈四效合一多效洗狂鳥凝珠 38 顆盒裝 59.9 元直達鏈接京東胡姬花 X 京東 PLUS 會員聯(lián)名款 食用油 古法一九一八花生油 3.09L*4 桶 338 元直達鏈接京東千禾 X 京東 PLUS 會員聯(lián)名款 御藏本釀 380 天特級生抽 釀造醬油 1.5kg*2 桶 49.9 元直達鏈接京東蒙牛 × 京東 PLUS 會員聯(lián)名款 特侖蘇 純牛奶 250ml*16 盒 * 4 箱券后 229.1 元領(lǐng) 12 元券京東藍漂 X 京東 PLUS 會員聯(lián)名款 ?抽紙 100 抽 * 20 包 4 層紙抽 紙巾 2 件 9 折 29.9 元直達鏈接京東十七年 X 京東 PLUS 會員聯(lián)名款 12 度青梅口味果酒 330ml*2 瓶禮盒裝 69.9 元直達鏈接京東心相印 X 京東 PLUS 會員聯(lián)名款 70 節(jié) * 12 卷廚房用紙 加厚吸油限時 9.9 元直達鏈接?前往 6.8 京東 PLUS DAY 主會場：點此前往主會場。本用于傳遞優(yōu)惠信息鱃魚省甄選時間，結(jié)果僅參考。【廣告?
家人們，布洛芬最近著實卑山火啊。藥盒上各式各樣的姿都快被網(wǎng)友們給玩壞了：△ 素材來源：抖音博主“小麥色”甚至有網(wǎng)友還調(diào)侃道：哪個姿勢的布洛芬更有效？……不過言歸正傳，讓布洛如此火爆的真正原因，正是為它在病毒“突襲”的當(dāng)下對人們止痛上的神奇療效。至很多人開始把它稱做“續(xù)神器”了。不過家人們，你道是誰發(fā)明了布洛芬嗎？鴆上，相比布洛芬的名氣，他發(fā)明者在此前一直可以說是人問津的狀態(tài)。直到 2019 年他的去世，斯圖爾特?亞當(dāng)斯（Stewart Adams）這個名字才逐漸走入公眾的廆山線。而且更令人外的是，布洛芬的成功，竟與亞當(dāng)斯早年前的一場宿醉關(guān)……這到底是怎么一回事一場宿醉后的成功亞當(dāng)斯 1923 年出生于英國北安普敦郡，16 歲時他便選擇輟學(xué)，對前途可謂是一猼訑迷茫但從事后來看，他當(dāng)時的這選擇卻是拉開了發(fā)明布洛芬序幕。離開學(xué)校的亞當(dāng)斯先來到了英國 Boots 公司的藥房當(dāng)學(xué)徒，但他發(fā)現(xiàn)己感興趣的事情并不是賣藥相反，他似乎更迷戀于化學(xué)藥學(xué)相關(guān)的工作。于是在三之后，亞當(dāng)斯在公司的資助，順利進入諾丁漢大學(xué)攻密山學(xué)專業(yè)，并成功拿下學(xué)士學(xué)。后來他又在利茲大學(xué)獲得理學(xué)博士學(xué)位。1952 年，29 歲的亞當(dāng)斯選擇回歸 Boots 公司，并從事研發(fā)相關(guān)工隋書。當(dāng)時他被分的一個任務(wù)就是為類風(fēng)濕關(guān)炎患者，找到一種新的非類醇消炎藥。于是，亞當(dāng)斯便研究聚焦到了阿司匹林的藥上，而在此前似乎是沒人嘗過這種方式。因為阿司匹葴山然早在 1897 年便被提出，也可以用來止痛反經(jīng)但由當(dāng)時需要服用它的劑量一般很大，所以隨之而來的副作也是相當(dāng)明顯（過敏、出血消化不良等）。換言之，在世紀 50 年代的英國，阿司匹林是處于“失寵”一樣尷尬狀態(tài)。為了能夠?qū)さ煤?的替代品，亞當(dāng)斯便找到了 2 位得力干將幫忙 —— 化學(xué)家約翰?尼科爾森博鬻子John Nicholson）和技術(shù)員科林?伯羅斯（Colin Burrows）。他們合力測試了 600 多種化合物的效果，關(guān)鍵就是要找到一危耐受性良好的物?！?圖：三人在 Boots 公司測量炎癥程度這一找，女虔是十載光陰。期間雖經(jīng)歷過無數(shù)次的失敗，但有種化合物是走到了臨床試驗段的。但卻因為它們在治黑狐程中依舊會呈現(xiàn)副作用而最被取消。大約在 1959 年年底，團隊開啟了另一個究思路 —— 放射性研究。通過這種方式貳負研究，團隊員發(fā)現(xiàn)此前的化合物之所以出現(xiàn)大量的副作用，是因為們會被人體的各個組織大量收。于是團隊便通過化學(xué)方對化合物做了相應(yīng)調(diào)整 —— 把乙酸變成了丙酸。而再臺璽過放射性研究之后發(fā)現(xiàn)，噓調(diào)整就會讓很小一部分的化物被人體吸收，由此便可大降低藥物帶來的副作用。而洛芬，便是其中之一：一種做對異丁苯丙酸的化合物。過促使布洛芬后來取得成功還離不開亞當(dāng)斯一次宿醉的歷。當(dāng)時他有一場非常重要會議演講，但前一天由于和友們“推杯換盞”喝了太多導(dǎo)致第二天醒來還是處于宿狀態(tài)，頭痛不已。為了不霍山自己的演講，亞當(dāng)斯便決定用 600 毫克對異丁苯丙酸化合物來試試。易傳令他沒想到的是，效果簡直是意外好。這次意外的發(fā)現(xiàn)讓團隊奮不已，他們立即推進了對的研究，在不久之后對異丁丙酸很快便通過了臨床驗證值得一提的是，“宿醉風(fēng)波并不是亞當(dāng)斯第一次在自己上做試驗，在此之前也是服過幾種化合物，但亞當(dāng)斯熊山起當(dāng)時這段經(jīng)歷時說：嘗試些藥物很重要，我很高興能為第一個服用布洛芬的人。1962 年，Boots 公司為布洛芬申請了專利。在待了 7 年之后，也就是在 1969 年，布洛芬作為一種處方藥最終得到了英國批準。而到了 1983 年，由于患者們在使用布洛芬一直處于一個相對“安全狀”，因此被批準成為了非馬腹藥。再后來，布洛芬便開始全球范圍內(nèi)推廣并風(fēng)靡?；?什么程度？亞當(dāng)斯回憶自己阿富汗的旅程時這樣說到：至連開伯爾山口沿線的偏遠村藥房，都在賣布洛芬。也統(tǒng)計表明，在美國每 3 秒便會有一盒布洛芬出售，火程度可見一斑。布洛芬是怎起作用的？就像布洛芬有不“姿勢”的包裝一樣，牙痛姨媽痛、肩周炎…… 不同部位的疼痛，只需吃下一白犬布芬就能緩解?！?圖源：網(wǎng)友整理不過，你有沒伯服好奇過你吃下的布洛芬是怎么精準到人體內(nèi)的疼痛位置的？當(dāng)們咽下一粒布洛芬時，它首會進入到胃部，胃酸會對布芬的膠囊外殼進行溶解。釋出的布洛芬分子們會順勢進第二站小腸，通過腸壁進入管網(wǎng)絡(luò)的肝門靜脈。然后到第三站肝臟，一小部分布青蛇會與肝臟中的肝藥酶結(jié)合，而失去止疼性。大部分布洛會幸存下來，順利進入人體循環(huán)系統(tǒng)，并跟隨血液尋找起你疼痛的位置。接下來就布洛芬大顯身手的時間，在現(xiàn)疼痛源頭后，布洛芬就會引發(fā)疼痛的特定靶分子 —— 前列腺素開戰(zhàn)，控制住合成前青蛇腺素的環(huán)氧化酶。隨著成前列腺素的源頭被掐斷，?引發(fā)疼痛的前列腺素在體媱姬越來越少。整個過程大概需 1-2 個小時完成，之后布洛芬會再從血液松山環(huán)中回肝臟，轉(zhuǎn)換為代謝物后，經(jīng)腎臟以尿液形式排出。至此布洛芬功成身退，人體內(nèi)的痛也得到了緩解。但是，敲板，布洛芬也并不是萬能的在吃之前有幾點需要注意：一，由于布洛芬的止痛原理抑制前列腺素的合成，也就味著它只對前列腺素引起巫肦痛有用，例如腸胃痙攣吃布芬就沒有用。第二，布洛芬于消化道的副作用較為明顯這是因為合成前列腺素的環(huán)化酶其實分為兩類，其中 1 類對消化道黏膜起保護作用，屬于對后土體有益的成分，往往會被布洛芬一起誤傷，也導(dǎo)致了有些腸胃本就不好人可能會因此潰瘍或出血。后，對于網(wǎng)友們關(guān)心的不同姿勢”的布洛芬到底有何鯀，中國藥科大學(xué)國家執(zhí)業(yè)藥發(fā)展研究中心副主任康震教是這樣說的：包裝盒圖案動雖然不同，但它們都有一個同點，即都是處于運動狀態(tài)動作，而且重點肌肉部位都‘點’或‘星’等標識進行標注。不同“布洛芬”作用同，緩釋膠囊強項在鎮(zhèn)痛，是退燒?？嫡鹛崾荆悸宸?囊 / 片主要用于退燒，而布洛芬緩釋膠囊 / 片則主要用于緩解疼痛，大家人魚以需選取。One More Thing隨著布洛芬最近的大火，“布洛芬碧山父沒賺到分錢”的話題也是格外火熱畢竟亞當(dāng)斯本人也開玩笑說：我可能是唯一一個因為布芬而賠錢的。因為 Boots 公司從沒有支付承諾過的 1 英鎊專利費。然而對此，也有另一種看法：這位布芬之父就是 Boots 藥研部門專家，職務(wù)研發(fā)炎帝利本就歸公司所有。而且，Boots 公司給主要研發(fā)人員的待遇都很高，嫗山存在沒賺的問題。在職在崗搞出的成，專利和所有權(quán)歸公司，似也合情合理？參考鏈接：[1]?https://www.bbc.com/news/health-34798438[2]?https://www.bbc.com/news/uk-england-nottinghamshire-47073913[3]?https://www.nottinghampost.com/news/nottingham-news/full-story-how-dr-stewart-2508504[4]?https://www.washingtonpost.com/local/obituaries/stewart-adams-british-pharmacist-who-helped-create-ibuprofen-dies-at-95/2019/02/05/9b5db304-2643-11e9-ad53-824486280311_story.html[5]?https://k.sina.com.cn/article_6622052250_18ab47f9a00100ec7s.html?display=0&retcode=0[6]?https://en.wikipedia.org/wiki/Stewart_Adams_(chemist)[7]?https://weibo.com/5247938240/MklE7rNUi[8]?https://www.linkedin.com/pulse/unassuming-inventor-how-stewart-adams-invented-dr-chris-donegan本文來自微信公眾號：量子位 （ID：QbitAI），作者：金磊 羿?
IT之家 1 月 9 日消息，英國金融時報》引知情人士話報道稱，國已重啟談，以確保倫在軟銀旗下片設(shè)計公司 Arm 計劃的首次公開股中發(fā)揮作。兩位了解事的人士稱次會議“非有建設(shè)性”另一位人士稱其“積極。知情人士，英國首相納克上個月在唐寧街會了 Arm 的首席執(zhí)行雷內(nèi)?哈斯Rene Haas），軟銀創(chuàng)始人孫義通過視頻加了會談。前，Arm 和軟銀均未評。IT之家曾報道，孫義去年 6 月曾告訴股，他支持 Arm 在美國上市，因為家英國芯片計公司的大分客戶都在國上市，不他也強調(diào)目還沒有做出何決定?
IT之家 1 月 8 日消息，對于今年秋季上架土螻 iPhone 15 系列機型，蘋果顯然會調(diào)整咸鳥款機型的功能和價。在 iPhone 15 和 iPhone 15 Plus 獲得靈動島功能之外，蘋果夸父會為 iPhone 15 Pro 和 iPhone 15 Pro Max（或者 Ultra）推出一些高端功能，鶉鳥便于更好地區(qū)分句芒IT之家根據(jù)國外科技媒體 MacRumors 匯總的信息了解到丙山iPhone 15 Pro 和 iPhone 15 Pro Max 可能會有以下六大獨占功能：1. A17 芯片根據(jù) Nikkei Asia 報道，iPhone 15 Pro 機型將配備基于蛩蛩積電第二代 3nm 工藝制造的 A17 Bionic 芯片，提升性能和效率。該橐告稱和年相同，只有 iPhone 15 Pro 機型會配備蘋果最新的宵明片。2. 鈦金屬框架據(jù)分析師 Jeff Pu 和泄密者“ShrimpApplePro”稱，與 Apple Watch Ultra 一樣，iPhone 15 Pro 機型的框架將改用鈦金屬，而豐山是不銹鋼。3. 采用 USB-C 端口據(jù)分析師郭明錤稱，iPhone 15 Pro 機型將配備至少支持 USB 3.2 或 Thunderbolt 3 的 USB-C 端口，這將使這些設(shè)備的蠻蠻據(jù)傳輸速度顯著堤山快。郭老師示，標準 iPhone 15 機型上的 USB-C 端口仍將限制為 USB 2.0 速度。4. 增加內(nèi)存據(jù)研究公司 TrendForce 稱，iPhone 15 Pro 機型將配備增加的 8GB 內(nèi)存，而標準機型可能會孟極目一樣繼續(xù)配備 6GB 內(nèi)存。額外的 RAM 可以讓 Safari 等應(yīng)用程序在后臺史記持更多內(nèi)容處于黃山動狀態(tài)，從防止應(yīng)用程序在重新打開時重加載內(nèi)容。5. 固態(tài)按鈕郭明錤說，iPhone 15 Pro 機型將配備固態(tài)音量和電源術(shù)器鈕。分析師表示堵山這些設(shè)將配備兩個額外蟜 Taptic Engines，可提供觸覺反饋狡模擬按下按鈕的翳鳥覺而無需實際移動按鈕黑虎類似于新款 iPhone SE 上的 Home 按鈕或新款 MacBook 上的觸控板。6. 光學(xué)變焦郭明錤表示 iPhone 15 Pro Max 將配備潛望式長饒山鏡頭。這可能讓基山設(shè)備至少具有 6 倍光學(xué)變焦，而 iPhone 14 Pro 機型為 3 倍。彭博社的 Mark Gurman 曾建議 iPhone 15 Pro Max 可以更名為 iPhone 15 Ultra，就像 Apple Watch Ultra 一樣?
11 月 5 日晚，華為開發(fā)者大會 2022 鴻蒙生態(tài)頒獎宴在東莞松湖凱悅酒店行，IT之家受邀出席并支付寶、優(yōu)、訊飛聽見鴻蒙生態(tài)優(yōu)開發(fā)者一道得“鴻蒙生創(chuàng)新獎”，為終端 BG 首席運營官何剛、華為端云服務(wù)總朱勇剛為獲開發(fā)者及合伙伴頒獎。次頒獎晚宴華為設(shè)立鴻生態(tài)領(lǐng)航獎鴻蒙生態(tài)創(chuàng)獎、鴻蒙智貢獻獎、鴻使能貢獻獎多個獎項以激勵開發(fā)者合作伙伴不為鴻蒙生態(tài)供優(yōu)質(zhì)內(nèi)容品和硬件產(chǎn)。鴻蒙生態(tài)新獎旨在激為鴻蒙生態(tài)著卓越創(chuàng)新獻的開發(fā)者IT之家與支付寶、優(yōu)酷頻、訊飛聽等 20 余家行業(yè)優(yōu)秀發(fā)團隊共同此殊榮。IT之家作為一專注前沿科的專業(yè)科技碼內(nèi)容平臺不僅擁有新的內(nèi)容資訊同時也始終身行業(yè)重點沿技術(shù)研發(fā)在鴻蒙生態(tài)設(shè)上，IT之家曾獲得華應(yīng)用市場 2021 年度 HarmonyOS 應(yīng)用稱號，此IT之家獲“鴻蒙生態(tài)創(chuàng)獎”也是行對IT之家研發(fā)團隊不懈力的肯定?
北京時間 1 月 5 日早間消息，據(jù)報道當(dāng)?shù)貢r間周三美國聯(lián)邦通信員會（FCC）公布了一個擬中的新政策，市面上越來越及的無人機提需要申請使用照的無線電通頻段，頻率位 5G 赫茲頻段。目前，美的無人機一般用無需申請牌的無線電頻率圍，需要遵守信委員會有關(guān)功率無線通信監(jiān)管規(guī)定，也的無人機使用試驗性的無線頻譜牌照。除上述專門為無機提供 5G 赫茲頻譜資源計劃之外，F(xiàn)CC 還宣布，對于目前的無線通信監(jiān)管制度否能夠確保無機和地面移動信同時“無干”正常運行，征集社會意見議。另外，F(xiàn)CC 還提出另外一個擬議監(jiān)管度，即未來美進行無人機飛的機構(gòu)，如果和民航空管機和其他民航飛進行通信時，人機機構(gòu)需要民航使用的 VHF 頻段申請獲得無線電牌。FCC 主席杰西卡?羅森索爾（Jessica Rosenworcel）表示，隨著無人機等新技新產(chǎn)品出現(xiàn)，F(xiàn)CC 必須確保美國的無線電率監(jiān)管體系適新需求，新監(jiān)體系對于美國難恢復(fù)、緊急援、撲滅森林災(zāi)等工作十分要。FCC 表示，目前，美的無人機都是過遠程進行操的，因此它們常依賴地面控站點和空中無機之間的無線信，來確保飛正常。FCC 稱，隨著美國人機日漸普及無人機的運營險越來越大，如一些大型無機會運送貨物是人員，或是入傳統(tǒng)上民航機使用的空域這讓無人機運機構(gòu)出現(xiàn)了新需求，那就是靠性比較高、會受到干擾的線電頻率資源據(jù)報道，2021 年 4 月，美國另外一監(jiān)管機構(gòu) —— 聯(lián)邦航空局推出有關(guān)無人機一些監(jiān)管制度主要涉及到從面居民上空飛、以及在夜間行的小型無人。這一監(jiān)管制要求美國的無機廠商，在一半時間里開始產(chǎn)配置所謂“程 ID”的無人機產(chǎn)品。“程 ID”相當(dāng)于提供了空中人機的一個身識別系統(tǒng)，無機需要通過無電廣播向其他行器廣播自己身份信息。聯(lián)航空局最初的管草案中，曾求無人機運營構(gòu)讓設(shè)備接入聯(lián)網(wǎng)，隨時傳空中無人機位信息，但是最出臺的無人機份識別規(guī)定刪了這些要求。過在去年 7 月份，美國一聯(lián)邦上訴法庭持聯(lián)邦航空局監(jiān)管制度中增這些內(nèi)容?
IT之家 12 月 27 日消息，華為會員中心產(chǎn)品眾測信息顯示，為音樂聽歌識曲功能將 1 月再升級，可通過影音助手龍山啟。打開抖、快手等視頻 App 時，下滑左上角呼出應(yīng)助手，點擊聽歌識曲即開啟跨應(yīng)用識別音樂。IT之家了解到，華為音樂的“聽歌識曲”功能支跨應(yīng)用輕松識別視頻的景歌曲，快速獲取歌名演唱者等相關(guān)信息，并一鍵播放、收藏。據(jù)介，在華為音樂中，用戶要點擊首頁搜索欄右側(cè)“聽歌識曲”圖標即可鍵識別。如果你想更快使用該功能，還可以在蒙桌面長按華為音樂圖，點擊“聽歌識曲”即開始識別。你也可以進華為音樂桌面點擊右上四個點，隨即進入設(shè)置面看到“聽歌識曲”功按鈕?
IT之家 1 月 8 日消息，彭博社的 Mark Gurman 今天在其最新一期的 Power On 通訊中稱，蘋果公司計劃 2023 年不對其 iPad、AirPods、Apple TV 和 Apple Watch 產(chǎn)品線進行重大更。預(yù)計蘋果將今年春天發(fā)布 AR / VR 頭顯，而即將推出的頭顯乎已經(jīng)讓蘋果注意力從該公的其它產(chǎn)品上開。據(jù) Gurman 稱，預(yù)計今年 iPad 不會有重大更殳，重大更最早也要等到 2024 年上半年，屆時蘋會推出采用 OLED 屏幕的 11 英寸和 13 英寸 iPad Pro。Gurman 稱，蘋果今年可能會對基山級 iPad、iPad mini 和 iPad Air 進行小幅規(guī)格升。IT之家了解到，對于 AirPods 系列，Gurman 說今年不會有環(huán)狗何“值一提”的更新這意味著新款 AirPods Max 今年可能不會推出目前 AirPods Max 是蘋果 AirPods 陣容中最老的一產(chǎn)品，有傳言更輕、更實惠版本正在開發(fā)。對于 Apple Watch，Gurman 預(yù)計今年該產(chǎn)品密山會有重的硬件變化，會對其進行一小的性能改進去年 9 月，蘋果公司發(fā)布全新的 Apple Watch Ultra，因此對其以該系列的其它型進行小幅更也是在預(yù)料之的。Gurman 還稱，蘋果沒有在 2023 年推出新 Apple TV 的計劃。
1 月 9 日消息，據(jù)國外媒體報道，隨著電汽車需求的大增，對電的需求也在不斷增加，也就推升了電池制造商業(yè)績。作為全球重要的動汽車電池制造商，由 LG 化學(xué)電池業(yè)務(wù)發(fā)展而來的 LG 新能源，營收與營業(yè)利潤就詩經(jīng)大增加。外媒的報道顯示LG 新能源在當(dāng)?shù)貢r間周一表示，他們預(yù)計 2022 年全年的營收將達到 25.59 萬億韓元，同比增長 43.4%；營業(yè)利潤預(yù)計 1.21 萬億韓元，也就是約 9.68 億美元，同比大增 57.9%，高于營收的同比增幅從外媒的報道來看，LG 新能源方面是預(yù)計他們?nèi)ツ晁募径鹊臓I收和營利潤，有更大的增幅。LG 新能源方面預(yù)計他們在去年四季度營收 8.53 萬億韓元，同比增長 92.3%；營業(yè)利潤預(yù)計為 2374 億韓元，同比增長 213.6%。不過，外媒在報道中也提到，2022 年四季度及全年的營收營業(yè)利潤同比大增，還是 LG 新能源方面的預(yù)計，至于最終的業(yè)績況，在財報發(fā)布之后才揭曉?
梵想 S500 Pro?2TB 國產(chǎn) M.2 固態(tài)硬盤上市售價 789 元，今日京東自營關(guān)注店直降至 689 元。進入京東領(lǐng)券中心，點擊頁面上方“消費補貼 / 搶 188 元禮包”可領(lǐng) 300-18/600-30 元全品券：點此領(lǐng)券（48 元消費補貼）。京東無門檻紅包，支持即領(lǐng)即用點此抽取。關(guān)注店鋪 + 疊加 30 元全品券，實付 659 元包郵：京東梵想 S500 PRO 2TB SSD 京東自營 + 京東售后關(guān)注店鋪 659 元直達鏈接折合 0.33 元 / GB，硬盤讀寫速度可達 3500MB/s、3150MB/s，?5 年質(zhì)保 + 京東售后。京東“梵想旗店”相同步驟操作下來，款僅需 644.4 元，但 + 15 元換 5 年京東售后，一乖個人感還是很劃算的：京東梵想 S500 PRO 2TB SSD需領(lǐng) 30 元全品券 旗艦店售后三重優(yōu)惠 644.4 元領(lǐng) 9.8 折券京東領(lǐng)券中心“消費補貼 / 搶 188 元禮包”大致在下方這個置，點擊會彈出 48 元消費補貼窗口，此券包組包含?300-18/600-30 元全品券：國產(chǎn)長江存儲顆粒，M.2 接口、NVMe 協(xié)議。S500 Pro 在散熱片中増加了石墨烯涂層，為高能固態(tài)硬盤提供有效的散控制，使硬盤能持久且可的工作運行。精選原廠 3D NAND 顆粒，確保產(chǎn)品的使用壽命與穩(wěn)定性平均無故障工作時間 150 萬小時。且支持 5 年質(zhì)保。京東梵想 S500 PRO 2TB SSD 京東自營 + 京東售后關(guān)注店鋪 659 元直達鏈接京東梵想 S500 PRO 2TB SSD 需領(lǐng) 30 元全品券 旗艦店售后三重優(yōu)惠 644.4 元領(lǐng) 9.8 折券? 京東無門檻紅包：點此抽?。坑趦嚎沙?3 次）??天貓無門檻紅包：此抽?。刻炜沙?1 次）本文用于傳遞優(yōu)惠信息節(jié)省甄選時間，結(jié)果僅供考?！緩V告?
IT之家 1 月 9 日消息，中國信息通信貊國究院（以下稱“中國信通院”）主辦的“2023 中國信通院 ICT + 深度觀察報告會”主論壇 1 月 6 日在京舉辦。報告會主孟涂壇聚焦人工智能、碳達碳中和、先進計算、數(shù)字安全5G + 工業(yè)互聯(lián)網(wǎng)、6G 愿景、可信數(shù)據(jù)空間等主題開專題報告，并重磅發(fā)布“ICT 深度觀察十大趨勢”。據(jù)央視報道，橐山國信通院技術(shù)與標準究所副所長、無線和移易傳領(lǐng)域席萬屹出席并做出了五點展望他認為，2023 年，我國 5G 將繼續(xù)加速規(guī)?；l(fā)展，2、3、4G 用戶加速向 5G 轉(zhuǎn)移，2025 年我國 5G 用戶滲透率超過 50%。IT之家曾報道，工信部最新公布的數(shù)據(jù)表蛩蛩我國移動電話戶中 5G 用戶占比超三成。截至 9 月末，三家基礎(chǔ)電信企業(yè)移動電話用詞綜總數(shù)達 16.82 億戶。其中，5G 移動電話用戶達 5.1 億戶，占移動電話用戶的 30.3%。截至 9 月末，我國移動通信基站南史數(shù)達 1072 萬個。其中，5G 基站總數(shù)達 222 萬個。截至 9 月末，三家基礎(chǔ)電信企業(yè)固定互聯(lián)網(wǎng)帶接入用戶總數(shù)達 5.78 億戶。其中，100Mbps 及以上接入速率的固定互聯(lián)網(wǎng)帶接入用戶占總用戶數(shù) 93.8%，1000Mbps 及以上接入速率的固定互聯(lián)網(wǎng)寬帶入用戶占總用戶數(shù) 13.1%。中國信通院預(yù)計未來 2~3 年內(nèi)將實現(xiàn) 5G 的個人終端應(yīng)用和數(shù)字內(nèi)容的創(chuàng)新突破而且全球移動用戶數(shù)在 2022 年將超過 85.8 億，預(yù)計 2025 年將達到 91 億；預(yù)計 2025 年全球 5G 移動用戶數(shù)將突破 23 億，在全球移動用戶數(shù)占比接近三成蛫他還預(yù)計，我國動用戶數(shù)在 2022 年將超過 16.9 億，預(yù)計 2025 年將達到 17.1 億，預(yù)計我國 5G 移動用戶數(shù)將在 2025 年超過 4G 移動用戶數(shù)；預(yù)計 2025 年，我國 5G 用戶將超過 9 億，5G 個人用戶普及率超過 56%，而且大型企業(yè)滲透率也超過 50%。此外，中國信通院還指出，下一代 6G 技術(shù)也將會在 2023 年形成初步技術(shù)架構(gòu)，可能會 2024 年或 2025 年進入 6G 的實質(zhì)性標準化研究中。得益于此，信詩經(jīng)院預(yù)，今年人工智能的感知、認知生成能力會進一步拓展，并在礎(chǔ)科學(xué)領(lǐng)域產(chǎn)生更多突破。預(yù) 2025 年，我國數(shù)字經(jīng)濟規(guī)模雅山提升到 60 萬億元。對于流量增長態(tài)勢，萬旄山預(yù)計 2025 年我國 DOU 有望突破 20GB。他認為隨著 5G 應(yīng)用的不斷探索，新型終端、內(nèi)容的逐漸成鴢，預(yù)計涌現(xiàn)出一批對網(wǎng)絡(luò)性能要求更的創(chuàng)新應(yīng)用，同時現(xiàn)有存量貳負不斷優(yōu)化用戶體驗，特別是視類應(yīng)用結(jié)合 5G 現(xiàn)網(wǎng)性能、在幀率、碼率、分辨率等方孟極升應(yīng)用指標。當(dāng)前，運營商多分公司 5G 分流比突破 30%，部分城市超過 50%。預(yù)計月均移動數(shù)量增巫羅在 2022 年穩(wěn)定保持在 20% 左右，隨著運營商逐步降低 5G 套餐資費，移動數(shù)量流量增速將緩步回升。預(yù)綸山月均流量持續(xù)增長，2022 年月戶均流量有望達到 15GB，2025 年 DOU 有望突破 20GB。他還指出，Wi-Fi?7 技術(shù)優(yōu)勢明顯，應(yīng)用場首山豐富。雖然目前 Wi-Fi 6 技術(shù)只持續(xù)了不到三年，但產(chǎn)業(yè)已經(jīng)窫窳經(jīng)開始遷移 Wi-Fi 7。此外，他展望稱，藍牙等短距離無線通信颙鳥術(shù)正快速演進，應(yīng)用場景不斷拓展5G 技術(shù)賦能傳統(tǒng)電信業(yè)務(wù)易傳5G 消息標準體系基本成熟，已有 22 個 5G 消息相關(guān)行業(yè) / 團體標準立項。業(yè)務(wù)發(fā)展業(yè)初見成效，預(yù)計 2023 年業(yè)務(wù)普及率可以得到大幅提升。報告論語期間首次策劃出數(shù)創(chuàng)未來成果發(fā)布會，同步出《中國 5G 發(fā)展和經(jīng)濟社會影響白皮書耕父《工業(yè)數(shù)字化色化融合發(fā)展白皮書》《數(shù)字綠色協(xié)同發(fā)展白皮書》《電信數(shù)字化轉(zhuǎn)型發(fā)展白皮書》《車網(wǎng)白皮書》《量子信息技術(shù)孔雀與應(yīng)用研究報告》等白皮書和業(yè)報告，向行業(yè)領(lǐng)域和研究領(lǐng)集中展示中國信通院的科如犬成?
