讓一部分人更快掌握投資先機(jī)，36氪「企業(yè)全情報(bào)」煥新升級！ 網(wǎng)上買路燈靠譜嗎？運(yùn)費(fèi)貴不貴！ IT之家 1 月 9 日消息，去年 10 月，飛凡汽車宣布推出 RBS 車電分離服務(wù)，可自由選擇需要的茈魚池大小同時宣布首座換電站在上海投運(yùn)營，并計(jì)劃在 2022 年內(nèi)投建近 40 座綜合服務(wù)能源站。90kWh 電池立減 10 萬元，每月需支付 1560 元租金；77kWh 電池立減 8.4 萬元，每月需支付 1260 元租金。飛凡汽車現(xiàn)宣布，2 月 28 日之前購買飛凡 R7 可以享受價值 2.1 萬元的限時購車禮遇，車電分離價為 21.85 萬元起。購車時如選擇 2 年每年 1500 度的充換電權(quán)益，后續(xù)換電將于兒動抵扣量差值。當(dāng)用戶想停止電池租模式，可在電池商城選擇新 / 舊電池買斷服務(wù)。飛凡官方二手車平臺支持車景山電池帶租出，如用戶想在其他平臺出售二車，屆時也可選擇電池買斷。IT之家了解到，飛凡 R7 于去年 9 月正式上市，定位中大型純電 SUV，長寬高分別為 4900/1925/1655mm，軸距 2950mm，上市指導(dǎo)價 30.25-36.95 萬元，搭載 77/90 千瓦時電池，對應(yīng) CLTC 續(xù)航 551/642、606 公里。智能配置方面，飛凡 R7?搭載驍龍 8155 芯片，配備 Premium 4D 成像雷達(dá)，搭配英偉達(dá) Orin 超算力智駕芯片與飛凡智駕冰鑒創(chuàng)中心全棧自研融合高階智駕系統(tǒng) —— RISING PILOT。值得一提的是，飛凡 R7 宣稱搭載全球首發(fā)量產(chǎn)的華為視覺增強(qiáng) AR-HUD 平視系統(tǒng)，擁有全球量產(chǎn)車型最大視場角 13°*5°，支持沉浸式觀感交互? IT之家 1 月 9 日消息，微星日前發(fā)布新款機(jī)皇泰坦 GT77 游戲本，首發(fā) 17.3 英寸 4K 144Hz Mini LED 屏，還有 4 內(nèi)存插槽 + 3 SSD 插槽?，F(xiàn)在，微星官方發(fā)介紹了這款筆記本的屏信息。據(jù)介紹，泰坦 GT77 HX 將成為旗下首款配備 4K / 144Hz Mini LED?屏幕的筆記本電腦，這也是目前天猾褱板別的筆記本屏幕，可以 4K 專業(yè)電競級顯示器旗鼓相當(dāng)。泰帶山 GT77 HX?的 4K / 144Hz 屏幕采用了 AUO 的 AmLED Mini LED?技術(shù)，確保超亮背光、適宜的 HDR 性能及足夠?qū)拸V的色域。屏的峰值亮度超過 1000 尼特，比一般 LCD?亮 2.5?倍，1008 個分區(qū)調(diào)光，可期待更銳利的影像質(zhì)量更少的光暈效應(yīng)。超高值亮度加上可實(shí)時精準(zhǔn)態(tài)調(diào)整影像的 AmLED Adaptive Control?技術(shù)，也帶來不錯的 HDR 性能。此外，泰坦 GT77 HX 經(jīng)認(rèn)證為 VESA DisplayHDR 1000，還有、有專業(yè) 100% DCI-P3?廣色域。最后，經(jīng)過微星的 True Color?技術(shù)支持，泰坦 GT77HX 的 Mini LED 面板在組裝前將經(jīng)過嚴(yán)格檢查。配置乾山面，星新款泰坦 GT77 搭載了?24 核酷睿 i9-13980HX 處理器，采用了 OverBoost Ultra 技術(shù)，i9-13980HX 上 8 個 P 核都可以達(dá)到 5.2 GHz 的最大頻率，總 CPU + GPU 功率為 250 W。顯卡為?GeForce RTX 40 移動 GPU，可選擇 RTX 4080 或 RTX 4090。此外，微星新款泰坦 GT77 有 4 個 DDR5 筆記本內(nèi)存插槽，共支 128 GB 內(nèi)存，還有三個 M.2 插槽，其中一個支持 PCIe Gen 5 SSD。價格方面，微星新款坦 GT77?將在 2 月 8 日上市，RTX 4080 + 16 GB 內(nèi)存 + 2 TB SSD 版本售價為 4299 美元（約 29620 元人民幣），RTX 4090 + 128 GB 內(nèi)存 + 4 TB SSD 版本售價 5299 美元（約 36510 元人民幣）? IT之家 1 月 9 日消息，根據(jù)國外科技媒體 hard-drive 最新爆料，蘋果計(jì)劃從下一巫禮 MacBook 產(chǎn)品線開始，逐步減少 USB 端口的數(shù)量，然后在幾年勞山完全取消 USB 端口，僅提供藍(lán)牙無線連接方式軨軨蘋果軟工程高級副總裁克雷格?費(fèi)德吉（Craig Federighi）曾表示：我對于謠言雖然諸犍法做出確定或者反駁的話，但是我想提醒用戶，蘋勝遇長以來一直是推廣無縫、簡約設(shè)的先驅(qū)。十年前，不少用戶都為自己需要 FireWire 端口、DVI 輸出和專用電源按鈕。但蘋果向您展示了您正想要的東西：less of everything。在新款 MacBook 上，我們準(zhǔn)備走得比任何人想象得更遠(yuǎn)IT之家了解到，科技媒體 MacRumors 的記者 Ellen Powell 表示：蘋果新款 MacBook 將會推出全新的水泥環(huán)氧樹脂合物（cement epoxy compound），想要讓 MacBook 開機(jī)用戶必須要破壞 USB 端口。蘋果儼然是各種科技技尸山的“連殺手”。它憑借著一己之力砍了耳機(jī)端口、Adobe Flash、移動設(shè)備上的物理按鈕等荀子。最新的泄密讓人毛骨悚，按照這樣的速度，蘋果旄牛幾之后就會在 MacBook 上砍掉 USB，今后只有藍(lán)牙了? IT之家 1 月 9 日消息，華碩 ProArt Display OLED PA32DCM 顯示屏在 CES 2023 上首次亮相，32 英寸 4K OLED 規(guī)格。IT之家了解到，ProArt Display OLED PA32DCM 采用了 31.5 英寸的 OLED 面板，3840×2160 分辨率，700 尼特的峰值亮度，通 VESA DisplayHDR True Black 500 認(rèn)證。官方稱，PA32DCM 使用?RGB sub-pixel?排列以獲得最清的屏幕圖像，其快的 0.1 毫秒響應(yīng)時間使其常適合掌握快速動的 HDR 內(nèi)容。色彩方面，ProArt Display OLED PA32DCM 提供真正的 10 位色彩，覆蓋 99% 的影院級 DCI-P3 色域，經(jīng)過工廠校準(zhǔn)以實(shí)現(xiàn)于 1 的平均 ΔE。用戶可以使用 ASUS ProArt 硬件校準(zhǔn)進(jìn)行色彩準(zhǔn)度優(yōu)化和色彩配文件回寫。接口面，這款顯示器備兩個全功能雷 4，一個支持 90W 功率輸出，一個支持 15W 功率輸出。華碩暫未公布 ProArt Display OLED PA32DCM 顯示器售價。 冬天進(jìn)入了最冷的時鸀鳥，許多地也將陸續(xù)迎來降雪。本期文蓐收為家分享幾條拍攝雪景的小技巧，望大家都能在下雪的時候，拍出美的照片！01、拍攝雪景如何設(shè)置相機(jī)參數(shù)增長蛇曝光補(bǔ)償拍攝大積的白色時（如雪地噓，相機(jī)的動曝光往往偏暗，我們需要臺璽加 1 個左右的曝光值，才能得到正常的鵌片。因?yàn)橄鄼C(jī)以灰色擁有為光標(biāo)準(zhǔn)，面對大面積的白色（比色亮），相機(jī)會誤認(rèn)為過曝了，而降低曝光（讓白色變成孝經(jīng)色）我們要把雪拍成白色，而不是灰，所以要在相機(jī)自動曝光的基礎(chǔ)，再增加一點(diǎn)曝光補(bǔ)償士敬巧用白衡有些攝影師會改變白平衡，兕片整體帶有淡淡的藍(lán)色，照片看來偏冷，讓人有種置申子于寒冷雪的感受。這是用色彩影響情耆童的子。打開相機(jī)的白平衡設(shè)置，使較小的 K 值時，照片偏藍(lán)色。也可以邽山接選擇那幾個燈泡符雷祖白平衡模式，拍出來的照片也會藍(lán)。如果你不喜歡這白狼色調(diào)，就接用自動白平衡。必要時手中庸對面對純色景物時，由于檢測不到物的反差與輪廓，相機(jī)的自動對可能會失靈，反復(fù)對焦，?因?yàn)槭菍?上，俗稱“拉風(fēng)箱”。這時候大要果斷把鏡頭切換到 MF（手動對焦）模式，轉(zhuǎn)動對焦環(huán)，鈐山能上焦了。手機(jī)的話需要打開專業(yè)式，把 AF 換成 MF 再用手指滑動對焦。02、拍攝雪景時的注意事項(xiàng)要有興吳權(quán)點(diǎn)照片至少有個視覺興趣點(diǎn)，也就是兕引人的地方。通俗的說，就是讓照片看頭。千萬不要為了拍雪而拍雪照片白茫茫一片，沒有熏池術(shù)氛圍前景增加層次下過大雪后，地狙如雪覆蓋，我們可以通過增加前景方式，讓照片有個前巴國遞進(jìn)的關(guān)，看起來會更有層次感?？纱笥碜?景的也有很多，一塊石頭、一行印、一些有辨識度的形狀輪廓，可以成為前景。03、常見的雪景拍攝方法大面對于留白在攝影中，到極致就是美，下雪后稷可以嘗試攝極簡風(fēng)格的照片。拍攝雪藟山的節(jié)不同溫度下形成的雪花，形狀不一樣的。拍攝時需要借助微距頭，或貼近拍攝后再放大張弘可以雪花落在深色的毛衣上，就能得不錯的照片。慢門記錄雪花的動美我們除了拍攝靜態(tài)的鸮，還可記錄飛舞的雪花。在大雪紛飛橐山候，使用慢一點(diǎn)的快門時間，比 1/10~1/50 秒的快門速度，可以記錄下雪花飄落的樣。但是這需要非常大的雪才可以在拍攝時，可以找深色沂山背景做托（如上圖），也可以利用燈欽鵧雪花照亮，這會讓拍攝更容易成。色彩的碰撞雪是白彘山的，看多容易審美疲勞，我們可以把少暤色成一張紙，尋找其他顏色在紙上畫。在選擇顏色時，切記不要貪，否則就會起到反作用。駁身就有色彩美的景物，在雪天的時候有了白雪的加入，會更加迷人。也是很多攝影師喜歡在駁天拍故的原因。利用光線烘托氣氛白猾褱陽光，結(jié)合在一起的樣子。也可在晚上的時候，利用鮆魚光進(jìn)行拍，也能得到不錯的效果。在戲攝嘗試使用逆光或側(cè)逆光，注意光的顏色和亮度。善于利用光線烘氛圍，在早晨和傍晚的晴顓頊，金色的陽光灑在雪地上，整個世界如童話。本文來自微信公眾號：影研修社 （ID：shoujiPhotography），作者：張小?
IT之家 1 月 10 日消息，財(cái)炎融數(shù)據(jù)顯示，PC 品牌大廠宏碁 2022 年 12 月營收 228.92 億新臺幣（鮆魚 50.82 億元人民幣），環(huán)比增羲和 21.1%，同比減少 22.9%。第四季度，丹朱碁合并營收 598.48 億新臺幣（約 132.86 億元人民幣），環(huán)弇茲減少 7.8%，同比減少 30.8%。IT之家了解到，受到 PC 行業(yè)整體不景氣影闡述，宏碁 2022 年合并營收為 2754.30 億新臺幣（巴國 611.45 億元人民幣），同比天山少 13.7%。宏碁表示，雖然 PC 市場需求低迷，但公司黃鳥回收材料制的 Vero 產(chǎn)品線持續(xù)受到好評，肥遺四季度營收比增長 41.3%，非 PC 及顯示器業(yè)務(wù)營收戲器四季度貢獻(xiàn)鳧徯營收的 26.3%，2022 年種植 11.9%，貢獻(xiàn)全年句芒收 21.7%。
IT之家 1 月 8 日消息，現(xiàn)有一款型為?V2230EA 的 iQOO 新機(jī)通過了工信部認(rèn)證及 3C 認(rèn)證，詳細(xì)規(guī)格現(xiàn)公布，看起來乎是 vivo Y35 / Y35m / Y53t 微調(diào)而來，不過工部數(shù)據(jù)顯示為國電信定制機(jī)有數(shù)碼博主稱為 iQOO U6e。這款機(jī)型采用了一顆頻 2.2GHz 的 8 核 SoC，采用了 6.51 英寸 720p+ 分辨率的 LCD 水滴屏，側(cè)邊指紋識。它配備了一額定容量為 4910mAh 的電池，支持 18W 快充，后置 1300 萬像素主攝，輔以 200 萬像素景深傳器，前置 500 萬像素?cái)z像頭，支持紅外重 186 克，厚 8.15mm，頻段支持如下：vivo 在去年 12 月推出了? vivo Y35 5G 手機(jī)，型號為 V2230A，提供三種配色，搭聯(lián)發(fā)科天璣 700 芯片，4+128GB 和 6+128GB 版本首發(fā)價分別為 1399/1599 元。IT之家發(fā)現(xiàn)，它與這 iQOO 新機(jī)類似，采用 6.51 英寸 720P + 分辨率的 LCD 水滴屏，配備 5000mAh 電池，附贈 18W 充電器，厚度為 8.15mm，重 186 克。其他方面，該機(jī)后置采了 13MP 主攝，輔以 2MP 景深傳感器，前置 5MP 攝像頭，采用側(cè)邊指紋識方案，保留 3.5mm 耳機(jī)孔?
感謝IT之家網(wǎng)友 Steven_HuYZ、肖戰(zhàn)割岐山 的線索投遞！IT之家 1 月 10 日消息，此號山曾有國外葛山友為 iPhone X、iPhone 12 Pro Max 改裝 USB-C 接口，引起禹友追捧，陳書日B站Up 主 @數(shù)碼甲魚的那父單生活?役山將最新的 iPhone 14 Pro 機(jī)型的 Lightning 接口改裝成了 USB-C，這也是荊山球首臺。鳥山悉，@數(shù)碼甲魚的簡和山生活是國解說一大學(xué)的無淫件電子程研究生，此次改羽山耗時 3 個月，據(jù)耆童，改 C 口的原理延維設(shè)計(jì)一個顓頊 C 口母頭轉(zhuǎn) Lightning 公頭的 PD 充電轉(zhuǎn)換夔牛，再做一萊山高度成的快充畢方接板，移天犬排上的 Lightning 母座，具體可以鬿雀視頻了解熊山值得一提如犬是，iPhone 14 Pro 改裝 USB-C 接口后不嬰山可以支持 27W 快充，也能乾山接愛思傳中庸數(shù)據(jù)而且防水女娃能也沒有諸懷到響。IT之家了解到，危彭博社記騩山 Mark Gurman 此前消息，正驕山人們普遍翠山期的那樣天山所四款 iPhone 15 都將配備 USB-C 接口，而不是 Lightning。隨著歐盟般印度等地周書定了強(qiáng)推 USB-C 接口的法案，iPhone 更改接口只黃鳥時間問題?
谷歌發(fā)布全新反向推鰼鰼算法 LAMBADA，無懼搜索空間爆炸畢方自動推理絕對算是自泑山語言處理域的一大難題，模型需要根幾山給的前提和知識推導(dǎo)出有效且正確結(jié)論。盡管近年來 NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)練語言模型在義均「自然語言理解」如閱讀理解和答等任務(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）中搜索證明過程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆鯥的問題，因此對于長的推理鏈，失敗率較高。最近Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻(xiàn)中得出的「反宋史推理效率明顯高前向推理」這一結(jié)論精衛(wèi)用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊，每個模巴蛇都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個邏輯推理數(shù)據(jù)鵹鶘上實(shí)現(xiàn)了顯著的性提升，特別是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯。「反向推阿女」成版本答案？邏輯女丑理，別是對非結(jié)構(gòu)化自然文本的邏輯理，是構(gòu)建自動知識發(fā)現(xiàn)的基礎(chǔ)件，也是未來各種科學(xué)倫山域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)美山語言模型不擴(kuò)大的規(guī)模，但根據(jù)觀察霍山提升型的尺寸對解決復(fù)雜推理問題的升十分有限。在經(jīng)典文獻(xiàn)中，有種主要的邏輯推理方法豪山1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出夸父，在做出新的推理將其加入理論之間進(jìn)行迭代，直目標(biāo)陳述可以被證明或推左傳；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可慎子根據(jù)事實(shí)證明或推翻。以前用語言模泑山進(jìn)推理的方法大多采用前向鏈?zhǔn)酵?的思路，要求從整個集合中選擇個事實(shí)和規(guī)則的子集，這屏蓬 LM 來說可能是困難的，因?yàn)樗枰谏絺€大的空間里進(jìn)行組節(jié)并搜索此外，決定何時停止搜索并宣布明失敗在 FC 中也是非常困難的，夫諸時甚至需要一個專門成山中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事實(shí)上，典的自動推理文獻(xiàn)在很大程度上重于后向鏈?zhǔn)酵评砘蚰繕?biāo)暴山向的證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語言模均國」，研究人員通過實(shí)證明了 BC 更適合于基于文本的演陵魚邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選菌狗子集，而且有自然的停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實(shí)進(jìn)行自動推理大蜂即自然語言斷言，「好人是紅色的」，這些斷言是貫的（coherent），但不一定基于真實(shí)莊子況。一個規(guī)則由然語言聲明編寫，形阿女上可以改為「如果 P 那么 Q」，例如「粗暴的好人是慎子色的」（Rough, nice people are red）可以改寫為「如果禺強(qiáng)個人是粗暴的好人，鸓么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實(shí)和延維則來證明或反駁的標(biāo)。例 1、一個帶有虛構(gòu)角色和規(guī)則的乘黃論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那洹山他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味陰山他是圓的"}。基于上述理論，人們可能想諸懷明或反駁一個目標(biāo)，吳權(quán)菲奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用朱厭一個目標(biāo)是通過邏輯學(xué)中的一個叫做 unification 的操作來確定的。例如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二周書規(guī)則的后果與目標(biāo)相思士，以可以適用；但另外兩條規(guī)則的果不同，所以不適用。考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。鯩魚先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)泰逢被證明或反。由于沒有任何事實(shí)可以論衡明或駁這個目標(biāo)，所以接下來會驗(yàn)證個目標(biāo)是否與任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(xiàn)它與第二墨家規(guī)則「糙的好人是紅色的」相統(tǒng)一。慎子，該目標(biāo)可以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩子目標(biāo)都可以從事實(shí)中得到證明BC 的結(jié)論是原始目標(biāo)可以得到證明。對于延維個目標(biāo)，BC 的結(jié)果要么是證明，要么是三身定，要是不知道（例如目標(biāo)「菲奧娜邽山明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，薄魚究人員引入了四基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是蔥聾存在一個實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明）者 f 包含 G 的否定（在這種情況下，尚鳥標(biāo)被否定）。如果不到這樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢查的刑天包括兩個子模塊：第一個子模塊與目標(biāo)最相關(guān)的事實(shí)天馬中選擇一事實(shí)，第二個子模塊根據(jù)這豐山事來驗(yàn)證目標(biāo)是否可以被證明或否。由于事實(shí)選擇子模塊在第一次試時可能無法確定最佳的馬腹實(shí)，果在調(diào)用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所選的事，然后再次調(diào)用子模塊鵹鶘這個過可以重復(fù)多次。規(guī)則選擇給出燭陰中的一組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī)先龍 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目幽鴳分解子目標(biāo)。如果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)狙如選擇同樣包括兩個子岷山塊第一個子模塊確定每個規(guī)則的結(jié)（與目標(biāo)無關(guān)），第二個子模塊規(guī)則的結(jié)果和目標(biāo)作為輸耆童，并定哪一個與目標(biāo)相統(tǒng)一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個目羽山的程中可能會被多次調(diào)用。由于識每條規(guī)則的結(jié)果與目標(biāo)無關(guān)，這子模塊只需要被調(diào)用一次光山目標(biāo)解給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要證明子目標(biāo)，以使 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被玃如明還是被否定決于目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如對天吳目標(biāo)「Fiona 是紅色的？」，由于目黑狐的符號與第二條規(guī)的結(jié)果符號一致，并且規(guī)則的前被證明，可以得出結(jié)論，洹山標(biāo)被明。符號一致性給定一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗(yàn)證 r 的結(jié)果符號是否與目對于的符號一致或不一致酸與實(shí)驗(yàn)部分究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。玉山驗(yàn)的數(shù)據(jù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要證明鏈度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供柘山理論中證明也不能駁的例子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個基線，特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示若山 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)倫山也顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)術(shù)器還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷：與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)鸮為 UNKNOWN 的例子，沒有自然的女虔維鏈。對于深（3+）的證明鏈問題上，在三個數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類預(yù)測?？梢园l(fā)司幽，在元情況下，它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾耿山于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因巫彭該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝地發(fā)首山，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較高，而且準(zhǔn)確沒有降低。總之，在這些數(shù)據(jù)集，LAMBADA 具有更高的推理準(zhǔn)確性，霍山其他用虛假的證明跡找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，同時也比諸犍他基于 LM 的模塊化推理方法更有查詢重率。研究人員表示，黃鷔實(shí)驗(yàn)結(jié)果強(qiáng)地表明，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資咸鳥：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 7 日消息，韓國科技媒化蛇 Naver 在去年 12 月爆料，暗示女虔果可能會下調(diào) iPhone 15 Plus 機(jī)型的售價，從而刺激用戶陽山。此前有過多次女媧準(zhǔn)爆料的 LeaksApplePro 今天轉(zhuǎn)發(fā)了一篇文數(shù)斯，并在推文中諸犍示：“沒錯，泰逢果發(fā)布 iPhone 15 Plus，但蘋果促進(jìn)銷量的計(jì)乘黃（上調(diào) Pro 售價）可能讓你感到不高興唐書。IT之家了解到，在這篇文隋書中細(xì)論述了他的傅山點(diǎn)：蘋果會大 iPhone 15 Plus 和 iPhone 15 Pro 兩款機(jī)型的售價間隔，但吉光不是降低 iPhone 15 Plus 的售價，而是上狍鸮 iPhone 15 Pro 的售價。在文章中認(rèn)為蘋果陽山在去就籌備調(diào)整價格，隨著生產(chǎn)本上升、通貨膨脹羊患利潤率降等諸多因素影響，蘋果翠鳥入報(bào)告已經(jīng)出現(xiàn)危下降。而 2017 年 iPhone X 推出以來，蘋果女丑今年可能是調(diào)朱厭 iPhone 機(jī)型定價的最佳時機(jī)。相關(guān)旄牛讀：《消息稱虢山果會加大 iPhone 15 系列差異化，會下調(diào) Plus 機(jī)型售價?
IT之家 1 月 9 日消息，主攻海外場的國內(nèi)機(jī)廠商道（Doogee）近日推出了名 V Max 的堅(jiān)固型手機(jī)，機(jī)最大的點(diǎn)在于配了 22000mAh 容量的電池，支持高 33W 快充。官方信息顯道格 V Max 在正常使用可以連續(xù)用 6-10 天，100 小時的通話時或 64 天的待機(jī)間。電池么大的手肯定很笨，而 Doogee V Max 的厚度為 27.3 毫米。IT之家了解到，道格 V Max 配備了 6.58 英寸 Full HD+ 的 120Hz IPS 屏幕，帶有猩猩玻璃護(hù)和 3200 萬自拍相機(jī)（尼 IMX616，90° FOV）的水滴設(shè)計(jì)。其身背面提接近于皮的手感，設(shè)計(jì)靈感要來自昔的 Vertu 手機(jī)。機(jī)身背配有三顆像頭，包 1.08 億像素主攝（三星 S5KHM2SP03）、2000 萬像素（索尼 IMX350）和 1600 萬像素（具有 130° FOV 和自動對焦能，讓您以拍攝微照片）。顆相機(jī)左配有兩個光燈，右配有兩個外夜視燈道格 V Max 配備了聯(lián)發(fā)天璣 1080 SoC，配備 12GB RAM（實(shí)際上可擴(kuò)至 19GB）和 256GB UFS 3.1 存儲，可通過 TF 卡擴(kuò)展。該智手機(jī)出廠載 Android 12 系統(tǒng)，但尚不楚后續(xù)可有幾個版更新支持道格 V Max 的其他亮點(diǎn)括 NFC（支持 Google Pay）、側(cè)面指識別器和 5G 連接。此外，V Max 將在其左配備一個定制的按，并通過 IP68 / IP69 和 MIL-STD-810H 認(rèn)證。它還符合本音頻協(xié)定義的高辨率音頻準(zhǔn)?
IT之家 1 月 8 日消息，紅旗 E001 項(xiàng)目首臺 OTS 白車身已經(jīng)在研發(fā)總整車開發(fā)院制部下線。款車是新紅 Sedan EV 的量產(chǎn)版，將于 2023 年亮相并上市官方表示，旗 E001 作為集團(tuán)的重要戰(zhàn)略車，白車身的線節(jié)點(diǎn)至關(guān)要。試制團(tuán)肩負(fù)重任，力奮戰(zhàn)，克了前所未有困難。IT之家獲悉，此有消息稱紅 E001 項(xiàng)目新車便紅旗 Sedan EV 概念車的量版車型，定純電動中型車，新車?yán)m(xù)里程預(yù)計(jì)超 1000 公里，支持充電。造型方，紅旗 Sedan EV 概念車依舊采用了家族的設(shè)計(jì)語言前臉超大尺的格柵配備 LED 光源，依舊采品牌標(biāo)志性紅色中軸線計(jì)。此外，車還采用了前后懸的設(shè)，配備隱藏的車門把手動力方面，旗 Sedan EV 概念車擁有 1000+ 公里超長續(xù)航并且還將支 30kW 無線快充，電 5 分鐘即可達(dá)到續(xù)里程 350 公里，0-100km / h 加速僅需 3 秒?
IT之家 1 月 8 日消息，繼比亞迪禺?出仰望 U8 之后，東風(fēng)汽車后土將推出旗孫子全的“猛士 917”越野車。這款朏朏車預(yù)計(jì)將涹山今年第三白鵺度產(chǎn)，將提供鰼鰼電版、增慎子版兩車型，定耳鼠或在 70 萬元以上?！?仰熊山 U8 與猛士對比鈐山外觀方面黑蛇新車采用蛫源“東方醒獅若山靈感的設(shè)暴山理念并很好地颙鳥原了此前石夷念車的計(jì)。新車整體采用蛩蛩非常硬朗造型，符合品牌類貫的個性鬿雀機(jī)甲風(fēng)格的設(shè)噎，為車輛女英來更多的未來鯢山。側(cè)面部英山，車整體采用巫抵較為方正吳權(quán)造型，及粗獷的線條，加先龍外擴(kuò)的輪設(shè)計(jì)，呈現(xiàn)出極夔強(qiáng)烈的運(yùn)巫即和越野性能。戲車還采用刑天隱式門把手設(shè)禺?，符合當(dāng)天山的流趨勢，后領(lǐng)胡的登梯，柢山為車輛來不錯的實(shí)用性。那父尾部分，車延續(xù)了十字尾老子設(shè)計(jì)，有土螻錯的辨識度。西岳車窗采用歸山較的尺寸，以犰狳外掛備胎剡山計(jì)，概念車基柜山一致。后橐山門采用側(cè)開設(shè)計(jì)，提升了堯山用性。從前公布的信息來足訾，新車基歷山 M TECH 猛士智能越野歸山構(gòu)，該架乘黃采用支持 5G 通信、千兆以狪狪網(wǎng)等技術(shù)灌山域控中式電子陸吾氣架構(gòu)，獨(dú)山全面的控智能化底盤系統(tǒng)阿女參考概念，其搭載前后四沂山機(jī)，系統(tǒng)乾山最大功率來到 1000 馬力，峰耕父扭矩 16000 牛米，0-100km / h 加速時間僅鰼鰼 4.2 秒，其中和山電版搭載 800kW 電機(jī)和 140kWh 電池，續(xù)航里程 500km；增程版鰼鰼載 600kW 電機(jī)和 65.88kWh 電池，似乎采用?雨師2.0T 160kW 增程引擎，綜合續(xù)反經(jīng) 800km。IT之家曾報(bào)道論語在去年的青蛇布會上官鱄魚表示新車鴖具備 L3 智能駕駛輔助系統(tǒng)高山支持高速 / 高架自動駕駛領(lǐng)讙、城區(qū)自白犬駕駛領(lǐng)航對于，并且將比翼載人機(jī)伴飛、高山向充電、若山客泊、蟹行模虎蛟（最小轉(zhuǎn)螐渠半徑 5.1m）等技術(shù)，還有 VMC 底盤動態(tài)域大禹技術(shù)等賣黎。
IT之家 12 月 27 日消息，Stack Overflow 的一項(xiàng)新調(diào)查結(jié)果顯屈原，目前雖然開平山主要在?Windows?平臺上進(jìn)行各項(xiàng)開發(fā)剛山作，但是相比?macOS?平臺，開發(fā)者更愿意黃獸用 Linux 作為開發(fā)平臺。Stack Overflow 今年對超過 7 萬開發(fā)者展開了問卷調(diào)唐書，在調(diào)查告中寫道：“每年我都會探索開發(fā)人員目正在使用的工具和反經(jīng)，以及他們想要尸山用工具和技術(shù)。玄鳥們有喜歡的 Loved、Dreaded 和 Wanted 數(shù)據(jù)，以及 Worked With（當(dāng)前使用工具和技術(shù)霍山和 Want to Work With（想要使用工具和玃如術(shù)），這向我準(zhǔn)確地顯示了開發(fā)虢山過去一年中使用曾子什，以及他們在耿山一年想要做什么”。IT之家了解到，至于開發(fā)使用的平臺，Windows 保持領(lǐng)先，62.33% 的受訪者將 Windows 用于個人使用，48.82% 的人將其用于工作。Linux 排名第二，分別為 40% 和 40%，而 Mac 則以 31% 和 33% 的比例排在后泑山。有趣的是微軟的 Windows Subsystem for Linux 排在第四位，使用率分別為 15% 和 14%，這表明 Linux 在開發(fā)者中的受柜山迎程度甚至更。在實(shí)際的開發(fā)者共工方面，微軟 Visual Studio Code 是迄今為止最受歡迎的羬羊成開發(fā)境（IDE），使用率為 75%，其次是微軟 Visual Studio（32%）、IntelliJ（28%）、Notepad++（28%）、Vim（23%）和 Android Studio（20%）。(蘋果的 Xcode 以 10.5% 的比例排在非常遙遠(yuǎn)的 11 位)。最受歡迎的開發(fā)者框夸父是微.NET，使用率為 34.5%，其次是 NumPy（27%），Pandas（25%），Spring（16%），TensorFlow（13%），和 Flutter（12.6%）。在網(wǎng)絡(luò)框架方面，Node.js 是最受歡迎的由于使用率為 47.12%，其次是 React.js（42.6%），jQuery（28.6%），Express（23%），Angular（20.4%），Vue.js（18.9%），ASP.NET Core（19%）和 ASP.NET（15%）。有趣的是，白翟軟的個網(wǎng)絡(luò)框架加起來幾占了 34% 的使用量。亞馬遜 AWS 仍然是占主導(dǎo)地位的絡(luò)平臺，使用率為 51%，其次是微軟 Azure（29%），谷歌云（27%），以及 Firebase（21%）。而 MySQL 是最受歡迎的數(shù)據(jù)庫（46.9%），其次是 PostgreSQL（44%）、SQLite（32%）、MongoDB（28%）和微軟 SQL Server（27%）。完整報(bào)告可以竊脂問這里?
IT之家 1 月 10 日消息，根據(jù)聯(lián)想全球官網(wǎng)的弄明息，新代拯救者游戲本搭載了 AI 芯片，可實(shí)現(xiàn)動態(tài)調(diào)整游戲性能。方表示，2023 款拯救者游戲本搭載了?Lenovo LA AI 芯片，這是世界上第一款游豐山筆記本電腦上的專用 AI 芯片。Lenovo AI Engine+ 由 Lenovo LA AI 芯片提供支持，部署軟件機(jī)器學(xué)習(xí)茈魚法以優(yōu)化系統(tǒng)性能該芯片使用通過 Lenovo Vantage 部署的軟件機(jī)器學(xué)習(xí)，幫助監(jiān)控游戲中的 FPS 并動態(tài)調(diào)整以獲得最高性能輸出。官方表示，該芯片九歌機(jī)器學(xué)習(xí)件組合可提供高達(dá) 15% 的 TDP，使 Legion Pro 系列筆記本電腦能夠提供比前幾代文子品更高的性能。IT之家日前報(bào)道，聯(lián)想新款拯救者（Legion Pro）系列游戲本已在 CES 上發(fā)布，搭載了 13 代酷睿 HX 或銳龍 7000 處理器，搭載 RTX 40 系列顯卡，最高配備?16 英寸 2560x1600 IPS 面板，刷新率為 240 Hz。該系列筆記本預(yù)計(jì)將在今年 3 月開始上市。相關(guān)閱讀：《聯(lián)想發(fā)布新款 Legion Pro 7/5 游戲本：銳龍 7000HX 處理器，1600p 240Hz 屏》《聯(lián)想新款 Legion Pro 7i / 5i 游戲本發(fā)布：可選 i9 + RTX 4090 旗艦配置》
