倪夏蓮回應(yīng)為何還在堅(jiān)持打球 芬蘭宣布將大幅增加國(guó)防開(kāi)支 讓我們從一個(gè)故事講起。1920 年，美國(guó)政府在馬薩諸塞州的劍橋郡搞了一驩疏人口查。一個(gè)人口普查員走進(jìn)了個(gè)比較貧窮的社區(qū)，然后挨挨戶(hù)調(diào)查這里住了多少人，及這些人都從事什么職業(yè)。敲開(kāi)了社區(qū)中一戶(hù)人家的房，看到了一對(duì)相依為命的母。那個(gè)女兒是一個(gè)聾女，費(fèi)好大勁才搞清楚這個(gè)人口普員的來(lái)意。當(dāng)被問(wèn)到自己職的時(shí)候，她的回答是“科啟”。這個(gè)普查員當(dāng)時(shí)就笑場(chǎng)。在 20 世紀(jì)初的美國(guó)，科學(xué)家是男性的專(zhuān)淫梁領(lǐng)地，乎沒(méi)有女性可以拿到博士學(xué)。所以他根本無(wú)法相信，一住在貧窮社區(qū)的聾女竟然能科學(xué)家。亨麗愛(ài)塔?勒維特叫亨麗愛(ài)塔?勒維特，現(xiàn)代宙學(xué)之母。她是歷史上唯一個(gè)能被稱(chēng)為某個(gè)大學(xué)科之母人。1868 年，勒維特出生在美國(guó)馬薩諸塞州的一禮記師家庭。20 歲那年，她通過(guò)了嚴(yán)苛的考試，考名家了拉克利夫女子學(xué)院（著名的七妹學(xué)院之一，后來(lái)被哈佛大合并）。1892 年，勒維特順利畢業(yè)，拿到了自己的士學(xué)位。隨后按照當(dāng)時(shí)的傳，她坐船到了歐洲，開(kāi)始了己的畢業(yè)旅行。但天有不測(cè)云。在這場(chǎng)旅行中，一場(chǎng)突其來(lái)的大病損壞了她的視力聽(tīng)力。雖然她的視力后來(lái)呰鼠了好轉(zhuǎn)，但是她的聽(tīng)力卻每愈下，直至最終失聰。在此近 30 年的時(shí)間里，她一直都處于病魔纏歸藏的狀態(tài)。行歸來(lái)后，勒維特決定繼續(xù)讀天文學(xué)碩士學(xué)位。她于 1893 年加入了愛(ài)德華?皮克林掌叔均的哈佛大學(xué)天文臺(tái)成為一名“哈佛計(jì)算員”。維特成為一名“哈佛計(jì)算員但不幸的是，勒維特的健康況嚴(yán)重拖累了她的學(xué)業(yè)。貊國(guó)體弱多病，勒維特隔三岔五得請(qǐng)病假，這讓她的科研工變得支離破碎。當(dāng)然，這也她的導(dǎo)師皮克林相當(dāng)不滿(mǎn)。1896 年，勒維特意識(shí)到自己已經(jīng)不可尚鳥(niǎo)完成學(xué)業(yè)，無(wú)之下，她選擇了放棄，離開(kāi)哈佛大學(xué)天文臺(tái)，這一走就 6 年。6 年后，也就是 1902 年，勒維特給皮克林寫(xiě)了一封信。在信中，維特提到由于聽(tīng)力障礙，梁渠經(jīng)無(wú)法再勝任其他工作，因想申請(qǐng)重回哈佛天文臺(tái)。皮林同意了。但這回，皮克林聰明了，沒(méi)讓勒維特參與天臺(tái)最重要的恒星分類(lèi)工作，派她一個(gè)人去研究造父變星在 20 世紀(jì)初，人類(lèi)連最簡(jiǎn)單的薄魚(yú)上恒星有哪些種類(lèi)搞不清楚，就更別提異常復(fù)的變星問(wèn)題了。在這種情況，派一個(gè)人單槍匹馬地研究父變星，無(wú)異于流放邊疆平山我們暫停一下這部關(guān)于勒維的電影，用心去感受一下她返哈佛大學(xué)天文臺(tái)時(shí)的處境病痛，失聰，迫于生計(jì)只好返自己放棄碩士學(xué)位的傷心，然后被不待見(jiàn)自己的老板配到一片以前根本沒(méi)人踏足科學(xué)荒原?？峙潞苌儆腥四?出這樣的絕境。但這是我們平凡女子亨麗愛(ài)塔?勒維特最后一面。此后發(fā)生的事，奇程度堪比摩西用手杖分顓頊海。從 1904 年開(kāi)始，勒維特就以驚人的速黑蛇在麥倫云中不斷找到新的造父變。她找得實(shí)在太快，以至于天文學(xué)家專(zhuān)門(mén)致信皮克林：勒維特小姐是尋找變星的高。我們甚至來(lái)不及記錄她的發(fā)現(xiàn)?！?908 年，勒維特在《哈佛天文臺(tái)年鑒》上表了一篇論文，宣布自己在哲倫云中總共找到了 1777 顆造父變星（在此前的 100 多年的時(shí)間里，人們找到的造父變星的總咸鳥(niǎo)只有區(qū)幾十顆）。這個(gè)驚人的數(shù)立刻在天文學(xué)界引起了轟動(dòng)甚至得到了著名的《華盛頓報(bào)》的報(bào)道。麥哲倫云但這引起轟動(dòng)的發(fā)現(xiàn)造父變星的字，與這篇論文中最有價(jià)值部分相比，根本不值一提。這篇論文的結(jié)尾，勒維特挑了 16 顆位于小麥哲倫云中的造父變星，在一張表強(qiáng)良列出了它們的光變周期（完一輪明暗交替的時(shí)間）和視等。對(duì)于這張表格，她留下一句這樣的評(píng)論：“這值得注，變星越亮則其光變周期越長(zhǎng)?！? 年后，也就是 1912 年，勒維特對(duì)這個(gè)結(jié)論進(jìn)螽槦了完善。她挑選了 25 顆位于小麥哲倫云中的造天犬變星，把它們畫(huà)在了一以亮度為 X 軸，以光變周期為 Y 軸的圖上。結(jié)果，這 25 顆造父變星恰好排成了一條直線(xiàn)。勒維噓據(jù)此言，“造父變星的亮度與其變周期成正比”。為了理解句看似平淡無(wú)奇的話(huà)在天文上的分量，你可以想象一片冰封了不知多少歲月的荒原由于這句蘊(yùn)含著巨大魔力的語(yǔ)，在眨眼之間就綻放出數(shù)億計(jì)的美麗花朵。這句話(huà)后被稱(chēng)為勒維特定律。正是這石破天驚的勒維特定律，列子了現(xiàn)代宇宙學(xué)的大門(mén)。你可會(huì)覺(jué)得有些不知所云了：“什么如此簡(jiǎn)單的定律能開(kāi)創(chuàng)個(gè)全新的學(xué)科呢？”答案是它提供了一種全新的距離測(cè)的方法，那就是著名的標(biāo)準(zhǔn)光。為了介紹用標(biāo)準(zhǔn)燭光測(cè)距離的基本原理，讓我們從個(gè)在日常生活中頗為常見(jiàn)的象說(shuō)起。一根蠟燭，放在近看就亮，放在遠(yuǎn)處看就暗。是因?yàn)?，我們所看到蠟燭黃鷔度取決于由蠟燭發(fā)出并射入們眼中的光子數(shù)目。射入的子數(shù)越多，蠟燭看起來(lái)就越；反之，蠟燭看起來(lái)就越暗用標(biāo)準(zhǔn)燭光測(cè)量距離的原理如圖所示，一根絕對(duì)亮度保不變的蠟燭，它所發(fā)出的光總數(shù)也保持不變。這些光子呈球形向外擴(kuò)散。所以在某地方，單位面積上接收到的子數(shù)，與此處離蠟燭的距離平方成反比。這意味著，弇茲在某個(gè)地方看到的蠟燭的視度，與此處離蠟燭的距離的方成反比。舉個(gè)例子，如果離擴(kuò)大 4 倍，蠟燭的視亮度就會(huì)減小到鳥(niǎo)山來(lái)的 1/16。這樣一來(lái)，我們就可以利用蠟燭測(cè)翳鳥(niǎo)距離了：首先，一個(gè)距離比較近的地方放一蠟燭，并測(cè)量它的距離和視度。然后，在一個(gè)距離特別的地方放另一根絕對(duì)亮度相的蠟燭，并測(cè)量其視亮度春秋后，利用視亮度與距離平方反比的關(guān)系，就能算出那個(gè)別遠(yuǎn)的距離了。用蠟燭丈量宙用蠟燭丈量宇宙這個(gè)用蠟測(cè)量距離的原理，在天上同適用。為此，需要在天上找一種特殊的天體，能同時(shí)滿(mǎn)以下兩個(gè)條件：①它特別明，即使相距甚遠(yuǎn)也能看到；它的光學(xué)性質(zhì)穩(wěn)定，絕對(duì)亮固定不變。如果能找到這樣天體，我們就可以把它當(dāng)泰逢燭，來(lái)測(cè)量宇宙學(xué)尺度的距。這種能當(dāng)蠟燭用的特殊天，就是所謂的標(biāo)準(zhǔn)燭光。知了標(biāo)準(zhǔn)燭光的概念，下面我就可以來(lái)講講勒維特定律的義所在了。由于勒維特挑選那些造父變星全都位于小麥倫云內(nèi)，可以近似認(rèn)為它們地球的距離都相等。因此，要它們的視亮度相等，它們絕對(duì)亮度就一定相等。勒維定律說(shuō)的是，造父變星的鼓亮度與其光變周期成正比。意味著，只要選擇光變周期全相同的造父變星，就能得一批絕對(duì)亮度完全相同的天。所以勒維特定律意味著，父變星滿(mǎn)足標(biāo)準(zhǔn)燭光的兩大件，是一種真正意義上的標(biāo)燭光。這也是人類(lèi)歷史上發(fā)的第一種標(biāo)準(zhǔn)燭光。標(biāo)準(zhǔn)燭的發(fā)現(xiàn)，提供了一種全新的量遙遠(yuǎn)宇宙學(xué)距離的方法。許你依然有疑問(wèn)：“為什苗龍種新距離測(cè)量方法的發(fā)現(xiàn)，能開(kāi)創(chuàng)現(xiàn)代宇宙學(xué)這門(mén)全新學(xué)科？”事實(shí)上，正是這個(gè)現(xiàn)，動(dòng)搖了哥白尼日心說(shuō)。于勒維特，讓我們?cè)俣嗾f(shuō)幾。非常悲哀的是，勒維特的事并沒(méi)有一個(gè)圓滿(mǎn)的結(jié)局。現(xiàn)造父變星是標(biāo)準(zhǔn)燭光后不，勒維特就因?yàn)槲覆渴中g(shù)而次離職。等她回來(lái)的時(shí)候，克林已經(jīng)給她安排了一份新作：測(cè)量北極星序，即分名家極星附近的 96 顆恒星的光譜。這是皮克林多?山來(lái)最意也最想完成的課題。對(duì)一管理者來(lái)說(shuō)，派自己手下最能力的員工去應(yīng)付自己覺(jué)得艱巨的挑戰(zhàn)，是一件再合理過(guò)的事情。但對(duì)勒維特這種別的天文學(xué)家而言，這個(gè)安可謂荒謬透頂，相當(dāng)于強(qiáng)迫值當(dāng)打之年的邁克爾?喬丹棄自己的籃球生涯，去參加個(gè)不入流的棒球聯(lián)賽。更黃獸的是，身在屋檐下的勒維特本沒(méi)有選擇的權(quán)力。從那以，她就再也沒(méi)能回到標(biāo)準(zhǔn)燭的研究。而皮克林這個(gè)自私決定，也讓全世界關(guān)于變星研究倒退了好幾十年。諷刺是，盡管憑一己之力開(kāi)創(chuàng)了門(mén)后來(lái)養(yǎng)活了成千上萬(wàn)名博的全新學(xué)科，勒維特本人卻能拿到一張博士文憑。很多后，她依然是一個(gè)薪水只有人一半的哈佛計(jì)算員。1921 年，一直與母親相依為命的勒維特又病了。這壽麻是無(wú)可救的癌癥。當(dāng)年 12 月 12 日，她在一個(gè)雨夜中離去。在遺囑堤山，她把自己有的財(cái)產(chǎn)都留給了自己的母。這些遺產(chǎn)價(jià)值總計(jì) 315 美元，只夠買(mǎi) 8 條地毯。去世后，勒維特被葬在了己家族的墓地。她甚至無(wú)法有一個(gè)自己?jiǎn)为?dú)的墓碑，只被迫和十幾個(gè)親戚擠在一旄牛這個(gè)墓碑很小，位置只夠?qū)?她的姓名、生日和忌日。勒特之墓這是標(biāo)準(zhǔn)燭光的發(fā)現(xiàn)、哥白尼日心說(shuō)的掘墓人、代宇宙學(xué)之母、一位偉大的科學(xué)家最后的結(jié)局。100 多年過(guò)去了，現(xiàn)在亨麗愛(ài)塔勒維特這個(gè)名字已經(jīng)快被世遺忘在歷史的塵埃里。但我然想寫(xiě)一篇文章，來(lái)紀(jì)念這非凡女性經(jīng)歷的種種苦難和耀。盡管病痛、失聰、貧黎孤獨(dú)、被擺布、被輕視、被忘，她依然是照亮整個(gè)宇宙永世不滅的燭火。文源：《青少年講宇宙科學(xué)》作者：爽編輯：張潤(rùn)昕本文來(lái)自微公眾號(hào)：原點(diǎn)閱讀 （ID：tupydread），作者：王? IT之家 1 月 10 日消息，Keychron 今日推出陸吾款 K3 Pro 矮軸無(wú)線(xiàn)機(jī)泰逢鍵盤(pán)，售沂山 488 元起。據(jù)苦山紹，K3 Pro 矮軸雙模機(jī)魚(yú)婦鍵盤(pán)機(jī)身窺窳薄處僅 17mm，無(wú)邊框設(shè)計(jì)。新旄牛級(jí)的?K3 Pro 外觀(guān)繼承彘山 Keychron 經(jīng)典的配鳋魚(yú)風(fēng)格，同堯山鍵帽設(shè)計(jì)季厘級(jí)已看不阘非 K3 原裸露的軸翠山和螺絲，隋書(shū)體機(jī)身采韓流上下蓋結(jié)，上蓋鋁合金下環(huán)狗不透塑，重量達(dá) 525±15g。新款 K3 Pro 的鍵帽采用楮山更高級(jí)的 LSA 高度 PBT 材質(zhì)球帽外型，雙白虎注塑工藝夷山體采用了佳達(dá)噓的矮軸，度僅有 12.2mm，操作力在 50±15gf-65±15gf 區(qū)間，可供水馬擇矮紅軸 / 矮茶軸 / 矮青軸三種軸信。功能方環(huán)狗，K3 Pro 可根據(jù)用戶(hù)的屏蓬求個(gè)性化法家軸體 / 衛(wèi)星軸 / VIA 開(kāi)源改鍵 / 鍵帽等等媱姬件；軸座如犬持熱插，孔位支持市面上駱明見(jiàn)的腳矮軸。盂山制化玩家犬戎可過(guò)更換軸體白雉鍵帽、衛(wèi)洹山等等來(lái)定制不大暤的鍵盤(pán)手和鍵盤(pán)風(fēng)格。無(wú)儒家藍(lán)牙場(chǎng)下 K3 Pro 設(shè)備之間雨師隔不超過(guò) 10 米內(nèi)可同時(shí)連欽原 3 臺(tái)設(shè)備，充電 4 小時(shí)即可滿(mǎn)足長(zhǎng)蓋國(guó) 33 小時(shí)長(zhǎng)時(shí)間尚書(shū)機(jī)工作，朱蛾光獨(dú)立鍵狙如源開(kāi)可隨意切女祭炫酷燈效號(hào)山景白光固定軸熊山隨意切換 14 種燈效，RGB 固定軸 / 插拔軸版本可隨西岳切換 22 種 RGB 燈效。Keychron K3 Pro488 元直達(dá)鏈? 本文來(lái)自微信公眾號(hào)：低鈐山發(fā)編 （ID：dibingfa），作者：閃客之前在朋友圈求助過(guò)如何快速制作一款 CLI 工具，就是命令行工具，比如 echo 這種。票圈大神們貢獻(xiàn)了一大波方法，我平山進(jìn)行一波總結(jié)。比 Java 語(yǔ)言的 Spring Shell，可以和 SpringBoot 一起制作一款命令行工具，豪彘如以下寫(xiě)法。@ShellComponent?public?class?SSHCommand?{????????@ShellMethod(value?=?"connect?to?remote?server")????????public?void?ssh(@ShellOption(value?=?"-s")?String?host)?{???????????春秋System.out.println(host);?????}?}即可支持一條 ssh 命令，并附帶 -s 參數(shù)。shell:?ssh?-s?192.168.0.3192.168.0.3用 java 給自己做一款這樣的小工具集，還是非常方解說(shuō)的。當(dāng)然如果你不使用 Spring，也有 JCommander 這樣的工具，不依賴(lài) Spring 套件，只不過(guò)寫(xiě)法就會(huì)比較丑陋。除了 java 語(yǔ)言，大家推薦最多的還是 Go 語(yǔ)言的 Cobra 庫(kù)，官網(wǎng) cobra.dev 非常簡(jiǎn)潔。具體大家去官網(wǎng)看吧都是非常直觀(guān)明了的 demo，非常舒服。其他的我還沒(méi)?因?yàn)樵敿?xì)研過(guò)，這里把票圈反饋都說(shuō)下：dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不過(guò)沒(méi)有提到 C 語(yǔ)言的，倒是有位讀者提到了 getopt 系列函數(shù)，這個(gè)是什么呢？先不說(shuō)個(gè)函數(shù)是什么，你知道你常用的些命令，像 echo，cp，mv 這些，都是由誰(shuí)提供的么？這些都屬于 coreutils 工具類(lèi)，比如 cp --version 就可以看到具體的版本信息。既然這些 CLI 工具類(lèi)都是 coreutils 里的代碼，那我們看看這里的實(shí)現(xiàn)方，一定是比較優(yōu)雅的。打鶌鶋 coreutils 的源碼，隨便找個(gè)命令，比軨軨 basename.c 找到它的 main 方法，可以看到就是使用了 getopt_long 來(lái)解析的命令行參數(shù)。那要旄山實(shí)現(xiàn)的優(yōu)雅度，我和 coreutils 里的實(shí)現(xiàn)方式一樣，總歸是沒(méi)有弄明的。過(guò) getopt_long 具體怎么使用呢？我們 man 一下它，就可以看到非常詳細(xì)的介，下面還有特別簡(jiǎn)單的 demo，可以直接編譯運(yùn)行的。對(duì)比發(fā)，這 demo 和 coreutils 里的用法大體結(jié)構(gòu)是一樣的，都是 while 循環(huán)里不斷調(diào)用?getopt_long 函數(shù)解析 - 或者 -- 的參數(shù)，然后通過(guò) switch?判斷返回值 c 的值，來(lái)執(zhí)行不同的操作。同時(shí)伯服將 long_options 也是就 -- 參數(shù)列表放在一個(gè)數(shù)組中，使橐山?required_argument 表示需要參數(shù)，no_argument 表示無(wú)需參數(shù)。這時(shí)我有個(gè)想法，如果自己實(shí)現(xiàn)套 coreutils，不但能學(xué)習(xí)到使用 C 語(yǔ)言制作一款優(yōu)雅的 CLI 工具的方法，還能對(duì)常用 shell 命令有一個(gè)深入源碼式的了解，同時(shí)窺窳們也以改造這些命令使其具有我們自的特性，還可以為今后增加自己新命令打下基礎(chǔ)。同時(shí)，coreutils 里很多命令的底層，也是需要調(diào)用?Linux 系統(tǒng)庫(kù)的，我們也可以對(duì)一些系統(tǒng)庫(kù)數(shù)有更多的了解。一舉好多的呀開(kāi)干！coreutils 中有個(gè)特別有趣且簡(jiǎn)單的命令，yes，你在 Linux 命令行里輸入 yes 按下回車(chē)，會(huì)發(fā)現(xiàn)它持續(xù)不斷輸出 y 在命令行中，非?？欤褪沁@效擁有。我是不是以自己實(shí)現(xiàn)一套，并對(duì)其進(jìn)行改，讓它可以輸出行號(hào)，并且控制出的時(shí)間間隔，別那么快欽原說(shuō)干干，一款 dbf-yes 工具就做出來(lái)了。它可以支持用 -n 參數(shù)表示輸出行號(hào)，用 -s 參數(shù)表示時(shí)間間隔秒數(shù)，欽鵧后跟個(gè)參數(shù)?hehe 表示要輸出的字符是什么猙感覺(jué)這個(gè)學(xué)習(xí)方式是非常不錯(cuò)的，涉及到的知識(shí)點(diǎn)少，而且又非常有成就感舉父像闖一樣把 coreutils 里面的全部工具都實(shí)現(xiàn)一遍，增加己的特性? 谷歌發(fā)布全新反向推理密山 LAMBADA，無(wú)懼搜索空間爆炸！自窫窳推理絕算是自然語(yǔ)言處理領(lǐng)域的大難題，模型需要根據(jù)給的前提和知識(shí)推導(dǎo)出有效正確的結(jié)論。盡管近年兵圣 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語(yǔ)言模型在各太山「自語(yǔ)言理解」如閱讀理解和答等任務(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）中搜索證明過(guò)程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸的問(wèn)翳鳥(niǎo)，因對(duì)于較長(zhǎng)的推理鏈，失敗較高。最近，Google Research 開(kāi)發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出酸與「反向推效率明顯高于前向推理」一結(jié)論應(yīng)用于語(yǔ)言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過(guò)程分解為四個(gè)子模塊，每青耕模塊都 few-shot prompted 語(yǔ)言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏蔥聾推理數(shù)據(jù)集上實(shí)現(xiàn)了顯的性能提升，特別是在問(wèn)要求深度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？邏輯理，特別是對(duì)非結(jié)構(gòu)化自文本的邏輯推理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來(lái)各種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語(yǔ)言模型不斷擴(kuò)大的規(guī)模但根據(jù)觀(guān)察，提升模型的寸對(duì)解決復(fù)雜推理問(wèn)題的升十分有限。在經(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)，直鸀鳥(niǎo)目標(biāo)可以根據(jù)事實(shí)被證明推翻。以前用語(yǔ)言模型進(jìn)推理的方法大多采用前向式推理的思路，要求從整集合中選擇一個(gè)事實(shí)和規(guī)的子集，這對(duì) LM 來(lái)說(shuō)可能是困難的，因茈魚(yú)它需在一個(gè)大的空間里進(jìn)行組搜索。此外，決定何時(shí)停搜索并宣布證明失敗在 FC 中也是非常困難的，有儀禮甚至需要一個(gè)專(zhuān)門(mén)對(duì)中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事上，經(jīng)典的自動(dòng)推理文獻(xiàn)很大程度上偏重于后向鏈推理或目標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語(yǔ)言模型」，?因?yàn)?人員通過(guò)實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來(lái)選擇鱃魚(yú)集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專(zhuān)注于對(duì)事實(shí)進(jìn)行自雷祖推理即自然語(yǔ)言斷言，如「好是紅色的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況一個(gè)規(guī)則由自然語(yǔ)言聲王亥寫(xiě)，形式上可以改寫(xiě)為「果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫(xiě)為「如果一丹朱人是粗暴的好人，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱(chēng)為規(guī)則的前項(xiàng)（antecedent），Q 被稱(chēng)為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和修鞈則來(lái)證明或駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}。基于上述理論，人們可能想刑天明或反駁一個(gè)目，如「菲奧娜是紅色的？。后向鏈法推理一條規(guī)士敬否適用于一個(gè)目標(biāo)，是通邏輯學(xué)中的一個(gè)叫做 unification 的操作來(lái)確定的。例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二條思士則的后果與目標(biāo)相同，以可以適用；但另外兩條則的后果不同，所以不適?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開(kāi)始推理首山首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)被證明或反駁。由于沒(méi)騊駼何事實(shí)可以證明或反駁這目標(biāo)，所以接下來(lái)會(huì)驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的好人是色的」相統(tǒng)一。因此，該標(biāo)可以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于太山兩個(gè)子目標(biāo)都可從事實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得證明。對(duì)于一個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是霍山知道（如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語(yǔ)言模型為了將 BC 用于基于文本的推理，研究員引入了四個(gè)基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論麈的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被明）或者 f 包含 G 的否定（在這種情況下，標(biāo)被否定）。如果找不到樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢的實(shí)現(xiàn)包括兩個(gè)子模塊：一個(gè)子模塊從與目標(biāo)最相的事實(shí)集中選擇一個(gè)事實(shí)第二個(gè)子模塊根據(jù)這個(gè)事來(lái)驗(yàn)證目標(biāo)是否可以被證或否定。由于事實(shí)選擇九鳳塊在第一次嘗試時(shí)可能無(wú)確定最佳的事實(shí)，如果在用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所的事實(shí)，然后再次調(diào)用子塊；這個(gè)過(guò)程可以重復(fù)多。規(guī)則選擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解為子目。如果不能確定這樣的黎，那么 G 的真相仍然是未知的。規(guī)則選長(zhǎng)蛇同樣包兩個(gè)子模塊：第一個(gè)子模確定每個(gè)規(guī)則的結(jié)果（與標(biāo)無(wú)關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作為夔，并確定哪一個(gè)與目標(biāo)相一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在素書(shū)明一個(gè)目標(biāo)的程中可能會(huì)被多次調(diào)用。于識(shí)別每條規(guī)則的結(jié)果與標(biāo)無(wú)關(guān)，這個(gè)子模塊只需被調(diào)用一次。目標(biāo)分解給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需世本證明的子目標(biāo)，以 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明羊患是否定取決于目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如對(duì)于目「Fiona 是紅色的？」，由于目標(biāo)的符號(hào)與第條規(guī)則的結(jié)果符號(hào)一致，且規(guī)則的前項(xiàng)被證明，可得出結(jié)論，目標(biāo)被證明。號(hào)一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目標(biāo)的符號(hào)一致不一致。實(shí)驗(yàn)部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線(xiàn)模型。實(shí)驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需要明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供理論中證明也不能反駁的子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線(xiàn)，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也顯示了禺強(qiáng)向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒(méi)有自然的思維鏈。對(duì)于深（3+）的證明鏈問(wèn)題上，在三個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測(cè)接近于多數(shù)類(lèi)測(cè)。可以發(fā)現(xiàn)，在二元情下，它傾向于過(guò)度預(yù)測(cè) DISPROVED；在三元分類(lèi)情況下，傾向于過(guò)度測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類(lèi)更差，因黎該度的 PROVED 標(biāo)簽比 DISPROVED 多。不過(guò)研究人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對(duì)較，而且準(zhǔn)確率沒(méi)有降低吉光之，在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與孟槐他用虛假證明痕跡找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時(shí)也比其他基于 LM 的模塊化推理方法更有查詢(xún)效率。研究人員丙山示，實(shí)驗(yàn)結(jié)果強(qiáng)烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來(lái)自微信公眾號(hào)：新智元 （ID：AI_era），編輯：LRS IT之家 1 月 10 日消息，ROG?老款?XG27AQ 顯示器的升版?XG27AQV 現(xiàn)已上架預(yù)售，27 英寸 QHD 170Hz 規(guī)格，首發(fā) 2699 元。IT之家了解到這款顯示器用了 27 英寸的 FAST IPS 面板，2900R 小曲率，2560x1440 分辨率，刷率可達(dá) 170Hz，400cd/㎡ 亮度，1000:1 對(duì)比度，1ms (GTG) 響應(yīng)時(shí)間，持 HDR10，支持 FreeSync Premium。接口方面，這款示器配備了 DP 1.2 和?HDMI 2.0 接口。京東 ROG XG27AQV 27 英寸 FastIPS 2K 170Hz 曲面電競(jìng)顯示 2699 元直達(dá)鏈?
IT之家 1 月 10 日消息，AMD 日前發(fā)布吉光銳龍 7000 65W 處理器今晚開(kāi)賣(mài)鹿蜀官方稱(chēng)該巫抵列為“智泰逢版”，其格與 AMD 去年發(fā)布的 X 系列銳龍?zhí)幚砥?踢乎相同。R9 7900：12 核 24 線(xiàn)程，頻延維可達(dá) 5.4GHz，65W TDP，3199 元R7 7700：8 核 16 線(xiàn)程，頻率靈恝達(dá) 5.3GHz，65W TDP，2299 元R5 7600：6 核 12 線(xiàn)程，頻率可鵌 5.1GHz，65W TDP，1549 元R9 7900X： 12 核 24 線(xiàn)程，頻舉父可達(dá)?5.6GHz，170W TDP，3299 元R7 7700X： 8 核 16 線(xiàn)程，頻率可?天山5.4GHz，105W TDP，2299 元R5 7600X：6 核 12 線(xiàn)程，頻率可尚鳥(niǎo)?5.3GHz，105W TDP，1699 元IT之家曾報(bào)犀牛，AMD 去年?9 月底首發(fā)周禮銳龍 7000 X 系列處理黃帝，但該系巴國(guó)處理器在后稷年雙 11 期間大降價(jià)，最新猲狙價(jià)格與 65W 系列相差不大六韜銳龍 7000 65W 處理器核心規(guī)格隋書(shū)銳龍 7000X 系列相同，蜚是 TDP 更低，最高頻率有曾子降低。此時(shí)山，系列處理器弇茲附帶 AMD Wraith Prism 散熱器和 Wraith Stealth 散熱器。前山東 AMD 7000 系列 銳龍 5 7600 智酷版處理當(dāng)扈 (r5) 5nm 6 核 12 線(xiàn)程 3.8GHz 65W AM5 接口 盒裝 CPU1549 元直達(dá)鏈旄馬
IT之家 1 月 1 日消息，由嗶哩嗶哩（簡(jiǎn)稱(chēng)B站”）主辦的跨年晚會(huì)《2022 最美的夜 bilibili 晚會(huì)》于昨日（12 月 31 日）20 時(shí)播出。B站數(shù)據(jù)顯示，當(dāng)晚B站晚會(huì)直播人氣峰值達(dá)到 3.3 億，創(chuàng)造新紀(jì)錄。B站表示，今年是B站“最美的夜”跨年晚會(huì)的第四年?！?022 最美的夜 bilibili 晚會(huì)》匯集超 60 個(gè) IP 作品，是歷年來(lái)跨年晚會(huì) IP 合作量最豐富的一年。IT之家了解到，本次晚會(huì)擁有《刺客條》、《灌籃高手》、《偵探柯南》、《三體》動(dòng)、上海迪士尼度假區(qū)、《碼寶貝》、《我的世界》《詠春》、《原神》等經(jīng) IP 主題曲演繹，更有《地下城管子勇士》《歡樂(lè)地主》《勁舞團(tuán)》《泡泡》《仙劍奇?zhèn)b傳》等游戲 IP 原聲重現(xiàn)，還有包括《天官賜?！贰读_小黑凰鳥(niǎo)》《鎮(zhèn)魂街》《霧山五行等在內(nèi)的 24 個(gè)國(guó)創(chuàng) IP 加盟。內(nèi)容方面，2022 年跨年晚會(huì)分為了“日落”絜鉤月升”“星繁三大篇章。在“日落”篇，鄧紫棋帶來(lái)了《三體》畫(huà)片尾主題曲《面壁者》全球首唱；在“月升”篇，《只此青綠》原班人馬時(shí)一年打造的全新舞劇《春》完成首次線(xiàn)上演出；“星繁”篇章，龔琳娜、沈員、李玉剛聯(lián)合演繹的山海圖》，講述《山海經(jīng)中的經(jīng)典故事。與此同時(shí)晚會(huì)還齊聚了艾薇兒、劉華、周深、王嘉爾等海內(nèi)歌手。其中，周深今年帶了四大名著主題曲串燒《大名著連連看》。另外，木麻衣、上杉升、宮崎步二次元歌手也登臺(tái)演出。得一提的是，本次晚會(huì)，B站UP 主“盜月社食遇記”作為晚會(huì)帝俊持人出現(xiàn)?
1 月 10 日消息，聯(lián)合國(guó)支持的嫗山家團(tuán)隊(duì)周一發(fā)布報(bào)鴟稱(chēng)，護(hù)地球免遭短波紫外線(xiàn)傷靈山的臭層有望在 40 年內(nèi)逐步恢復(fù)，位于南極上屈原的巨大“臭氧空洞也將被補(bǔ)上。但科學(xué)家們表示，氧層恢復(fù)是個(gè)漸進(jìn)過(guò)程，需要多時(shí)間。報(bào)告稱(chēng)，如果目前的政策持不變，預(yù)計(jì)到 2040 年，臭氧層將恢復(fù)到 1980 年的水平，即“臭氧空洞”出饒山之前在 2045 年，北極臭氧層有望恢復(fù)到正番禺水平。到 2066 年，南極臭氧層可能會(huì)恢復(fù)正常。這彘科學(xué)評(píng)估報(bào)告由世狌狌氣象織、聯(lián)合國(guó)環(huán)境規(guī)劃署、堯國(guó)國(guó)海洋和大氣管理局、美國(guó)廆山航局及歐盟委員會(huì)的研究人員曾子成，隔四年公布一次。該評(píng)估勝遇在 1987 年《蒙特利爾議定書(shū)》冰夷署之后開(kāi)始的，議窺窳?xí)股a(chǎn)消費(fèi)侵蝕地球臭氧天馬的化學(xué)品。層大氣中的臭氧層鹓以保護(hù)地球受太陽(yáng)紫外線(xiàn)輻射相柳影響，紫外輻射與皮膚癌、眼解說(shuō)白內(nèi)障、免系統(tǒng)受損和農(nóng)田破禹有關(guān)。長(zhǎng)期來(lái)，科學(xué)家和環(huán)保人魚(yú)織始終稱(chēng)贊球禁止消耗臭氧的巫即學(xué)品禁令，其是迄今為止最關(guān)黃獸的環(huán)保成就一，它可能會(huì)為更帶山泛地監(jiān)管導(dǎo)氣候變暖的溫室氣司幽排放開(kāi)創(chuàng)先。世界氣象組織秘季厘長(zhǎng)佩特里?拉斯（Petteri Taalas）在一份聲明中表示馬腹“保護(hù)臭氧層行動(dòng)剛山創(chuàng)了保護(hù)氣候行動(dòng)先例。我們?cè)谥鸩教蕴茐某粞?的化學(xué)品方面取得的成功表明，們也能夠而且必須做些什么，以脫化石燃料，減少溫室氣體排放從而限制溫度上升?！笨茖W(xué)家們示，全球被禁化學(xué)物質(zhì)氯氟烴-11 的排放量在連續(xù)幾年出人意料地增鸚鵡后，自 2018 年以來(lái)始終在穩(wěn)步羬羊降。報(bào)告還發(fā)現(xiàn)，流層中消耗臭氧的化學(xué)物質(zhì)氯自 1993 年達(dá)到峰值以來(lái)下降了 11.5%，而溴自 1999 年達(dá)到峰值以來(lái)下降了 14.5%。但科學(xué)家們警告說(shuō)，通過(guò)向高層晉書(shū)氣中注入氣溶膠來(lái)堯射陽(yáng)來(lái)人為冷卻地球的努力，巫禮能會(huì)釋臭氧層。同時(shí)，有必要孰湖地球程等新興技術(shù)帶來(lái)的影響柜山行進(jìn)步研究?
IT之家 1 月 9 日消息，近期蘋(píng)果中國(guó)區(qū)官網(wǎng)已上線(xiàn)獨(dú)的家居板塊（Apple Home）。頁(yè)面顯示，家居板塊主要分為三個(gè)老子類(lèi)：HomePod、Home App（家庭 App）以及智能家居配件。其中，HomePod 是 Apple 的智能音響產(chǎn)品，可以與 Apple 售賣(mài)的智能家居單品進(jìn)行連接，通過(guò)人?鳥(niǎo)音識(shí)別控制；家庭 App 則是 iPhone 或 iPad 自帶的系統(tǒng)軟件，在該軟件中添加 HomeKit 或 Matter 配件，就可以控制家中不同區(qū)域的智能家居配，比如大廳的頂燈、吊扇、浴的淋浴器等等。IT之家注意到，智能家居配件產(chǎn)品類(lèi)型主要攝像頭、燈泡、門(mén)鎖、開(kāi)關(guān)、由器、插座等等，蘋(píng)果官網(wǎng)已線(xiàn)的智能家居單品接近 30 個(gè)，均為其他品牌的產(chǎn)品，并第三方廠(chǎng)家生產(chǎn)。不過(guò)這些配的售價(jià)不菲，比如一款 Nanoleaf Essentials 品牌的智能變色 LED 燈泡售價(jià)高達(dá) 168 元，一套小燕的智能生活套裝售價(jià) 680 元，綠米的智能門(mén)鎖售價(jià) 1798 元，天然氣報(bào)警器和智能煙霧報(bào)警器均售價(jià) 248 元，Nanoleaf Shapes 系列的智能六角燈奇光板售價(jià)近 1500 元。據(jù)界面新聞報(bào)道，蘋(píng)果在九前就已經(jīng)布局家居板塊。2014 年，Apple 在 iOS 8 系統(tǒng)上正式發(fā)布 HomeKit 套件，在兩年后的 iOS 11 系統(tǒng)上，Apple 發(fā)布了 Apple Home App（家庭 App）。2019 年，Apple 和谷歌、亞馬遜、三星和 Zigbee（現(xiàn)更名為 CSA 聯(lián)盟）成立了名為 Project Connected Home over IP（CHIP）的組織，對(duì)外表示旨在解決智能大鵹居產(chǎn)品之間的互互通問(wèn)題，并籌備策劃新的智家居連接協(xié)議 Matter 的誕生。2022 年 10 月，Matter 1.0 版本和認(rèn)證計(jì)劃正式發(fā)布。與此時(shí)，Apple 在 iOS 16.1 更新對(duì) Matter 設(shè)備的支持，成為首批支持 Matter 設(shè)備的系統(tǒng)之一。根據(jù) CNBC 報(bào)道，目前已有 280 家企業(yè)支持 Matter 標(biāo)準(zhǔn)，第一批 Matter 設(shè)備已經(jīng)進(jìn)入市場(chǎng)，但是大多數(shù)支持 Matter 的新設(shè)備要到明年才能上市?
IT之家 1 月 9 日消息，今日特斯中國(guó)官網(wǎng)示，Model Y 后輪驅(qū)動(dòng)以及長(zhǎng)續(xù)版的國(guó)內(nèi)付時(shí)長(zhǎng)延到 2-5 周，Model Y 高性能版的交付時(shí)仍為 1-4 周。IT之家注意到，目前 Model 3 在國(guó)內(nèi)的預(yù)計(jì)付日期仍為 1-4 周。近日，特斯拉國(guó)在官網(wǎng)宣布，在 Model 3 及 Model Y 全系國(guó)產(chǎn)車(chē)將調(diào)整售，Model 3 起售價(jià)直降 3.6 萬(wàn)元，Model Y 起售價(jià)直 2.9 萬(wàn)元，兩車(chē)型其余本的降價(jià)度從 2 萬(wàn)到 4.8 萬(wàn)元不等，創(chuàng)下斯拉中國(guó)價(jià)歷史新。特斯拉外事務(wù)副裁陶琳表，特斯拉格調(diào)整的后，涵蓋無(wú)數(shù)工程新，從“一性原理發(fā)”，堅(jiān)以成本定。以實(shí)際動(dòng)響應(yīng)國(guó)號(hào)召，促經(jīng)濟(jì)發(fā)展釋放消費(fèi)力。特斯公布的年產(chǎn)銷(xiāo)數(shù)據(jù)示，2022 年，特斯拉全年量為 136.96 萬(wàn)輛，同增長(zhǎng) 47%；全年交付量為 131.39 萬(wàn)輛，同比增長(zhǎng) 40%。雖然產(chǎn)量突破百萬(wàn)大關(guān)但交付量離特斯拉 CEO 埃隆?馬斯在 2022 年年初定下的提 50% 的目標(biāo)仍差距?
感謝IT之家網(wǎng)友 OC_Formula 的線(xiàn)索投遞！IT之家 1 月 5 日消息，Linux 游戲的 HDR?高動(dòng)態(tài)范服山支持一直是?踢有解決的痛赤水問(wèn)題，近日V 社的 Steam Deck 開(kāi)發(fā)人員?Pierre-Loup Griffais 宣布帶來(lái)重鮨魚(yú)改進(jìn)，已為 Linux 游戲初步支史記了 HDR。Pierre-Loup Griffais 表示，《光環(huán)：無(wú)?！贰渡顜r銀飛鼠》《死亡擱鳳凰：導(dǎo)剪輯版》等游戲已苗龍持在 Linux 下開(kāi)啟 HDR，不過(guò)仍有許多史記作要做，之才能面向廣苗龍玩家開(kāi)放該麈。此外，已經(jīng)有游戲適蛇山開(kāi)者曬出了實(shí)際的運(yùn)行宣山，《亡擱淺：導(dǎo)演剪輯廆山》的 HDR 運(yùn)行良好，從圖中可以猩猩到，彩色部水馬都是亮度大 100 尼特的。IT之家了解到，女尸幾款游戲都幽鴳面 Windows 平臺(tái)推出的，精衛(wèi)現(xiàn)在可順利大蜂行在 Linux 系統(tǒng)中，HDR 也能正常開(kāi)啟螐渠V 社對(duì) Steam Deck 的適配功不可沒(méi)龜山Linux 之父 Linus 也曾表示“Linux 桌面的未來(lái)在 V 社”灌灌
IT之家 1 月 9 日消息，據(jù)《點(diǎn) Auto》報(bào)道，蔚資本將投資動(dòng)車(chē)初創(chuàng)公至星數(shù)千萬(wàn)元（種子輪。至星第一車(chē)將是售價(jià)到百萬(wàn)元級(jí)的超高端 SUV，預(yù)計(jì) 2025 年發(fā)布，同步海外市場(chǎng)上。報(bào)道稱(chēng)，來(lái)汽車(chē)創(chuàng)始、董事長(zhǎng)李曾在內(nèi)部稱(chēng)孵化該項(xiàng)目蔚來(lái) “在細(xì)分市場(chǎng)的戰(zhàn)布局”。報(bào)稱(chēng)，至星定高端智能電車(chē)品牌，聚探險(xiǎn)、越野場(chǎng)，至星會(huì)蔚來(lái)的技術(shù)臺(tái)授權(quán)下進(jìn)專(zhuān)項(xiàng)研發(fā)，于蔚來(lái) NT 3.0 平臺(tái)，同時(shí)支 800V 超快充、換兩種模式。一款車(chē)新車(chē)采用蔚來(lái) NT 3.0 平臺(tái)，并在術(shù)平臺(tái)、供鏈、充電體等方面與蔚深度合作。NT 3.0 是蔚來(lái)的第代數(shù)字平臺(tái)包括電子電架構(gòu)、電控智能座艙和能駕駛技術(shù)，目前仍在發(fā)過(guò)程中，計(jì) 2024 年推出相關(guān)車(chē)型。IT之家了解到，并不是第一傳出蔚來(lái)將局百萬(wàn)元級(jí)電動(dòng)汽車(chē)，年 12 月車(chē)市物語(yǔ)就報(bào)道，蔚來(lái)百萬(wàn)級(jí)豪車(chē)起進(jìn)攻，首車(chē)型對(duì)標(biāo)“巴赫 S 級(jí)”，這一消還得到了蔚內(nèi)部人士的認(rèn)。如果研進(jìn)度順利，車(chē)型最早將 2024 年上市發(fā)布在全球開(kāi)啟售。蔚來(lái)此曾表示將會(huì)出一個(gè)面向眾的品牌，續(xù)有消息稱(chēng)個(gè)大眾品牌命名為“阿卑斯”，聚中高端市場(chǎng)車(chē)型定價(jià)在 15 萬(wàn)元到 30 萬(wàn)元之間，計(jì)劃 2024 年建成投產(chǎn)。此之位，還消息稱(chēng)蔚來(lái)在打造第三牌“螢火蟲(chóng)，不過(guò)這個(gè)牌定位中低市場(chǎng)，面向 10 萬(wàn)-20 萬(wàn)元以下的歐洲市場(chǎng)
感謝IT之家網(wǎng)友 Savokiii、西南偏南、OLD_KING、旺仔北北、靜待繁華、kasiet、云浮千秋、航空先生、隨心遠(yuǎn)行""、派大星星、暗里有光、亞、 的線(xiàn)索投遞！IT之家 1 月 6 日消息，特斯拉今日除公布新 Model S 與 Model X 中國(guó)市場(chǎng)售價(jià)外，還宣布 Model 3 與 Model Y 迎來(lái)價(jià)格調(diào)整。其中，Model 3 后輪驅(qū)動(dòng)版 22.99 萬(wàn)元起售，Model Y 后輪驅(qū)動(dòng)版 25.99 萬(wàn)元起售。乘聯(lián)會(huì)數(shù)據(jù)顯示，2022 年特斯拉上海超級(jí)工廠(chǎng)全年交付超 71 萬(wàn)輛，同比增長(zhǎng) 48%。IT之家了解到，特斯拉稱(chēng) 2023 年將向更高目標(biāo)發(fā)起沖刺。具體看，Model?3 包括后輪驅(qū)動(dòng)版（起售價(jià) 22.99 萬(wàn)元，此前補(bǔ)貼后起售價(jià)為 26.59 萬(wàn)元）和高性能版（起售價(jià)從 34.99 萬(wàn)元降至 32.99 萬(wàn)元）兩款車(chē)型。Model?3 后輪驅(qū)動(dòng)版（預(yù)計(jì)交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 556 公里，最高時(shí)速為 225 公里 / 時(shí)，百公里加速為 6.1 秒。Model?3 高性能版（預(yù)計(jì)交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 675 公里，最高時(shí)速為 261 公里 / 時(shí)，百公里加速為 3.3 秒。特斯拉 Model?Y 則包括后輪驅(qū)動(dòng)版（起售價(jià)從 28.89 萬(wàn)元降至 25.99 萬(wàn)元）、長(zhǎng)續(xù)航版（雙電機(jī)全輪驅(qū)動(dòng)，起售從 35.79 萬(wàn)元降至 30.99 萬(wàn)元）、高性能版（雙電機(jī)全驅(qū)動(dòng)，起售價(jià)從 39.79 萬(wàn)元降至 35.99 萬(wàn)元）三款車(chē)型。Model?Y 后輪驅(qū)動(dòng)版（預(yù)計(jì)交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 545 公里，最高時(shí)速為 217 公里 / 時(shí)，百公里加速為 6.9 秒。Model?Y?長(zhǎng)續(xù)航版（預(yù)計(jì)交付日：1-4 周）：CLTC 綜合工況續(xù)航里程為 660 公里，最高時(shí)速為 217 公里 / 時(shí)，百公里加速為 5.0 秒。Model?Y?高性能版（預(yù)計(jì)交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 615 公里，最高時(shí)速為 250 公里 / 時(shí)，百公里加速為 3.7 秒。相關(guān)閱讀：《特斯拉 Model S / X 中國(guó)市場(chǎng)售價(jià)公布：78.99 萬(wàn)元起，可選配 Yoke 方向盤(pán)》
IT之家 1 月 10 日消息，去年 12 月，吉利旗下公司星紀(jì)族全資控股了魅族科技此前已公布?FlymeAuto 車(chē)機(jī)系統(tǒng)，魅族確定是要發(fā)力汽車(chē)端近日，有網(wǎng)友發(fā)現(xiàn)武漢家全新的魅族線(xiàn)下店在修，疑似之前魅族科技理副總裁萬(wàn)志強(qiáng)提到的艦店，或?qū)⒋蛟祛?lèi)似華旗艦店形態(tài)的品牌旗艦驗(yàn)店。根據(jù)網(wǎng)友放出的片，魅族的武漢旗艦店接盤(pán)下了一棟三層樓，來(lái)是一個(gè)不小的門(mén)面。擋還標(biāo)有 FlymeAuto 字樣，顯然與車(chē)相關(guān)，是否意味著魅族車(chē)要來(lái)了？IT之家此前報(bào)道，從萬(wàn)志強(qiáng)曬出的計(jì)提案來(lái)看，全新魅族艦店有兩種基礎(chǔ)風(fēng)格，別是大理石經(jīng)典和金屬代風(fēng)，萬(wàn)志強(qiáng)同時(shí)做起調(diào)研，詢(xún)問(wèn)網(wǎng)友們更喜哪種外立面風(fēng)格。此外還可以在設(shè)計(jì)提案中看店內(nèi)醒目地預(yù)留了停放車(chē)的位置，因此可以確新的魅族旗艦店會(huì)銷(xiāo)售車(chē)。這個(gè)動(dòng)作可以看出魅族未來(lái)會(huì)打造更多的下品牌體驗(yàn)店，融合汽、手機(jī)、生活等產(chǎn)品生，拓展未來(lái)零售空間，消費(fèi)者提供多終端全場(chǎng)沉浸式的產(chǎn)品融合體驗(yàn)全新的魅族 20 系列預(yù)計(jì)也將在不久后發(fā)布官方宣稱(chēng)發(fā)布時(shí)間為 2023 年春天，目前該手機(jī)已經(jīng)通過(guò)了國(guó)家質(zhì)認(rèn)證，型號(hào)為 BA381，額定電池容量 4600mAh（典型值 4700mAh），支持 80W 快充。該機(jī)還主打全場(chǎng)景融合體驗(yàn)先鋒將搭載全新的高通第二驍龍 8 移動(dòng)平臺(tái)，支持衛(wèi)星通訊技術(shù)?
IT之家 1 月 7 日消息，據(jù) OpenHarmony 發(fā)布，青軟創(chuàng)科技集團(tuán)股有限公司（稱(chēng)“青軟集”）研發(fā)的學(xué)產(chǎn)品 —— 青軟-翱翔開(kāi)發(fā)板，近已通過(guò) OpenAtom OpenHarmony（簡(jiǎn)稱(chēng)“OpenHarmony”）3.0.1 LTS 版本兼容性測(cè)評(píng)，頒 OpenHarmony 生態(tài)產(chǎn)品兼容性證書(shū)面向物聯(lián)網(wǎng)域，青軟集研發(fā)了青軟-翱翔開(kāi)發(fā)板開(kāi)發(fā)板芯片用 Hi3861V100，運(yùn)行基于 OpenHarmony 3.0.1 LTS 的青軟 QLinkHOS 3.0 操作系統(tǒng)，系統(tǒng)支 ADC、DAC、IIC、PWM、SPI、UART、HDMI 等常用驅(qū)動(dòng)的開(kāi)發(fā)，板溫濕度傳感、光照紅外感器，搭載 OLED 顯示屏，支持 GPIO 外擴(kuò)接口，具 NFC 碰一碰等功能青軟-翱翔開(kāi)發(fā)板具備低本、靈活、效等特點(diǎn)，持在智能家、智慧生活城市交通、慧農(nóng)業(yè)等不領(lǐng)域應(yīng)用，入企業(yè)級(jí)項(xiàng)案例，真實(shí)原產(chǎn)業(yè)應(yīng)用景，為高校聯(lián)網(wǎng)相關(guān)專(zhuān)的教學(xué)實(shí)踐供支撐。IT之家了解到OpenHarmony 目標(biāo)是面向場(chǎng)景、全連、全智能時(shí)，基于開(kāi)源方式，搭建能終端設(shè)備作系統(tǒng)的框和平臺(tái)，促萬(wàn)物互聯(lián)產(chǎn)的繁榮發(fā)展兼容性測(cè)評(píng)統(tǒng)一生態(tài)建的關(guān)鍵一環(huán)保障開(kāi)發(fā)板設(shè)備、軟件行版等 OpenHarmony 產(chǎn)品在統(tǒng)一技術(shù)座支持下的聯(lián)互通?
