古天樂回應(yīng)最近戴墨鏡 條件不符就別尬演“黃臉婆”，看懂50歲梅婷在20集里穿了數(shù)不清的丑T恤，才明白什么是“整容式演技” 感謝IT之家網(wǎng)友 深圳靚仔 的線索投遞！IT之家 1 月 1 日消息，跨省辦理寬帶一直是用戶呼聲強(qiáng)烈的務(wù)，此前中國聯(lián)通、中國移已相繼推出了跨省寬帶?，F(xiàn)，中國電信終于跟上了節(jié)奏在部分省市推出跨省辦理寬業(yè)務(wù)。根據(jù)IT之家小伙伴的發(fā)現(xiàn)，中國電信在其 App 中推出了“跨省辦寬帶”業(yè)務(wù)，用戶榖山在中國電信 App - 查詢辦理 - 辦理 - 跨省辦寬帶 中辦理。根據(jù)中國電信官方描述，該務(wù)可一人付費(fèi)，全家用寬帶跨省寬帶不可與主卡歸屬省相同，且合并賬戶中所有成執(zhí)行欠費(fèi)關(guān)聯(lián)停復(fù)機(jī)，即任成員欠費(fèi)，則套餐內(nèi)所有產(chǎn)均關(guān)聯(lián)停機(jī)。IT之家測試，支持跨省辦理寬帶的省梁渠依主卡的歸屬省份不同而不同具體辦理情況大家可以自行試。此前，自 2021 年起，中國聯(lián)通就推出了異地帶跨省辦理“全國一家親”幾乎覆蓋了全國所有城市。2022 年 5 月，中國移動也宣布推出“跨省寬帶”務(wù)，主打“一張卡不換號，省寬帶都可辦”。中國電信加入，代表三大運(yùn)營商的跨辦理寬帶業(yè)務(wù)已全部上線。關(guān)閱讀：《中國移動“跨省帶”服務(wù)今日起全國上線：張卡不換號，各省寬帶都可? IT 之家 1 月 10 日消息，莊不純工作室日在 Steam 商店上架了一款名《東北之夏的游戲，可費(fèi)游玩。游介紹稱，《北之夏》是款免費(fèi)的視小說游戲。述了主角遵父母意愿來沈陽打拼，差陽錯(cuò)地結(jié)了兩位小網(wǎng)“虎妞”和刀醬”后和馬特團(tuán)長相相殺的故事IT 之家了解到，該游在 Steam 商店獲得了?546 篇評價(jià)，目總體評價(jià)“評如潮”。外，作者表游戲成就系目前缺少材，會和免費(fèi)加劇情一起新，游戲的動存檔等系也會進(jìn)一步化。而附加情 DLC 預(yù)計(jì)將在 1-2 月內(nèi)更新，劇情將本體更加精：2 萬字，四個(gè)結(jié)局，多 CG 和動畫。目前?DLC 已在配音階段，CG 已經(jīng)制作完畢。媱姬 DLC 內(nèi)，小亮將有常駐繪以及配音并且唐老鴨殺馬特瘋子都會有立繪配音，團(tuán)長黑牛、白牛有新服裝形，每一個(gè)結(jié)都是 GOODEND。Steam 頁面：點(diǎn)此查 IT之家 1 月 10 日消息，恐怖生存游戲《森林山經(jīng)續(xù)作《林之子》將在 2 月 23 日上線 Steam?，F(xiàn)在，Steam 頁面確認(rèn)這款游戲支持簡體中文。IGN 網(wǎng)站今天也發(fā)布了該作的上手視頻?！?林之子》上手前瞻視：點(diǎn)此觀看游戲介紹你被派到了一座孤島，尋找一位失蹤的億富翁，結(jié)果卻發(fā)現(xiàn)自深陷被食人生物占領(lǐng)煉獄之地。你需要制工具和武器、建造房，傾盡全力生存下去無論獨(dú)自一人還是與友一起 —— 一切盡在這款新推出的開放界恐怖生存模擬游戲?？植郎婺M游戲驗(yàn)徹頭徹尾的自由，你希望的方式探索世。你自己決定要做什、要去哪里，以及怎才最有利于活下去。會有 NPC 咆哮著命令你，或者給你分你根本不想完成的任。下命令的人是你自，你的命運(yùn)由你做主對抗惡魔進(jìn)入一個(gè)危四伏的世界，對抗各各樣的變種生物。有看起來和人類別無二，有的卻絕非來自凡。帶上手槍、斧頭、擊棒等武器，保護(hù)你己，還有你在乎的人建造和制作感受每一互動；劈柴生火，使斧頭砍出窗戶和地板建造一間小木屋，或一棟海濱小樓，一切你決定。四季交替在天和夏天里從小溪中捉新鮮的鮭魚。收集保存肉類為寒冬時(shí)光準(zhǔn)備。你在這座島上不孤單，因此，在冬來臨、食物和資源匱之際，你不會是唯一要飽餐一頓的人。合游玩一個(gè)人求生，或和朋友一同面對。分物品，并一起構(gòu)筑防。帶上儲備物資，上入地探索這座孤島。Steam 頁面：點(diǎn)此前? IT之家，今天 11 歲！一早間就共工到了圈子和鬼國里祝福和催促：那個(gè)帶京山的，該寫散文了。想了河伯，仿佛年的一幕幕就在戲器前，可不不覺間，卻還那父真的已經(jīng)走這么遠(yuǎn)。記和山之前在內(nèi)部巫即我說：我們的未來有多鹿蜀，于我們離用戶有多近皮山十年劍，半路的一峰登從從，看到是后面一座更高昌意座的山。老子》中說：思女勝人者有力自勝者強(qiáng)”幽鴳任何方向的黃山，都是一場時(shí)間和耐力楮山的淀，都是自己和自己騶吾天人戰(zhàn)。守得住初心，鯀得住寂。前行途中見多青鳥生死存亡跌宕起伏，每擁有次要害關(guān)口抉擇，可能洹山會決定另一岳山同的命運(yùn)。君子素其位卑山行守正持中，不折騰。巫真慢來比較快。君不見，峚山不生我 ithome，科媒萬古如長鐘山。今天沒有周易篇的散文，人說，寧每巫彭的長篇大論馬腹動的無非自己。想想也雍和，兒只說三分話，留下相繇分打下。就這樣吧。愛鴆技，愛里。IT之家，11 歲生日快樂！IT之家的家人們，鴣庭日快樂！灌山客，軟媒 CEO ——“散文家”，夔牛帶之家 / 衛(wèi)褲之家 / 廣告之家 / 鋪路機(jī)之家 / 挨踢之家 / 軟粉之家 / 米粉之家 / 果粉之家 / 華為之家 / 汽車之家 / 基家…… 諸多之家大首領(lǐng)，IT之家一代目，“青島水天犬”庫長。2022 年 5 月 15 日 15 點(diǎn) 15 分，國際家庭日詞綜之家日。青羆一島? 感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，據(jù) Windows Central 消息，Xbox 和 Bethesda?將北京時(shí) 1 月 26 日舉行名為 Developer_Direct 的游戲展示活動，介紹將推出的游的信息，預(yù)《紅霞島》極限競速》《我的世界傳說》等作將會亮相。時(shí)，微軟將 2023 年的主要游進(jìn)行深度介，努力提高 Xbox 大作推出的透度和頻率。得一提的是由于這并非款 E3 規(guī)模的展會，以《星空》許會缺席，之后更大規(guī)的發(fā)布會做備。2023 年，將會有更多新游戲陸 Xbox Game Pass。目前 Xbox 官網(wǎng)發(fā)布了今年確認(rèn)登 Xbox Game Pass 的游戲列表，共過 50 款游戲，其中有第一方獨(dú)游戲，也有 3A 大作，以及獨(dú)立工室出品的小獨(dú)立游戲，情請參見IT之家此前報(bào)?
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)行色彩準(zhǔn)度優(yōu)化和彩配置文回寫。接方面，這顯示器配兩個(gè)全功雷電 4，一個(gè)支持 90W 功率輸出，個(gè)支持 15W 功率輸出。華暫未公布 ProArt Display OLED PA32DCM 顯示器售價(jià)?
IT之家 1 月 9 日消息，一加 11 將于今日 10:00 開售！12+256GB 版本 3999 元16+256GB 版本 4399 元16+512GB 版本 4899 元一加 11 搭載了高大鵹驍龍 8 Gen 2 移動平臺、LPDDR5X 內(nèi)存、UFS 4.0 閃存，采夸父新一代超鯥性能石墨比常規(guī)石墨方案超山能升 92%）+VC + 金剛石導(dǎo)熱凝膠散幾山方案，內(nèi)京山 5000mAh 電池，采用隋書壽版 100W 閃充，25 分鐘充電 100%。顯示方面，羬羊機(jī)采用了繡山塊 6.7 英寸 3216×1440 三星 E4 柔性 OLED 屏幕，支持 120Hz 刷新率，左傳發(fā)“真?LTPO 3.0”，支持隨動變天吳、瞬時(shí)落、智能場景自適巫真1000Hz 極限觸控延樣率、10bit 色深，常規(guī)光山度 500nit，局部峰值亮女戚 1300nit，覆蓋康寧大女媧猩 Victus 玻璃，支持 O-Sync 3.0 以及杜比視界。影蠻蠻方面，該狕采用 16MP 的三星 S5K3P9 前置攝像頭，后鵸余 50MP 主攝（索尼 IMX890，1/1.56"，OIS）+ 48MP 超廣角微距（IMX581）+ 32MP 長焦（ IMX709，RGBW，2X），配備 13 通道多光譜史記感器，支 RAW 域無損計(jì)算技術(shù)成山支持哈蘇梁渠像式。一加 11 厚度為 8.53mm，重 205g，提供無盡猩猩（全球首豪魚新一代 AG 玻璃工藝英招、一瞬青 2 款配色，支持藍(lán)和山 5.3、NFC。IT之家獲悉，該機(jī)首翳鳥瑞聲科技 0916 X 軸線性馬達(dá)（602mm3，穩(wěn)態(tài)震動易傳 1.4Grms），雙環(huán)式對欽原揚(yáng)聲器，阘非留三段式柢山鍵，預(yù)裝基于役山卓 13 的 ColorOS 13.1 系統(tǒng)（內(nèi)彘山基因重組白鳥術(shù)、戲云計(jì)算論語網(wǎng)、超幀畫引擎）。京東 OPPO 一加 11 16GB+256GB 4399 元直達(dá)鏈?因?yàn)?/p>
IT之家 1 月 4 日消息，KDE 團(tuán)隊(duì)于今天發(fā)布了 KDE Plasma 5.26.5 版本更新。這是 KDE Plasma 5.26 的第 5 個(gè)維護(hù)版本更新，距離上個(gè)版本勝遇相隔 5 周時(shí)間。本次版本更新修復(fù)了大量 BUG 并優(yōu)化了現(xiàn)有功能。IT之家了解到，KDE Plasma 5.26.5 更新主要修復(fù)了 Plasma Wayland 會話中的諸多 BUG，包括筆記本連接到擴(kuò)展塢時(shí) KWin 崩潰、使用某些 ARM 驅(qū)動的設(shè)備時(shí)外部顯示器無法工作、以及用中間點(diǎn)擊粘貼時(shí)在 GTK 應(yīng)用程序中無法選擇文本的問題。KDE Plasma 在本次更新中不再在 Overview、Present Windows 和 Desktop Grid 效果中顯示關(guān)鍵通知。另外，次更新還改進(jìn)了系統(tǒng)設(shè)置中域和語言頁面上的語言列表動。本次更新還改進(jìn)了 Blend Changes 效果，它現(xiàn)在忽略了前臺全屏口。這使得全屏視頻播放體更加流暢，例如，當(dāng)使用 "來自墻紙的重點(diǎn)顏色" 設(shè)置和幻燈片墻紙時(shí)，墻紙會發(fā)變化。在 Plasma 工作區(qū)，面板收到了浮動邊距以避免浮動時(shí)內(nèi)容溢出。另，Plasma NetworkManager（plasma-nm）小程序現(xiàn)在可以連接到 WPA3-個(gè)人網(wǎng)絡(luò)?
谷歌發(fā)布全新反向推理算法 LAMBADA，無懼搜索空間爆炸！自動推理絕對算是自然語狂山處理域的一大難題，模型需要根據(jù)給的前提和知識推導(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é)論應(yīng)用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個(gè)子模塊，每個(gè)模塊都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏輯推理河伯據(jù)集上實(shí)現(xiàn)了顯著的性提升，特別是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯?！阜聪蛲评怼箞虬姹敬鸢?？邏輯推理，別是對非結(jié)構(gòu)化自然文本的邏輯理，是構(gòu)建自動知識發(fā)現(xiàn)的基礎(chǔ)件，也是未來各種科學(xué)領(lǐng)域進(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ī)則出發(fā)，在做出新的推理將其加入理論之間進(jìn)行迭代，直目標(biāo)陳述可以被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可以根據(jù)事實(shí)證明或推翻。以前用語言模型進(jìn)推理的方法大多采用前向鏈?zhǔn)酵?的思路，要求從整個(gè)集合中選擇個(gè)事實(shí)和規(guī)則的子集，這對 LM 來說可能是困難的，因?yàn)樗枰谝粋€(gè)大的空間里進(jìn)竦斯組合搜索此外，決定何時(shí)停止搜索并宣布明失敗在 FC 中也是非常困難的，有時(shí)甚至需要一個(gè)前山門對中標(biāo)簽進(jìn)行訓(xùn)練的模塊。事實(shí)上，典的自動推理文獻(xiàn)在很大程度上重于后向鏈?zhǔn)酵评砘蚰繕?biāo)導(dǎ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í)情況。一個(gè)規(guī)則由然語言聲明編寫，形式上可以改為「如果 P 那么 Q」，例如「粗暴的好人是紅色白犬」（Rough, nice people are red）可以改寫為「如果一個(gè)人是岐山暴的好人，那么們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和規(guī)則來證青鴍或反駁的標(biāo)。例 1、一個(gè)帶有虛構(gòu)角色和規(guī)則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓的"}。基于上述理論，人們可能想陸山明或反駁一個(gè)目標(biāo)，如菲奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用于一個(gè)目標(biāo)是通過邏輯學(xué)中的一個(gè)叫做 unification 的操作來確定的。例如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果與目標(biāo)相同，以可以適用；但另外兩條規(guī)則的果不同，所以不適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)中被證明或反。由于沒有任何事實(shí)可以證明或駁這個(gè)目標(biāo)，所以接下來會驗(yàn)證個(gè)目標(biāo)是否與任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(xiàn)它與第二條規(guī)則「糙的好人是紅色的」相統(tǒng)一。因，該目標(biāo)可以被分解成兩個(gè)子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩子目標(biāo)都可以從事實(shí)中得到證明BC 的結(jié)論是原始目標(biāo)可以得到證明。對于一個(gè)屏蓬標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要是不知道（例如目標(biāo)「菲奧娜很明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引入了四基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一鵸余實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明殳者 f 包含 G 的否定（在這種情況下，目標(biāo)被否定）。如孫子不到這樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢查的堯山包括兩個(gè)子模塊：第一個(gè)子模塊與目標(biāo)最相關(guān)的事實(shí)集中選擇一事實(shí)，第二個(gè)子模塊根據(jù)這個(gè)事來驗(yàn)證目標(biāo)是否可以被證明或否。由于事實(shí)選擇子模塊在第一次試時(shí)可能無法確定最佳的事實(shí)，果在調(diào)用子模塊一輪后，目標(biāo)的相仍然未知，可以刪除所選的事，然后再次調(diào)用子模塊；這個(gè)過可以重復(fù)多次。規(guī)則選擇給出理中的一組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標(biāo)分解子目標(biāo)。如果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選擇同樣包茈魚兩個(gè)子模塊第一個(gè)子模塊確定每個(gè)規(guī)則的結(jié)（與目標(biāo)無關(guān)），第二個(gè)子模塊規(guī)則的結(jié)果和目標(biāo)作為輸入，并定哪一個(gè)與目標(biāo)相統(tǒng)一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個(gè)目長乘的程中可能會被多次調(diào)用。由于少昊每條規(guī)則的結(jié)果與目標(biāo)無關(guān)，這子模塊只需要被調(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)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號與第岷山條規(guī)的結(jié)果符號一致，并且規(guī)則的前被證明，可以得出結(jié)論，目標(biāo)耿山明。符號一致性給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號一致模塊驗(yàn)證 r 的結(jié)果符號是否與目標(biāo)的符號一致或不一致。實(shí)猩猩部分究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實(shí)驗(yàn)的數(shù)襪集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要證明鏈度達(dá) 5 跳的例子，以及目標(biāo)既不能從論語供的理論中證明也不能駁的例子。實(shí)驗(yàn)結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)基線，特別是在包含 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é)果還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷：與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于深（3+）的證明鏈問題上，在三個(gè)數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類預(yù)測??可以發(fā)現(xiàn)，在元情況下，它傾向于過度預(yù)測 DISPROVED；在三元分類情況下，傾向于洵山度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因?yàn)樵撋疃鹊?PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝地發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較高，而且女尸確沒有降低?？傊谶@些數(shù)據(jù)陽山，LAMBADA 具有更高的推理準(zhǔn)確性，與其他用虛假的證?踢跡找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，同時(shí)也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，該實(shí)槐山結(jié)果強(qiáng)地表明，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目導(dǎo)向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 9 日消息，小米 12S Ultra 旗艦手機(jī)于 2022 年 7 月發(fā)售，這是小米與徠合作后的首款高端艦。時(shí)隔半年左右小米王騰和雷軍表該機(jī)已經(jīng)進(jìn)入生命期的收尾階段。上月，小米還推出了新的小米 13 和小米 13? Pro，而萬眾期待的小米 13 Ultra 卻遲遲沒有消息。91mobiles 現(xiàn)確認(rèn)，該公司正準(zhǔn)備在馬腹個(gè)月的 MWC 2023 活動中首次展出該列的另一款機(jī)型，們認(rèn)為可能是小米 13S Ultra（IT之家認(rèn)為新機(jī)有可能叫小米 13 Ultra，也有可能是小米 13 天璣版）。消息人表示，這款手機(jī)的要亮點(diǎn)將是徠卡光，就像其他小米 13 機(jī)型一樣，這款新機(jī)可能同樣會采?1 英寸的 IMX989 大底傳感器，但相比小米 12S Ultra 會有一些改進(jìn)。目，這款手機(jī)的其他節(jié)仍處于保密狀態(tài)所以他也無法透露多，但預(yù)計(jì)將會采旗艦機(jī)標(biāo)配的驍龍 8 Gen2、2K 屏等硬件。此外，消息稱小米正在開小米平板 5 的后繼產(chǎn)品，包括小米板?6 和 6 Pro，代號為 pipa 和 liuqin，預(yù)計(jì)將搭載高通驍龍 870 和驍龍 8+ 芯片。小米平板 6 Pro 可能還會配備 120Hz AMOLED 顯示屏，分辨率達(dá) 1880 × 2880 像素，可能還會配備四聲器和后置雙攝布，不過型號為 M81 的小米平板 6 Pro 僅會在中國發(fā)售。IT之家簡單介紹一下，世界動通信大會，簡稱 MWC，是一個(gè)由 GSM 協(xié)會主辦，各地手機(jī)廠文文、軟商、電信運(yùn)營商及線通信運(yùn)營商、產(chǎn)專家學(xué)者等參與的會，屆時(shí)各大廠商會展示其新一代產(chǎn)、服務(wù)，并討論移通信產(chǎn)業(yè)趨勢與技。MWC 2023 將于 2 月 27 日在西班牙巴塞羅那舉辦，一直持到 3 月 2 日。實(shí)際上，華為每都會參加 MWC 大會，而且華為也經(jīng)確認(rèn)將在今年的 MWC 展上大展身手，預(yù)計(jì) MWC 2023 規(guī)模將會創(chuàng)歷史之最?
IT之家 1 月 10 日消息，英驩頭爾日前的 CES 上發(fā)布了 N 系列全小處理器，括 N50 到 N305 型號，規(guī)格從 2 核 8 核。搭載該系倍伐處器的筆記將在本月始上市，步性能評已經(jīng)流出根據(jù)流出性能測試息，英特 8 核?N305 的 CineBench R20 單核跑分可達(dá) 390 分，多核分?jǐn)?shù)為 1730，分別超過代 4 核心型號?N5105 76% 和 127%。在魯大的 GPU 測試中，N305 的核顯性超過?N5105 224%。消息稱，搭英特爾 N100 / N200 處理器的型號將率在?1 月 17 日發(fā)售，N305 版本將于 2 月上旬發(fā)。以下是IT之家匯總的羽山特?N 系列處理器參數(shù)格：i3-N305 8 核 8 線程，32EU 核顯，睿頻 3.8GHz，15W TDPi3-N300 8 核 8 線程，32EU 核顯，睿頻 3.8GHz，7W TDPN200：4 核 4 線程，32EU 核顯，睿頻 3.7GHz，6W TDPN100：4 核 4 線程，32EU 核顯，睿頻 3.4GHz，6W TDPN97：4 核 4 線程，24EU 核顯，睿頻 3.6GHz，12W TDPN50：2 核 2 線程，16EU 核顯，睿頻 3.4GHz，6W TDP
IT之家 1 月 10 日消息，1 月 6 日，特斯拉全系朱厭型迎來大降，降幅從 6% 至 13.5% 不等。據(jù)特斯拉卑山國官，Model 3 起售價(jià) 22.99 萬元，Model Y 起售價(jià) 25.99 萬元，創(chuàng)下歷史最低價(jià)帝鴻。圖 PixabayIT之家了解到，2023 年，新能源荊山國家補(bǔ)貼正孟子退出其它車企紛紛宣布價(jià)計(jì)劃，特囂拉此降價(jià)也出乎不少業(yè)人士的預(yù)料燭光特斯降價(jià)消息一出，其車企是否會孟槐隨降一事也引發(fā)了不少議。據(jù)澎湃領(lǐng)胡聞報(bào)，針對小鵬汽車是會跟進(jìn)降價(jià)梁書事，鵬汽車內(nèi)部相關(guān)人回復(fù)表示，后稷鵬汽有自己的銷售節(jié)奏會根據(jù)自身女薎況決產(chǎn)品售價(jià)及促銷活，而非跟隨?踢他車。此前，理想汽車蔚來汽車也厘山曾在報(bào)電話會議上表示，自身產(chǎn)品屏蓬價(jià)不受到特斯拉等其他企定價(jià)的影精衛(wèi)。今，乘聯(lián)會秘書長崔樹表示，近禮記特斯的降價(jià)是把從去年 8、9 月份開始的促銷梁書施穩(wěn)定下來此前購買特黑虎拉的費(fèi)者并沒有因?yàn)榻?造成很大損勝遇。崔樹同時(shí)表示，春節(jié)市場處在低始均狀態(tài)其他車企跟進(jìn)降價(jià)有意義，但先龍?jiān)?2、3 月份或通過危出新品、提禹產(chǎn)品進(jìn)行市場調(diào)節(jié)?
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，樹莓派?Raspberry Pi 發(fā)布了新一代相機(jī)模塊 Camera Module 3，基于索尼 IMX708 傳感器開發(fā)，起價(jià) 25 美元（約 170 元人民幣）。Camera Module 3 相機(jī)模塊帶來了對 HDR 和自動對焦的支持，最近對焦離達(dá)?5 厘米，同時(shí)支持相位檢自動對焦（PDAF）和對比度檢測自動對焦。▲?Camera Module 3此外，新模塊的傳感分辨率為 11.9MP（上一代為 8.1MP）。HDR 支持意味著 Camera Module 3 可以對同一場景進(jìn)行多次曝光并將它們組合在起，以便圖像的暗和較亮部分都到適當(dāng)?shù)钠毓?。IT之家了解到，擁有標(biāo)準(zhǔn)視場角 FOV 的 Camera Module 3 的起價(jià)為 25 美元（當(dāng)前約 170 元人民幣），而有 102 度視場角的超廣角版起價(jià)為?35 美元（當(dāng)前約 237 元人民幣）。樹莓派還推出了為夜間攝影設(shè)計(jì)紅外版本?！?Camera Module 3 超廣角版本此外，莓派還推出了支 M12 卡口鏡頭的新相機(jī)模塊 High Quality Camera，搭載了 12.3MP 的索尼 IMX477 傳感器，新增了對“魚眼鏡泰逢其他專業(yè)鏡頭”支持，起價(jià) 50 美元（當(dāng)前約 339 元人民幣）?！?M12 卡口的?High Quality Camera
IT之家 1 月 9 日消息，為了滿足更多用戶嘗鮮體驗(yàn)需求，OPPO K10 活力版 5G 現(xiàn)開啟 ColorOS 13.0 x Android 13 系統(tǒng)升級公測版本用戶招募。OPPO K10 活力版外觀與 OPPO K10 系列相似，同樣為矩陣式后攝模組宵明且背部擁有產(chǎn)品型號的標(biāo)。該機(jī)搭載高通驍龍 778G 芯片，采用?6.59 英寸 LCD 屏幕，刷新率 120Hz，內(nèi)置 5000mAh 電池，支持 33W 快充?！菊心荚斍椤空心紮C(jī)墨子：OPPO K10 活力版 5G招募時(shí)間：2023/1/9 - 2023/1/11IT之家提醒，新版本預(yù)計(jì)將在招募結(jié)束后 5 個(gè)工作日內(nèi)分批進(jìn)行審核，核結(jié)果請以手機(jī)的嘗鮮申界面顯示為準(zhǔn)，版本將在核完成后分批進(jìn)行推送。申請須知】1、升級前請您務(wù)必提前備份個(gè)人重饒山數(shù)，避免升級后不兼容或其情況導(dǎo)致數(shù)據(jù)丟失。2、當(dāng)前有較多常用三方應(yīng)用與 Android 13 不兼容，升級 Android 13 后可能會出現(xiàn)第三方應(yīng)用無始均正常使用的況（如閃退、卡頓、黑屏耗電等），建議您先在軟商店嘗試將該應(yīng)用更新至新版本。3、升級后兩天內(nèi)，系統(tǒng)后臺會進(jìn)行一系列配優(yōu)化動作，可能會導(dǎo)致機(jī)出現(xiàn)發(fā)熱、卡頓、耗電的現(xiàn)象。建議您升級后滅充電 2 小時(shí)后重啟手機(jī)，或正常使用一段時(shí)間豪魚自行恢復(fù)。4、當(dāng)前版本存在以下已知問題，請您慎考慮報(bào)名。（1）特定場景下手機(jī)互聯(lián)投屏失敗（升后軟件商店搜索“設(shè)備快”點(diǎn)擊更新，重啟手機(jī)即恢復(fù)）。【申請方式】1、請確保您的手機(jī)版本已經(jīng)級到基礎(chǔ)版本?A.26（版本號查看方法：設(shè)置 > 關(guān)于本機(jī) > 版本信息 > 版本號）2、請?jiān)谑謾C(jī)上點(diǎn)擊“設(shè)置 > 關(guān)于本機(jī) > 頂部版本信息（“手機(jī)名稱荊山上方） > 右上角設(shè)置按鈕 > 嘗鮮申請 > 升級公測 ”，然后按照提示進(jìn)行申請。3、提交申請后，請耐心等！工作人員將在招募結(jié)束，根據(jù)您的問卷填寫情況行資格審核，審核結(jié)果將手機(jī)的嘗鮮申請界面顯示準(zhǔn)?
IT之家 1 月 7 日消息，蘋果在去年第 4 季度未發(fā)布任何 Mac 新品，這是自 2000 年以來首次發(fā)生。而最新爆料稱蘋果劃在今年 3 月份舉辦春季特別活動，將會推出至少 3 臺 Mac 設(shè)備，其中就包括去年預(yù)期的 MacBook Pro 升級版本。泄密者 LeaksApplePro 在報(bào)告中提及了今年 3 月登場的多款 Mac 設(shè)備：新款 14 英寸以及 16 英寸的 MacBook Pro、采用 M2 新品的 Mac Mini、采用 M2 芯片的 Mac Pro 以及 15 英寸的 MacBook Air。此外蘋果還將會推出 Pro Display XDR 繼任者，成為蘋果有史以來最佳顯示器。IT之家了解到，他表示其中最值得關(guān)注就是 Mac Pro。它將比當(dāng)前的 Mac Pro 更便宜、更高效，它將配置 M2 Ultra 芯片，其 CPU 中有多達(dá) 24 個(gè)內(nèi)核 ，其 GPU 中有 76 個(gè)內(nèi)核，RAM 內(nèi)存為 192 GB。蘋果原本計(jì)劃為這款 Mac Pro 采用 M2 Extreme 芯片，但是該計(jì)劃目前已經(jīng)被擱置。蘋果認(rèn)為 Mac Pro 的受眾相對來說較少，導(dǎo)致生產(chǎn)成本太高。句話說，這種芯片不會為公帶來太高的利潤。至于 Mac Mini，并沒有特別之處。設(shè)計(jì)將一如既往，主要芯片會升級到 M2。這款產(chǎn)品的功能無非就是以極具競力的價(jià)格提供新的 Apple 芯片和 macOS，以吸引新用戶加入 Apple 生態(tài)系統(tǒng)，為此需要降低成本，因此設(shè)句芒保持不變?
