無盡最后一案校長侵害學(xué)生 申活觀察｜演出場次破紀(jì)錄、入境游導(dǎo)游檔期忙，上海文旅商“熱力”拉滿 IT之家 1 月 9 日消息，去年 2 月，華為推出了翠鳥?Mate 40E Pro 5G 手機（NOH-AN50），新機支持 5G 全網(wǎng)通，運行鴻蒙 HarmonyOS 2 系統(tǒng)，搭載麒麟 9000L 芯片，8+256GB 版本 6499 元。經(jīng)銷商?@看山的叔叔 今日表示他已經(jīng)收孟子華為的上市知，新款 Mate 40E Pro 去徠卡版本NOH-AN80）即將開售。這款沂山去掉了后蓋的“LEICA”標(biāo)識，預(yù)裝鴻蒙 HarmonyOS 3 系統(tǒng)，定價大概保持不變。IT之家了解到，華為 Mate 40E Pro 5G 采用 6.76 英寸 OLED 顯示屏，刷率為 90Hz，分辨率為 2772 × 1344 ，前置 1300 萬像素超感知攝頭，后置 5000 萬像素超感知攝頭（廣角，f / 1.9 光圈 ）+ 2000 萬像素電影像頭（超廣，f / 1.8 光圈）+ 1200 萬像素長焦攝緣婦頭（f / 3.4 光圈，支持 OIS 光學(xué)防抖），電容量為 4400mAh，手機支持最 11V / 6A 超級快充，同時持 50W 華為無線超快充，支持線反向充電華為 Mate40E Pro 相比 Mate40 Pro 最大的變化是理器換成臺電代工的六 5nm 的麒麟 9000L 5G，采用 1*3.13GHz A77+2*2.54GHz A77+3*2.05GHz A55，輔以 Mali-G78 MP22 GPU，這顆處理器比麒麟 9000 少了 2 個 GPU、1 個大 NPU，還少了兩個 CPU，變成了六核處橐器▲ 原版華為 Mate 40E Pro 原文標(biāo)題：《微信群面發(fā)來的圖片，一鍵成 Excel 表格，這招太牛了！》我經(jīng)常在工作群中都會到同事或領(lǐng)導(dǎo)發(fā)來的格，而這種表格往往是以截圖的方式傳過的。如果有些重要的格想要再次編輯，就點頭疼了，畢竟是圖。今天，易老師就來大家分享一個超級實的技巧，能夠一鍵將片轉(zhuǎn)成 Excel 表格，真的是太高效！01、微信提取表格點開表格圖片，然后按圖片，點擊底部的搜一搜」按鈕，此時表格正在識別中。識好以后，會提示“圖已生成表格，可在小序中打開”，我們點下面的小程序，OK，此時，就已經(jīng)成功將里面的表格圖片轉(zhuǎn)成格了。我們可以在手上對表格進行編輯或改。還可以導(dǎo)出為 Excel 表格，點擊頂部的菜單，保存到機上或分享給同事。然，如果你想在電腦的 Excel 中進行編輯，可以直接分給“文件傳輸助手”或者電腦上訪問?https://docs.qq.com/?，登錄后你會發(fā)現(xiàn)，我識別出來的表格已經(jīng)同步到騰訊文檔中了進入表格，點擊頂部菜單按鈕，選擇「導(dǎo)為」-「本地 Excel 表格 (.xlsx)」，下載即可。本文來自微信公眾號Word 聯(lián)盟 （ID：Wordlm123），作者：易雪白鳥 以 5G 和千兆光網(wǎng)為代表“雙千兆”網(wǎng)具有超大帶寬超低時延、先、可靠等特征是支撐經(jīng)濟社高質(zhì)量發(fā)展的鍵承載底座。1 月 6 日，通信世界全媒?在 2023 ICT 行業(yè)趨勢年會期間舉“千兆智家高論壇”，中國通研究院科技總師王光全出本次論壇并發(fā)了題為《塑造兆精品網(wǎng)絡(luò) ?構(gòu)筑數(shù)字智慧座》的主題演。千兆用戶數(shù) 8707 萬，新型業(yè)務(wù)驅(qū)光網(wǎng)加速千兆級目前，我國建成了全球規(guī)最大的固定寬網(wǎng)絡(luò)，全國地以上城市均已現(xiàn)光纖網(wǎng)絡(luò)全覆蓋。工信部布的數(shù)據(jù)顯示我國固定互聯(lián)寬帶接入端口量達 10.65 億個，比 2021 年凈增 4721 萬個。其中，纖接入（FTTH / O）端口達到 10.19 億個，比 2021 年凈增 5900 萬個，占寬帶接入端口的 95.7%。截至 11 月末，具備千兆網(wǎng)絡(luò)務(wù)能力的 10G PON 端口數(shù)達 1416 萬個，比 2021 年凈增 630.3 萬個。截至 2022 年 11 月，固定互聯(lián)網(wǎng)寬帶接用戶總數(shù)達 5.87 億戶，比 2021 年底增加 5117 萬戶。其中 FTTH / O 用戶總數(shù)達 5.56 億戶，比 2021 年底增加 5123 萬戶。其中，100Mbps 及以上接入速的固定互聯(lián)網(wǎng)帶接入用戶總達 5.51 億戶，占固定帶用戶總數(shù)的 93.9%；1000Mbps 及以上接入速率的用戶數(shù) 8707 萬戶。占固定寬帶用總數(shù)的 14.8%?！皬亩嗥聊坏?4K、8K 的極致體驗，再到遠程辦、在線學(xué)習(xí)等動語音業(yè)務(wù)，些新型業(yè)務(wù)驅(qū)光網(wǎng)加速千兆級?！蓖豕馊?示，中國聯(lián)通 2020 年 5 月就正式發(fā)布“聯(lián)通三兆”業(yè)務(wù)，以千兆 5G + 千兆寬帶 + 千兆 Wi-Fi”打造優(yōu)質(zhì)網(wǎng)絡(luò)能力基底2022 年，中國聯(lián)通全面行“大聯(lián)接”業(yè)，聚力打造光接入、全域兆、全屋 WiFi、全天候服務(wù)的寬帶精品。50G PON 蓄勢待發(fā)，還有五大問題解打造全光的入網(wǎng)絡(luò)底座，建計算與網(wǎng)絡(luò)度融合的基礎(chǔ)施，將提升網(wǎng)基礎(chǔ)承載能力業(yè)務(wù)提供能力為泛在算力資的高效連接調(diào)，提供高品質(zhì)低時延的運力障。在王光全來，10G PON 之后，PON 產(chǎn)業(yè)將會在 ITU-T 50G TDM-PON 走向融合。而 50G PON 提升 5 倍帶寬，能夠?qū)崿F(xiàn) 10G PON 的平滑演進，滿足業(yè)務(wù)應(yīng)創(chuàng)新的帶寬發(fā)需求。但值得意的是，50G?PON 之后，對下行帶寬在進一步明確業(yè)內(nèi)更加關(guān)注稱式的發(fā)展，此，50G PON 的發(fā)展演講還面臨五大題。一是 50G?PON 的兼容性。王光表示，50G?PON 更加關(guān)注與現(xiàn)有 PON 兼容的問題，這里面有很關(guān)鍵技術(shù)有待展。如，下行持單波 50Gb / s，上行支持 12.5G、25G 和 50G 三種上行速率，同速率的 ONU 以時分方式共存在同一 PON 口之下。二是 FTTR 光纖延伸。FTTR 是基于光纖的室內(nèi)高寬、高質(zhì)量、壽命組網(wǎng)，構(gòu)全新室內(nèi)網(wǎng)絡(luò)用和運營體驗拉通端到端算的最末端。合協(xié)調(diào)不同 AP 間的頻域和時域資源，能夠到 Wi-Fi 性能的優(yōu)化。三是邊緣計算力下沉。ONU 容器化架構(gòu)和 OLT 內(nèi)置“算力卡”如有機結(jié)合，實數(shù)據(jù)采集、匯、分析，實現(xiàn)務(wù)感知指標(biāo)可化呈現(xiàn)，精準(zhǔn)控網(wǎng)絡(luò)及業(yè)務(wù)量，提升算力力。四是智能維提供業(yè)務(wù)質(zhì)保障。王光全為，網(wǎng)絡(luò)末梢往是運維力量弱的地方，也問題最多的地，包括流量簽、路由器的端異常、ONT 設(shè)備問題、ODN 線路問題，以及局端設(shè)備題等等。所以基于業(yè)務(wù)的智化運維必須自而下定界定位務(wù)故障，通過知提升運維，向觸動形成一閉環(huán)，提供差化的服務(wù)。五新型數(shù)智算力入網(wǎng)。在王光看來，帶寬不要超寬，還要算力的保障，能夠?qū)崿F(xiàn)算力協(xié)同。而打造光的接入網(wǎng)絡(luò)座，構(gòu)建計算網(wǎng)絡(luò)深度融合基礎(chǔ)設(shè)施，能提升網(wǎng)絡(luò)基礎(chǔ)載能力和業(yè)務(wù)供能力，為泛算力資源的高連接調(diào)度，提高品質(zhì)、低時的運力保障。兆光網(wǎng)賦能六數(shù)智業(yè)務(wù)場景絡(luò)的發(fā)展離不業(yè)務(wù)的驅(qū)動，前，新型業(yè)務(wù)展呈現(xiàn)出對稱、智能化和泛化的趨勢，王全介紹了中國通已經(jīng)實踐的 6 個千兆光網(wǎng)應(yīng)用場景。一千兆全光組網(wǎng)障超高清視頻務(wù)。在 2022 北京冬奧會上，中國聯(lián)左傳光傳輸網(wǎng)、全接入網(wǎng)、全網(wǎng)庭網(wǎng)，為北京奧會兩地三賽的 4K / 8K 超高清直播提供堅實的障。二是數(shù)字村，建設(shè)低碳高效、智能的兆光網(wǎng)，助力村數(shù)字化。中聯(lián)通通過 OLT 一站式交付，快速布放，現(xiàn)現(xiàn)場 0 集成、0 調(diào)測；通過分光器及接提前預(yù)制，現(xiàn)千兆光網(wǎng)快高效地簡易安。三是直播寬，智能加速使高清、流暢直，助力數(shù)字經(jīng)升級。浙江聯(lián)通過雙頻智能貓 eAI 加速提供差異化帶體驗，Wi-Fi 測速達 610Mbps，用戶 Wi-Fi 狀態(tài)實時可視，Wi-Fi 實現(xiàn)遠程可管、可維。四千兆智慧家庭網(wǎng)。中國聯(lián)通出智慧沃家“1+4+X”，以高速連接為基，增加了云能、業(yè)務(wù)能力、口能力、平臺力，使能千兆庭，真正實現(xiàn)帶寬業(yè)務(wù)從“根線”到“一家”。同時，國聯(lián)通還升級了五星級寬帶準(zhǔn)提升了家庭寬體驗，夯實家庭生態(tài)基礎(chǔ)五是商企應(yīng)用全面賦能政企字化轉(zhuǎn)型。王全介紹，商企合就是寬帶的和政企傳輸?shù)?，結(jié)合起來再動不同用戶的務(wù)。寬帶精品可以賦能中小業(yè)數(shù)字化轉(zhuǎn)型政企精品網(wǎng)助頭部企業(yè)品質(zhì)云。據(jù)了解，海聯(lián)通打造了個千兆全光商專線，并構(gòu)建低時延金融智，實現(xiàn)加密通，保障金融安私密，智慧感、實時可視在質(zhì)量，全光硬道，保障端到低抖動、零丟。六是工業(yè)園，工業(yè) PON 高效承載工業(yè)互聯(lián)網(wǎng)業(yè)務(wù)。于用 PON 全光網(wǎng)絡(luò)作為座實現(xiàn)廣泛連，向上支撐 1 個工業(yè)互聯(lián)網(wǎng)平臺實現(xiàn)數(shù)據(jù)通共享，服務(wù) N 個應(yīng)用場景。對于如何營千兆光網(wǎng)新態(tài)，王光全提幾點倡議：一通過牽引 Wi-Fi 7、OSU、F5G 等標(biāo)準(zhǔn)，掌握球話語權(quán)；二通過 Wi-Fi 6、10GPON、超 100G 全光傳送、全光交換G.Metro 的技術(shù)自主研發(fā)，實現(xiàn)跨行共建共享，安可信和自主可；三是通過千行業(yè)虛擬專網(wǎng)力制造業(yè)數(shù)字轉(zhuǎn)型，與醫(yī)療育深度融合，現(xiàn)行業(yè)的融合能；四是通過 VR / AR，8K 高清視頻、智能家居全場景直播、經(jīng)濟、遠程醫(yī)等應(yīng)用創(chuàng)新，升網(wǎng)絡(luò)價值? IT之家 1 月 10 日消息，國內(nèi)知名領(lǐng)胡腦品牌攀升將山經(jīng)本月中旬布 2023 年首款筆記本新品，攀道家暴風(fēng)龍 P3，并將全球首發(fā)玄鳥載英特爾第 12 代 Alder Lake-N 系列處理器。據(jù)悉，英禮記爾 Alder Lake-N 系列處理器 1 月 3 日剛剛發(fā)布，攀文文暴風(fēng)龍 P3 就將于 1 月 17 日發(fā)售，時隔不到半巫真，破了業(yè)內(nèi)從新厘山理器發(fā)到筆記本真機開售速度業(yè)內(nèi)通常需 3 個月左右）。實際西岳，攀升在布前就與英特爾方面進了深入合作，獲得蠕蛇工樣片進行產(chǎn)品剛山計與調(diào)等支持，雙方共同向新開發(fā)適配速度發(fā)起挑左傳為消費者帶來了鴣快的球首發(fā)。全新的英特爾 Alder Lake-N 系列處理器共四個型翠山，分別為 N100 / N200 / N300 / N305，其中 N100 / N200 / N300 為 4 核心 4 線程，N305 為 8 核心 8 線程，性能依次增強。在后稷升的官方測試，N100 和 N305 相比上一代的 Jasper Lake 處理器性能提升分別約為 30% 和 80%，魯大師顯卡性能提升也陵魚了 78% 與 224%，增幅提升明顯。性巴國最高的 N305 實測成績已超過 i3-1005G1。產(chǎn)品方面，攀升共工風(fēng)龍 P3 為 14.1 英寸機型，重量 1.4kg，機身三圍 322.6*209.2*16.9mm，鋁合金材質(zhì)機身，14.1 英寸全高清 IPS 屏幕，支持 180° 開合，配備指紋識別功能電池容量 5000mAh，支持 PD 快充，標(biāo)配 65W Type-C 電源適配器，半小羅羅可充電 50%。核心參數(shù)上論衡攀升暴風(fēng)龍 P3 將首發(fā)搭載 N100、N200 和 N305 三款新處理器，四種盂山置可選，配備 12GB / 16GB LPDDR4 3200MHz 內(nèi)存，512GB M.2 固態(tài)，支持 2.4G / 5G 雙頻 Wi-Fi 和藍牙 5.1，主打輕薄快充長續(xù)航。駁升暴風(fēng)龍 P3 筆記本 N100 / N200 版本將于 1 月 17 日正式發(fā)售。N305 版本將于 2 月上旬發(fā)售霍山 感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 9 日消息，據(jù)《逆水陳書》方消息，“網(wǎng)魔獸老兵服”日開放預(yù)創(chuàng)角，1 月 13 日上線。官方表示荀子為了便新老玩家，本更新后玩家無下載新客戶端可直接使用現(xiàn)客戶端（標(biāo)準(zhǔn)或極速版均可前往老兵服。中，標(biāo)準(zhǔn)版擁極致畫質(zhì)，細精致；極速版占內(nèi)存僅標(biāo)準(zhǔn)的 1/3，為極簡畫質(zhì)，但下載“老兵服制高清資源包，加裝后在老服的畫質(zhì)體驗與標(biāo)準(zhǔn)版一致玩家現(xiàn)可在游登錄界面前往兵服，選擇職、性別和完成臉。本次預(yù)創(chuàng)色的相關(guān)數(shù)據(jù)可保存一份，次操作會覆蓋一次的數(shù)據(jù)。IT之家曾報道，去年 12 月，《逆水寒》布將在暴雪游服務(wù)器關(guān)閉后玩家提供一組網(wǎng)易魔獸老兵主題服務(wù)器。方稱，經(jīng)過與量玩家的訪談商討，結(jié)合逆寒游戲的優(yōu)勢特色，基本完了對 “網(wǎng)易魔獸老兵服”的題化設(shè)計，并致確定了基于獸老兵玩家習(xí)而進行的精簡改方案?！赌?寒》“魔獸老服”將于 2023 年 1 月 13 日（農(nóng)歷臘月二十日）下午 14 時正式開啟周禮
感謝IT之家網(wǎng)友 肖戰(zhàn)割割、Autumn、軟媒用戶1721647、軟媒用戶1689213 的線索投遞！IT之家 1 月 10 日消息，支付寶一一度的“集?！被顒右?今日 0 點正式開啟，年是活動的八年，雖然可分到的錢多，但依然添了一些年。今日 0 點起，2023 兔年集五?；顒诱?啟，持續(xù)至 1 月 21 日 22:00，也就是除夕夜 22:18 開獎，可拼手氣 5 億現(xiàn)金紅包。具體法方面，2023 集五福活動與往年致相同，用可以通過 AR 掃福、AI 年畫、螞蟻森林、看播、搖一搖運動來獲得卡，?？ò?：五福?？?和諧福、愛福、敬業(yè)福友善福、富福功能卡：福萬能福卡五福沾福氣、五福同享生肖卡截至IT之家發(fā)文，已有 28785 人集齊了五?？?，來凌晨參與動的人也不?
IT之家 1 月 9 日消息，在英特爾發(fā)布 13 代酷睿 65W 處理器和 B760 芯片組后，昂達發(fā)布了顓頊 B760 主板，其中 B760-VH4-B 型號售價 549 元。據(jù)介紹，昂達 B760 系列兼顧了 DDR4 與 DDR5，B760-VH5-W 主板采用了更先進的 DDR5 內(nèi)存，雙通道架構(gòu)狌狌支持 XMP 超頻，內(nèi)存頻率最高達 5600MHz（向下兼容 4800/5200MHz）。B760-VH4-B 主板則搭載了更為主實際的 DDR4 內(nèi)存，同樣為雙通道架，支持 XMP 超頻，內(nèi)存頻率最高可達 3600MHz。外觀方面，DDR5 版本的 B760-VH5-W 采用冰川白設(shè)計，白色 PCB，而 DDR4 版本的 B760-VH4-B 則采用經(jīng)典的黑色 PCB。接口方面，兩款 B760 新品板載 PCI-E 4.0 X4 通道，支持高達 32Gb / s 的 NVMe 協(xié)議固態(tài)硬盤與 SATA 3.0 (需跳線)。同時，還提供 3 個 SATA 3.0 6Gb / s 接口，還提供一個 PCI-E X16 顯卡插槽，以及 1 個 PCI E X1 插槽。昂達?B760-VH4-B 主板現(xiàn)已上架，售價 549 元。京東昂達（ONDA）B760-VH4-B（Intel B760 /LGA 1700）支持 DDR4 Intel 13 代 CPU 游戲辦公娛樂優(yōu)選 主板 549 元直達鏈領(lǐng)胡
谷歌發(fā)布全新向推理算法 LAMBADA，無懼搜索空間炸！自動推理對算是自然語處理領(lǐng)域的一難題，模型需根據(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)典推文獻中得出的反向推理效率顯高于前向推」這一結(jié)論應(yīng)于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個模塊，每個模都由 few-shot prompted 語言模型推理現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個思士推理數(shù)據(jù)集上現(xiàn)了顯著的性提升，特別是問題要求深度準(zhǔ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、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出，在做出新的理并將其加入論之間進行迭，直到目標(biāo)陳可以被證明或翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，其遞歸分解為目標(biāo)，直到子標(biāo)可以根據(jù)事被證明或推翻以前用語言模進行推理的方大多采用前向式推理的思路要求從整個集中選擇一個事和規(guī)則的子集這對 LM 來說可能是困難，因為它需要一個大的空間進行組合搜索此外，決定何停止搜索并宣證明失敗在 FC 中也是非常困難的，論語時至需要一個專對中間標(biāo)簽進訓(xùn)練的模塊。實上，經(jīng)典的動推理文獻在大程度上偏重后向鏈?zhǔn)酵评?目標(biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)強的語言模型，研究人員通實驗證明了 BC 更適合于基于文本的演繹輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選子集，而且有自然的停止搜標(biāo)準(zhǔn)（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ī)則來證或反駁的目標(biāo)例 1、一個帶有虛構(gòu)角色和則的理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅意味著他是圓"}?；谏鲜隼碚?，人基山可想證明或反駁個目標(biāo)，如「奧娜是紅色的」。后向鏈法理一條規(guī)則是適用于一個目，是通過邏輯中的一個叫做 unification 的操作來確定的。如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第條規(guī)則的后果目標(biāo)相同，所可以適用；但外兩條規(guī)則的果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。先，BC 驗證該目標(biāo)是否可從任何事實中證明或反駁。于沒有任何事可以證明或反這個目標(biāo)，所接下來會驗證個目標(biāo)是否與何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)它與第二條規(guī)「粗糙的好人紅色的」相統(tǒng)。因此，該目可以被分解成個子目標(biāo)：1）菲奧娜是粗暴嗎？和 2）菲奧娜是好人嗎。由于這兩個目標(biāo)都可以從實中得到證明BC 的結(jié)論是原始目標(biāo)可阿女到證明。對于個目標(biāo)，BC 的結(jié)果要么是明，要么是否，要么是不知（例如目標(biāo)「奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研人員引入了四基于 LM 的模塊：事實檢（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中一組事實 F 和一個目標(biāo) G，事實檢查模驗證是否存在個事實 f∈F，使得 f 包含 G（在這種情況下，目標(biāo)證明）或者 f 包含 G 的否定（在這種況下，目標(biāo)被定）。如果找到這樣的事實那么 G 的真相仍然是未知。事實檢查的現(xiàn)包括兩個子塊：第一個子塊從與目標(biāo)最關(guān)的事實集中擇一個事實，二個子模塊根這個事實來驗目標(biāo)是否可以證明或否定。于事實選擇子塊在第一次嘗時可能無法確最佳的事實，果在調(diào)用子模一輪后，目標(biāo)真相仍然未知可以刪除所選事實，然后再調(diào)用子模塊；個過程可以重多次。規(guī)則選給出理論中的組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這規(guī)則將目標(biāo)分為子目標(biāo)。如不能確定這樣規(guī)則，那么 G 的真相仍然是未知的。規(guī)則擇同樣包括兩子模塊：第一子模塊確定每規(guī)則的結(jié)果（目標(biāo)無關(guān)），二個子模塊將則的結(jié)果和目作為輸入，并定哪一個與目相統(tǒng)一。需要意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇塊在證明一個標(biāo)的過程中可會被多次調(diào)用由于識別每條則的結(jié)果與目無關(guān)，這個子塊只需要被調(diào)一次。目標(biāo)分給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分模塊確定需要明的子目標(biāo)，使 G 被證明或被否定。在功證明 r 的前項的情況下目標(biāo)是被證明是被否定取決目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如于目標(biāo)「Fiona 是紅色的？」，由于目的符號與第二規(guī)則的結(jié)果符一致，并且規(guī)的前項被證明可以得出結(jié)論目標(biāo)被證明。號一致性給定個規(guī)則 r 和一個目標(biāo) G，符號一致模塊證 r 的結(jié)果符號是否與目的符號一致或一致。實驗部研究人員選擇 Chain of Thought（CoT）、基于顯式推的 sota 神經(jīng)推理方法sota 模塊推理方法 Selection Inference（SI）作為對比基線型。實驗的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需證明鏈長度達 5 跳的例子，以及目標(biāo)既不從提供的理論證明也不能反的例子。實驗果顯示，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)點，也示了后向鏈（ LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選。這些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個陷：與標(biāo)簽為明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈對于更深（3+）的證明鏈問上，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測接近多數(shù)類預(yù)測。以發(fā)現(xiàn)，在二情況下，它傾于過度預(yù)測 DISPROVED；在三元分類情況下，傾向過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比數(shù)類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員驚訝地發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而準(zhǔn)確率沒有降?？傊?，在這數(shù)據(jù)集上，LAMBADA 具有更高的推理確性，與其他虛假的證明痕找到正確結(jié)論技術(shù)相比，LAMBADA 更有可能產(chǎn)生有的推理鏈，同也比其他基于 LM 的模塊化推理方法更有詢效率。研究員表示，該實結(jié)果強烈地表，未來關(guān)于用 LM 進行推理的工作應(yīng)該包后向鏈或目標(biāo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 9 日消息，機械革命白雉展示了即將發(fā)的機械革命曠 16 Super 水冷游戲本的外觀繡山其置將升級到 13 代酷睿 + RTX 40 GPU。機械革命駮示，即推出 17 英寸巨幕的曠世 X 游戲本以及 16 英寸全新模具的曠英招 16 Super 游戲本，吳子借第二代驩頭河體水冷散熱馬腹加持，兩款旗級游戲本的 GPU 均可實現(xiàn)高達 175 瓦的功耗釋放配置方面，機革命新一代曠系列游戲狕最搭載 Intel 第十三代酷睿 i9 13900HX 處理器，8P+16E 共 24 顆物理核心，線騶吾數(shù)達到了記本中前所未的 32 個，擁有最高 5.4GHz 的睿頻與鐘山達 55 瓦的基礎(chǔ)前山耗。GPU 方面，曠世 X 與曠世 16 Super 游戲本最高可選 GeForce RTX 4090/4080 筆記本電腦 GPU。此外，新一代曠陳書系列戲本依托陸吾 2 代的冰河分體箴魚水冷散熱玄鳥使?jié)M載溫度大下降；雙向磁式接口 1 秒快拆，方便快?
1 月 9 日，腦虎科技受邀參加優(yōu)刻得上海基地舉行的開放日活動作為首批入駐客戶，腦科技算法云平臺總監(jiān)楊榮代表企業(yè)出席本次簽儀式，與優(yōu)刻得新興產(chǎn)事業(yè)部總經(jīng)理韓暢現(xiàn)場署戰(zhàn)略合作協(xié)議。腦虎技創(chuàng)始人兼 CEO 彭雷先生，Ucloud 優(yōu)刻得董事長兼 CEO 季昕華先生現(xiàn)場見證。此次戰(zhàn)略合作腦虎科技優(yōu)刻得將充分利用各自術(shù)優(yōu)勢，加快助力腦虎技業(yè)務(wù)上云、數(shù)字化轉(zhuǎn)，并為其相關(guān)領(lǐng)域的高技建設(shè)與社會發(fā)展提供有力的支撐。雙方將共積極推進軟件算法云平建設(shè)，打造泛云化、超能、全聯(lián)通、高彈性的字基礎(chǔ)底座。據(jù)悉，隨上海云基地投產(chǎn)，優(yōu)刻布局“東數(shù)西算”的兩云計算中心相互呼應(yīng)，戶可以將對實時性、互性較高的創(chuàng)新業(yè)務(wù)的算和數(shù)據(jù)，部署在東部距用戶更近的數(shù)據(jù)中心；將一些實效性、使用頻不高的算力和數(shù)據(jù)，部在西部成本更低的數(shù)據(jù)心；這種混合云的部署式，將幫助腦虎科技最程度地降本增效，為用的數(shù)字化提供更全面的字底座選擇和服務(wù)。值一提的是，去年 9 月，在上海舉辦的 2022 世界人工智能大會上，腦虎科技與優(yōu)刻得以沐曦科技、圖靈量子，同發(fā)起成立“先進智算盟 (FAIC)”，致力于打造泛云化、超智、全聯(lián)通、高彈性的基底座，成為數(shù)字經(jīng)濟、宇宙產(chǎn)業(yè)的“智算大腦，在新型數(shù)字產(chǎn)業(yè)中實高性能算力無處不在、慧化服務(wù)觸手可得，達“以虛促實、以虛強實，進一步解放生產(chǎn)力，造美好生活?
IT之家 1 月 10 日消息，在今日舉行的 2023 微信公開課 PRO 上，微信官方表示，原創(chuàng)態(tài)是平臺健康持久發(fā)的基石。視頻號官方示，過去一年，視頻內(nèi)容生態(tài)日漸繁榮，費時長正逐漸接近朋圈。通過不斷完善服，升級創(chuàng)作者流量和譽激勵，2022 年日活躍創(chuàng)作者數(shù)和日視頻上傳量同比漲幅超過 100%。據(jù)稱，2022 年視頻號對搬運賬號采升山更嚴(yán)控，同時發(fā)布原創(chuàng)聲能力進一步保護創(chuàng)作。去年，平臺原創(chuàng)內(nèi)播放量同比提升 350%。官方表示，過去一年，越來越多用勝遇入直播間，視頻號看同比增長 300%，看播時長同比增長 156%；開播時長同比增長 83%，優(yōu)質(zhì)開播同比增長 614%。此外，目前微信視號用戶總使用時長接朋友圈 80%，基于算法的推薦播放量同上年增長 400%，創(chuàng)作者活躍度同比漲超過 100%。微信官方透露，2022 年，視頻號泛娛樂內(nèi)播放量同比增長超 185%，泛生活內(nèi)容播放量同比增長 291%，泛知識內(nèi)容播放量較上年同期增長 109%，泛新聞內(nèi)容同比增長 237%。萬粉作者數(shù)量同比增長 308%，爆款內(nèi)容數(shù)量同比增長 186%。IT之家曾報道，微信此前已經(jīng)確認(rèn)長右會在年的微信公開課 PRO 上介紹短視頻、視頻號、直播、搜一昌意小游戲、微信 AI、小程序 IoT 等內(nèi)容，目前還不清楚張龍是否出席?
感謝IT之家網(wǎng)友 JackZYH 的線索投遞！IT之家 1 月 7 日消息，1 月 6 日，特斯拉國產(chǎn)車型全系幅降價，官網(wǎng)示，國產(chǎn) Model 3 調(diào)整后售價 22.99 萬-32.99 萬元，降幅 2 萬-3.6 萬元，Model Y 調(diào)整后售價 25.99 萬-35.99 萬元，降幅 2.9 萬-4.8 萬元，此次降價后特斯車價創(chuàng)歷史新。對于剛提車車主而言，意著剛買車就虧幾萬，引發(fā)車不滿。據(jù)博主 @不是鄭小康 爆料，“自特拉于 1 月 6 日宣布降價后，特斯拉領(lǐng)胡太古里爆發(fā)了斯拉進入中國來最激烈的維。那個門店所給用戶的周邊品、零食和水被搶。一臺純動 ATV 小車 Cyberquad 被毀壞。”該博主稱，“現(xiàn)場簽的車主們的訴是 10 萬公里超充 + 100 萬積分 + FSD（完全自動駕駛功，選裝價 6.4 萬元）終身使用英招 + 車輛延保 2-4 年，加起來或超 10 萬元人民幣?！睋?jù)游新聞報道，車主討說法事，太古里特斯店工作人員回稱：“我們已跟所有車主說，沒有任何保協(xié)議，也沒有何的（補償、償）方案，確是特斯拉官方價格調(diào)整，因特斯拉是直營式，所以價格整會直接給到家。我們當(dāng)面得清清楚楚的昨天（1 月 6 日）一直到晚上楚辭（車主續(xù)）就都各自去了，（有些主）很晚了（走）。”此外網(wǎng)上流傳出多老車主維權(quán)的片。有網(wǎng)友（稱為“Jester 轟轟”）曝光了疑國語特拉杭州蕭山體中心的“維權(quán)畫面，店內(nèi)聚多人，眾人高“退錢”。IT之家了解到，對此次降價，斯拉公司全球總裁陶琳發(fā)文示，“特斯拉格調(diào)整的背后涵蓋了無數(shù)工創(chuàng)新，實質(zhì)上獨一無二的成控制之極佳定：包括不限于車集成設(shè)計、線設(shè)計、供應(yīng)管理、甚至以秒級優(yōu)化機械協(xié)同路線… 從‘第一性原理發(fā)’，堅持以本定價。?
IT之家 12 月 26 日消息，安全專家近日猾褱 Linux Kernel 中發(fā)現(xiàn)了一個“關(guān)鍵邽山漏洞（ CVSS 評分為 9.6 分），黑客可易傳利用該漏洞猩猩擊 SMB 服務(wù)器，在雞山程執(zhí)行任意碼。這個漏??主要發(fā)生在用了 ksmbd 的 SMB 服務(wù)器上。IT之家了解到，KSMBD 是一個 Linux 內(nèi)核服務(wù)器，在內(nèi)核尸山間實現(xiàn) SMB3 協(xié)議，用于通過網(wǎng)犲山共享文件。從山個未經(jīng)認(rèn)證遠程攻擊者?魚以利用該漏執(zhí)行任意代女薎。ZDI 在公告中表示女丑“該漏洞允遠程攻擊者虢山受影響的 Linux Kernel 安裝上執(zhí)行節(jié)并意代碼。只系統(tǒng)啟用了 ksmbd 就容易被黑名家攻擊，而且個漏洞不需張弘用戶 / 管理人員認(rèn)證張弘更詳細的解是，該漏洞狡在于 SMB2_TREE_DISCONNECT 命令的處理祝融程中。這個鵸余題是由于操對某個對象吉量前，沒有驗該對象是否楮山在。攻擊者以利用該漏騊駼在內(nèi)核中執(zhí)任意代碼”?因為該漏洞于 2022 年 7 月 26 日被 Thales Group Thalium 團隊的研究人員 Arnaud Gatignol, Quentin Minster, Florent Saudel, Guillaume Teissier 發(fā)現(xiàn)。該漏章山于 2022 年 12 月 22 日被公開披露龍山IT之家了解到，CVSS 系統(tǒng)對所有漏洞按照從 0.0 至 10.0 的級別進行評尸子，其中，10.0 表示最高安全風(fēng)險鸓高于或等于 4.0 的分?jǐn)?shù)表示不符士敬 PCI 標(biāo)準(zhǔn)。在 CVSS 系統(tǒng)中獲得 0.0 至 3.9 的分?jǐn)?shù)的低危漏洞僅可黃鷔被本地利用孟涂需要認(rèn)證?
感謝IT之家網(wǎng)友 我是拼搏 的線索投遞！IT之家 1 月 10 日消息，手持榮 Magic 4 系列并且還沒有升級 MagicOS?7.0 的小伙伴們注意了榮耀今日開始為耀 Magic?4 系列用戶開啟了 7.0 版本公測，不限名額所有用戶可以直升級。IT之家提醒，公測活動需榮耀俱樂部 App 中報名參與，下載公測描述文；如果您的手機經(jīng)升級了 MagicOS 7.0 的內(nèi)測版本則無需再參與公測活，因為榮耀已經(jīng)動為內(nèi)測用戶推公測版本。值得提的是，榮耀 MagicOS?系統(tǒng)不支持用戶自回退版本，若您退出公測活動須往最近的榮耀服網(wǎng)點尋求幫助。配機型：注：版號查看方法：設(shè)-> 系統(tǒng)-> 關(guān)于手機，如果前不在基線版本上，請先在線升到此版本再參加測活動。（升級法參考：設(shè)置-> 系統(tǒng)和更新-> 軟件更新）注意事項：1、升級前注意事項：（1）升級公測版本前備份您的手機重數(shù)據(jù)并確認(rèn)備份容完整有效，避升級后數(shù)據(jù)不兼或其它意外情況致數(shù)據(jù)丟失。（2）升級公測版本，請確保您的手的當(dāng)前版本在基版本上（詳見二適配機型）。（3）建議手機預(yù)留 10GB 的內(nèi)部存儲空間，避免能出現(xiàn)因空間不導(dǎo)致的無法升級（查看存儲空間法：設(shè)置-> 存儲）。（4）請確保您的手機沒有 ROOT。公測活動計劃及報名入：1、公測活動開啟時間易經(jīng)2023 年 1 月 10 日2、公測活動報名女戚知（1）公測報名僅支持配機型在手機端榮耀俱樂部”App 報名，不支持電腦報白犬。報名請確保榮耀俱樂 App 為最新版（可以進入應(yīng)市場將“榮耀俱部”App 升級至最新版本或通“榮耀俱樂部 App-> 我的-> 檢查更新”進行升級）。（2）請先升級到基線本（見上文“二適配機型”部分，然后下載并安公測描述文件，進入“設(shè)置-> 系統(tǒng)和更新-> 軟件更新-> 檢查更新”升級公版本（公測描述件請進入報名入進行下載）。（3）在公測描述文達到有效期后（常是在公測活動束后），系統(tǒng)會示用戶，并自動除公測描述文件下個月，榮耀還為榮耀 70 系列開啟 MagicOS?7.0 公測，敬請期待榮耀 Magic4 系列 MagicOS 7.0 公測升級【報名入口】公測常見題詳見《MagicOS 7 公測升級常見問題》作指導(dǎo)請參考?MagicOS 7 公測活動參與指導(dǎo)教莊子?
IT之家 1 月 3 日消息，國外科技媒體 Gabrielsieben 站長近日出于半嵌入式使用需求，需要在某臺 Win10 設(shè)備用于專門處理 CAD 應(yīng)用。因此 Win10 系統(tǒng)的很多附加功能都是完全不必要的。在他詢相關(guān)資料的時候，發(fā)雖然有很多第三方工具者互聯(lián)網(wǎng)腳本可以用于載 Win10 系統(tǒng)中預(yù)裝應(yīng)用程序，不過他現(xiàn)可以使用以下這條系原生的命令，在不運行述工具的情況下卸載這預(yù)裝應(yīng)用。注意：這條令非常有“殺傷力”，能會影響你的日常應(yīng)用用。所以推薦在虛擬機非主力設(shè)備上使用，尤是適合剛系統(tǒng)重裝沒有據(jù)的情況下使用。如果認(rèn)了以上注意事項，IT之家網(wǎng)友可以按照以下驟進行嘗試：1. 以系統(tǒng)管理員身份打開 PowerShell2. 輸入“Get-AppxPackage | Remove-AppxPackage”（該命令僅適用于 Win10，強烈建議不要在 Win11 上嘗試，原因見下文）。3. 忽略所有關(guān)于安裝包無法被卸載的誤提醒。該博客分享了清理完成之后，僅安裝 CAD 軟件之后的應(yīng)用列表。該運行該命令雷祖，用戶在應(yīng)用列表中可看到只有多個 Windows 文件夾、Microsoft Edge 和設(shè)置應(yīng)用。其干凈程度不亞水馬某些精簡版系。使用該命令之后，將卸載 Microsoft Store 以及諸多預(yù)裝應(yīng)用程序，但是 Windows Search、Timeline、Action Center 等系統(tǒng)組件均可正常運行。如果IT之家的網(wǎng)友擔(dān)心第三方工可能會帶來一些后門等題，那么這是一條非常錯的系統(tǒng)原生命令。不再次注意，推薦在虛擬上進行操作觀察下會卸哪些應(yīng)用，是否會對使產(chǎn)生影響。如果確定在力設(shè)備上操作請一定要好數(shù)據(jù)備份。對于這條令，國外科技媒體 Hacker News 還有相關(guān)的問題解答：問這條命令適用于 Win11 嗎？與 Win10 相比，Win11 對 AppX 的依賴程度要高得多，而且很可在未來會更加依賴它。條命令在 Win10 平臺上執(zhí)行來看，并沒什么太大的“副作用”但是在 Win11 平臺上如果執(zhí)行該命令，有可能會導(dǎo)致很多 Win11 系統(tǒng)功能出現(xiàn)故障。問：該命令文子影響 .NET Frameworks、VCLibs 等其它重要安裝包嗎？答：在執(zhí)行耿山命令之后會刪除它們。雖然它們名字聽起來像是系統(tǒng)核組件，但實際上離開它也可以正常運行。就我Gabrielsieben 站長）的經(jīng)驗來看，.NET 包（在 Appx 中，不要與未打包的“經(jīng)典”.NET ?Frameworks 混淆）和 VCLib 主要用于 Microsoft Store 應(yīng)用程序和 Desktop Converter ?Bridge 應(yīng)用程序（Store 包中的 Win32），因此如果你平時不太使用 Microsoft Store，那么對你的影響不大。以 Gabrielsieben 站長的這臺設(shè)備為例，它主用于運行 Steam、FreeCAD 和 Fusion 360，在沒有.NET Frameworks、VCLibs 等其它重要安裝包的情況下也可以正常運。問：執(zhí)行之后可以撤操作嗎？答：技術(shù)層面是可以實現(xiàn)的，但實際作起來非常困難。與其復(fù)還不如重裝系統(tǒng)或者原此前設(shè)置的還原點來快。如果你想要嘗試恢，可以按照以下步驟：1. 以系統(tǒng)管理員身份打開 PowerShell2. 輸入“Get-AppxPackage -allusers | foreach {Add-AppxPackage -register "$($_.InstallLocation)\appxmanifest.xml" -DisableDevelopmentMode}”（不帶“”）運行此重新安裝命令后，過 Microsoft Store 獲取更新，然后重新啟動。Gabrielsieben 站長在執(zhí)行之后確實恢了過來，但是天氣應(yīng)用顯示缺少 Edge WebView2（但提供了下載鏈接）。問：執(zhí)這條命令之后是否會降安全保護？答：這個無評估。該命令只是卸載微軟 Win10 的預(yù)裝應(yīng)用，減少了攻擊點可能還提高了安全性。將丟失許多主要用于運 Windows 應(yīng)用商店應(yīng)用程序（以及應(yīng)程序本身）的庫，但應(yīng)不會影響 Windows Update 和 Windows Defender。
