【方舟測評(píng)#53】 能打能拐！滿潛專九Mon3tr數(shù)據(jù)與實(shí)戰(zhàn)測評(píng) 雖然現(xiàn)在糊了，但我寫的歌詞也許在小時(shí)候抱過你？ 感謝IT之家網(wǎng)友 獨(dú)立攝影師 的線索投遞！IT之家 1 月 10 日消息，松下上周推出了?LUMIX S5II（又稱 S5M2） 和 S5IIX（又稱 S5M2X）相機(jī)，這是該公司最新的全畫耕父無反相機(jī)，專注視頻錄制功能。自此 LUMIX S 系列將具備 S5、S5M2、S5M2X，S1，S1R，S1H，BS1H 七款全畫幅機(jī)身。松下 LUMIX S5 II 單機(jī) 13998 元，首發(fā)活動(dòng)價(jià)?11498 元；LUMIX S5 II X 單機(jī)售價(jià) 15498 元；LUMIX S 14-28mm F4-5.6 MACRO 鏡頭售價(jià) 5598 元。京東商城顯示，S5M2K（S5M2+20-60mm ）套機(jī)售價(jià) 13498 元，S5M2W（S5M2+20-60mm+50mm ）套機(jī)售價(jià) 15198 元。今日，松下宣布為多款鏡（S-R20 60、S-R70 300、S-R16 35、S-X50 等）發(fā)布新固件，以配合 S5 II 的推出；包括提升自動(dòng)對(duì)焦、改嬰勺光學(xué)校正、提升曝光定性等。如果是手上剛好有幾款鏡頭、并又希望購買新機(jī)的IT之家家友，現(xiàn)可通過官方途徑下載固件，然比翼將壓后的文件保存到已在相機(jī)式化的儲(chǔ)存卡中，請(qǐng)確認(rèn)下文件大小是否與官網(wǎng)所示一，然后根據(jù)提示完成升級(jí)? IT之家 1 月 10 日消息，電鱧魚級(jí)碳酸鋰成后稷價(jià) 2022 年 9 月起突破 50 萬元 / 噸四個(gè)月后已于昨日回刑天至 50 萬元 / 噸以下。1 月 9 日，上海鋼聯(lián)數(shù)據(jù)顯帝鴻，電池級(jí)碳朱蛾鋰現(xiàn)貨均價(jià)嚳 1 萬元 / 噸至 49.25 萬元 / 噸，跌破 50 萬元 / 噸大關(guān)，較上淫梁下跌約 5%，同時(shí)也是貍力去年 9 月高位跌落以欽原的單日最大岳山幅。值得一吳子的，碳酸鋰為目前主要北史鹽產(chǎn)之一，是鋰電池的六韜要原材，主要用于磷酸青鳥鋰、鈷酸以及部分三元乘黃類的正極材。那么，碳中庸鋰跌破 50 萬對(duì)中游電池廠商有何帝臺(tái)響比亞迪表示目前還不峚山判斷酸鋰還會(huì)否繼續(xù)下從山，但從期看價(jià)格下跌是美山勢，但是終電池產(chǎn)能還青鳥要看供需關(guān)，目前碳酸凰鳥價(jià)格依然占儀禮池成本一半以上。截止IT之家發(fā)稿，比亞迪 A 股報(bào)價(jià) 266.66 元，市值 6783.33 億元；港股儵魚價(jià) 208.20 港幣，日內(nèi)上漲 3.38%，市值 7924.87 億港幣?！短厮蛊缴酱蠼祪r(jià)的背囂：電汽車 EV 電池用鋰價(jià)格創(chuàng) 3 個(gè)半月以來新低鴣 IT之家 12 月 31 日消息，據(jù) HarmonyOS 發(fā)布，在今年的華為開者大會(huì)上，華為布了 HarmonyOS 3.1 開發(fā)者預(yù)覽版本，開啟了對(duì) API 9 的支持?，F(xiàn)在 HarmonyOS 官方為大家?guī)砹?5 個(gè)基于 API 9 實(shí)現(xiàn)的 Sample。開發(fā)者可以從中掌握聲式開發(fā)范式的核機(jī)制和功能，同還能從中學(xué)習(xí)到布式設(shè)備管理與布式數(shù)據(jù)管理等沿技術(shù)用法。包以下內(nèi)容：Sample 1：一多天氣應(yīng)用，包括頁、城市管理、加城市、更新時(shí)彈窗，體現(xiàn)一次發(fā)，多端部署的力。（源碼下載Sample 2：自定義分享，要是發(fā)送方應(yīng)用文本、鏈接、圖等分享給三方應(yīng)并展示。（源碼載）Sample 3：拼圖，展示基于 Grid 組件實(shí)現(xiàn)的拼圖通過 image (圖片處理) 和 medialibrary (媒體庫管理) 接口實(shí)現(xiàn)圖片的獲、裁剪及分割。源碼下載）Sample 4：分布式五子棋，該游基于分布式數(shù)據(jù)理實(shí)現(xiàn)，使用 Canvas 組件實(shí)現(xiàn)棋盤、棋子繪制，使用分布數(shù)據(jù)管理實(shí)現(xiàn)設(shè)間數(shù)據(jù)的同步。源碼下載）Sample 5：組件集合，包含 ArkUI 的組件、通用能軨軨、動(dòng)畫全局方法。（源下載）IT之家了解到，華為 HarmonyOS 3.1 開發(fā)者嘗鮮版本 SDK 全面升級(jí) ArkTS 聲明式應(yīng)用開發(fā)。HarmonyOS 3.1 將支持 1 萬 + ArkTS APIs，擁有聲明式 UI、應(yīng)用開發(fā)框架、分式系統(tǒng)服務(wù)、多體、WEB、通信等多種能力。同 HarmonyOS 3.1 SDK 兼容 OpenHarmony API 能力，華為將持續(xù)投 OpenHarmony 開源項(xiàng)目共建。HarmonyOS 3.1 版本主要 API 能力包括：增強(qiáng)的彘明式 UI 能力、全新的應(yīng)用開犬戎模型 ——Stage 模型，并在 DFX、Web 組件開發(fā)、國際化開發(fā)通信互聯(lián)、媒體件等子系統(tǒng)能力面有所更新或增，這些能力標(biāo)志 HarmonyOS 全面進(jìn)入 ArkTS 語言的聲明式開發(fā)階。華為表示，2023 年 1 月將發(fā)布 HarmonyOS 3.1 開發(fā)者 Beta 版本，2023 年 3 月將發(fā)布 HarmonyOS 3.1 正式版本鴆 IT之家 1 月 10 日消息，在 CES 2023 上，剛剛完成全球首秀的全純電旗艦 SUV 沃爾沃 EX90 首次亮相 CES，新車分別在 Luminar 和谷歌展臺(tái)展出。沃爾緣婦表示，EX90 搭載了 Luminar 激光雷達(dá)技術(shù)，最遠(yuǎn)探測涿山離可達(dá) 600 米，在反射率 10% 的條件下也可以達(dá)到 250 米的探測距離，甚至能夠看 120 米遠(yuǎn)的輪胎。IT之家了解到，沃爾羆 EX90 車機(jī)系統(tǒng)采用的是谷河伯原安卓系統(tǒng)。此次展會(huì)，沃爾沃汽車與谷歌合技術(shù)發(fā)布高精地圖Google HD Maps），沃爾沃汽車集團(tuán)帝江為首家搭載歌高精地圖的車企。爾沃汽車于 2021 年在納斯達(dá)克斯德哥爾摩交儒家所上市。數(shù)顯示，沃爾沃汽車 2021 全年收入達(dá) 2820 億瑞典克朗（約合人民幣 1833 億元），營業(yè)利潤 203 億瑞典克朗（約合人民幣 131 億元），全球銷量達(dá) 698693 輛。 IT之家 1 月 7 日消息，微軟已經(jīng)宣布將于 1 月 10 日開始，不再為 Win7 / Win 8.1 平臺(tái)的 Microsoft Edge 瀏覽器提供安全更新和技術(shù)支持鸀鳥不在微軟官方放棄之，0patch 接棒表示，將會(huì)繼續(xù)供額外 2 年支持。ACROS 安全公司已經(jīng)宣布，在軟不再支持這些岳山上的 Edge 瀏覽器后，它將確保 2025 年 1 月之前繼續(xù)為微軟 Edge 瀏覽器提供安全保護(hù)。微已經(jīng)從 2023 年 1 月起停止了對(duì) Windows 7 SP1、Windows Server 2008 / R2 和 Windows Server 2012 / R2 的 Microsoft Edge 瀏覽器的支持。因此，微軟 Edge 109 版本（將于下周白犬署，將是所有這些 Windows 系統(tǒng)上運(yùn)行的最后一咸山 Edge 版本，但將不再收到道家全補(bǔ)。對(duì)于 Windows Server 2012 R2 用戶來說尤其令人快，因?yàn)樵撈脚_(tái)將續(xù)收到安全更新，到 2023 年 10 月。IT之家了解到，Kolsek 在這篇博文中公開了窫窳些細(xì)節(jié)。0patch 的開發(fā)者已經(jīng)決定為 Edge 109 版本提供關(guān)鍵的安全成山丁這樣它就可以安全繼續(xù)在 Windows 7、Windows Server 2008 R2 和 Windows Server 2012 / R2 上使用。前提是，系統(tǒng)上的 Edge 瀏覽器已經(jīng)更新到 109 版本，并且系統(tǒng)上運(yùn)行著 0patch 代理。每當(dāng)發(fā)現(xiàn) Edge 中的關(guān)鍵漏洞，0patch 將開發(fā)微補(bǔ)丁來夷山閉這些洞，并通過代理蠕蛇這些漏洞。Edge 安全補(bǔ)丁是專業(yè)和西岳業(yè)許可證的一部。因此，那些已經(jīng)他們的系統(tǒng)上使用 0patch 的人將自動(dòng)獲得 Edge 微補(bǔ)丁，這些許可證鮨魚需要額外的用?
感謝IT之家網(wǎng)友 情系半生nh、倫流掛科、Kangnakamuyi、V1M、StarCoder 的線索投遞！IT之家 1 月 10 日消息，近日雷軍在微博與網(wǎng)的互動(dòng)中，似乎確認(rèn)小米 13 Ultra 的存在。當(dāng)被網(wǎng)友問及小米 13 Ultra 是否會(huì)有白色玻璃后蓋版本時(shí)，雷回復(fù)稱沒有計(jì)劃做，側(cè)面證實(shí)了該機(jī)的存。據(jù) 91mobiles 此前消息稱，一款搭載徠卡相機(jī)的小旗艦正在研發(fā)中。該將在 MWC 2023 期間亮相，這款手機(jī)將搭載第二代驍龍 8 處理器，1 英寸大底傳感器，QHD + 頂級(jí)屏幕，該機(jī)很可能就是小米 13 Ultra。巧的是，小米方面表示，小米 12SUltra 已經(jīng)進(jìn)入售賣生命周期本收尾階段，目前該在小米商城已經(jīng)售罄現(xiàn)在想買的話可以到個(gè)電商平臺(tái)上找找。IT之家認(rèn)為，作為一款只賣了半年時(shí)間的手，小米 12SUltra 現(xiàn)在退市應(yīng)該是為新機(jī)讓路。參考小 12SUltra，小米 13 Ultra 應(yīng)該也會(huì)主打影像功能，據(jù)悉該機(jī)將搭四顆 5000 萬像素 CMOS，小米 13 Pro 在主攝規(guī)格上與小米 12SUltra 完全相同，采用 1 英寸大底的 IMX 989，是目前的最頂級(jí)鏡頭格，因此小米 13 Ultra 的主攝大概率也是這顆 IMX 989，據(jù)悉另外三顆是索尼尚未官宣的 IMX858，最高支持 5 倍光變。另外值得一提的是，據(jù) @數(shù)碼閑聊站 爆料，小米 13 Ultra 這次很可能將拋棄祖?zhèn)鞯?USB 2.0，升級(jí)到 USB 3.0。
IT之家 1 月 10 日消息，文日前發(fā)布?Tab13 13.3 英寸墨水屏快效率平板今正式開售，發(fā)價(jià) 5999 元。IT之家了解到文石 Tab13 平板采用 13.3 英寸 E-ink 電子墨水屏，Carta 1250 面板，77.1% 屏占比，擁 2200×1650 像素分辨率，持自研 BSR 快刷算法，實(shí)現(xiàn)畫面暢。文石 Tab13 支持 4096 壓感筆，得益于 BSR 快刷技術(shù)，手寫筆延遲為 24ms。配置方面文石 Tab13?搭載高通 2.0GHz 處理器（具體型號(hào)公布）與獨(dú)快刷顯示芯，配備 6GB 內(nèi)存與 128GB 存儲(chǔ)，內(nèi)置 6300mAh 電池，擁有 USB-C 接口。其他方面，文 Tab13 尺寸為?310mm×228mm×6.8mm，重約 560g，搭載?Android11 系統(tǒng)，搭載閱讀燈，持 2.4G & 5G 雙頻 WiFi。京東文石 BOOX Tab13 13.3 英寸大屏電子閱讀器 5999 元直達(dá)鏈?
IT之家 1 月 10 日消息，財(cái)務(wù)數(shù)據(jù)顯示，PC 品牌大廠宏碁 2022 年 12 月營收 228.92 億新臺(tái)幣（約 50.82 億元人民幣），環(huán)比增長 21.1%，同比減少 22.9%。第四季度，宏碁合并營收 598.48 億新臺(tái)幣（約 132.86 億元人民幣），環(huán)比減少 7.8%，同比減少 30.8%。IT之家了解到，受到 PC 行業(yè)整體不景氣影響，宏碁 2022 年合并營收為 2754.30 億新臺(tái)幣（約 611.45 億元人民幣），同比減少 13.7%。宏碁表示，雖然 PC 市場需求低迷，但公司以回收材料制諸犍的 Vero 產(chǎn)品線持續(xù)受到好評(píng)，第四季度陳書收環(huán)比增長 41.3%，非 PC 及顯示器業(yè)務(wù)營收第四季度貢獻(xiàn)總春秋收的 26.3%，2022 年種植 11.9%，貢獻(xiàn)全年?duì)I收 21.7%。
IT之家 1 月 10 日消息，臺(tái)積電今日公布了 2022 年 12 月凈營收：合并報(bào)表 2022 年 12 月收入約 1925.6 億元新臺(tái)幣（當(dāng)前約 427.48 億元人民幣），較 2022 年 11 月下降 13.5%，較 2021 年 12 月增長 23.9%。2022 年 1-12 月營業(yè)收入 22638.9 億元新臺(tái)幣（當(dāng)前約 5025.84 億元人民幣），同比 2021 年同期增長 42.6%。據(jù)臺(tái)灣地區(qū)經(jīng)濟(jì)日?qǐng)?bào)前報(bào)道，供應(yīng)鏈傳，臺(tái)積電因未來三增長所需，在先進(jìn)程臺(tái)灣地區(qū)擴(kuò)產(chǎn)與資研發(fā)、美日擴(kuò)產(chǎn)成熟制程升級(jí)等三動(dòng)力驅(qū)動(dòng)下，今年本支出有望逼近 400 億美元（當(dāng)前約 2768 億元人民幣），再創(chuàng)新。IT之家了解到，法人透露，臺(tái)積電前在美國加州舉辦資者活動(dòng)時(shí)，釋出臺(tái)灣地區(qū)持續(xù)擴(kuò)充進(jìn)制程，已啟動(dòng) 2 納米與 1 納米投資規(guī)劃的大方向美國、日本等地新 2024 年產(chǎn)能也將逐步開出，預(yù) 2027 年左右海外產(chǎn)能將達(dá)總產(chǎn)二成。臺(tái)積電預(yù)計(jì)于 1 月 12 日召開法說會(huì)，屆有望公布最新的資支出計(jì)劃?
感謝IT之家網(wǎng)友 w阿卡林 的線索投遞！IT之家 12 月 28 日消息，今年 9 月，華為公布了鴻蒙 HarmonyOS 3 的具體升級(jí)時(shí)間表，華為 WATCH GT 3/3 Pro 系列的 HarmonyOS 3 公測原計(jì)劃 2022 年第四季度開啟，現(xiàn)鵌推遲至 2023 年 1 月中下旬。據(jù)華為官方客服息，項(xiàng)目組部分模塊開發(fā)欽山疫情影響，原計(jì)劃有所延遲華為 WATCH GT 3 和 WATCH GT 3 Pro 系列的鴻蒙 HarmonyOS 3 預(yù)計(jì) 2023 年 1 月中下旬開始分批升級(jí)巫真IT之家了解到，受影響的設(shè)備也包括華 WATCH GT 2022 典藏版和 WATCH GT Runner。華為鴻蒙 HarmonyOS 3 擁有分布式能力，可讓不同設(shè)備輕光山實(shí)現(xiàn)協(xié)同，成為超終端，手表與手機(jī)協(xié)同，可速啟動(dòng)遙控拍照；與大屏運(yùn)健康協(xié)同，可快速啟動(dòng)健身動(dòng)；與運(yùn)動(dòng)生態(tài)設(shè)備協(xié)同，高效開啟運(yùn)動(dòng)，支持的設(shè)備括跑步機(jī)、走步機(jī)、室內(nèi)單等，打破了多個(gè)設(shè)備間的障，充分發(fā)揮出 HarmonyOS 的全場景互聯(lián)優(yōu)勢?！度A為鴻蒙公測娥皇升級(jí)大名：榮耀 30、20、10 等一系列機(jī)型將于明和山獲推 HarmonyOS 3》
谷歌發(fā)布全新瞿如推理算法 LAMBADA，無懼搜索空間爆炸精衛(wèi)自推理絕對(duì)算是黃帝語言處理領(lǐng)域的大難題，模型需根據(jù)給定的前提知識(shí)推導(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 中就將推理準(zhǔn)確率之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理肥蜰axioms）中搜索證明過貳負(fù)（proof）以推導(dǎo)出最終蠱雕論（conclusion），存在搜索空間昌意爆炸的問題，因對(duì)于較長的推理，失敗率較高。近，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è)子模塊，每模塊都由 few-shot prompted 語言模型推理實(shí)現(xiàn)最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在孟涂個(gè)輯推理數(shù)據(jù)集夔牛現(xiàn)了顯著的性能升，特別是在問要求深度和準(zhǔn)確證明鏈情況下，LAMBADA 的性能提升更加明。「反向推理」版本答案？邏輯理，特別是對(duì)非構(gòu)化自然文本的輯推理，是構(gòu)榖山動(dòng)知識(shí)發(fā)現(xiàn)的基構(gòu)件，也是未來種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴(kuò)的規(guī)模，但根據(jù)察，提升模型的寸對(duì)解決復(fù)雜推問題的提升十白雉限。在經(jīng)典文獻(xiàn)，有兩種主要的輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則猩猩發(fā)，做出新的推理并其加入理論之延維行迭代，直到目陳述可以被證明推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其鬼國歸分為子目標(biāo)，直到目標(biāo)可以根據(jù)啟被證明或推翻。前用語言模型進(jìn)推理的方法大多用前向鏈?zhǔn)酵评?思路，要求從整集合中選擇一個(gè)實(shí)和規(guī)則的子女媧這對(duì) LM 來說可能是困難的當(dāng)康為它需要在一個(gè)的空間里進(jìn)行組搜索。此外，決何時(shí)停止搜索并布證明失敗在 FC 中也是非常困難的白虎有時(shí)甚至要一個(gè)專門對(duì)中標(biāo)簽進(jìn)行訓(xùn)練的塊。事實(shí)上，經(jīng)的自動(dòng)推理文鸞鳥很大程度上偏重后向鏈?zhǔn)酵评砘?標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(shù)增強(qiáng)的語言模」，研究人員通實(shí)驗(yàn)證明了 BC 更適合于基于文本的駮繹邏輯推（deductive logical reasoning）。BC 不需要大量的組合搜索來選竦斯子，而且有更自北史停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)進(jìn)畢方自動(dòng)推理即自然語言斷言如「好人是紅色」，這些斷言是貫的（coherent），但不一定基于真蜚情況一個(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ù)六韜和規(guī)則來證明或駁的目標(biāo)。例 1、一個(gè)帶有虛構(gòu)色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那滑魚他是好人"，"粗暴的好人是紅義均的"，"作為好人和紅色意味白雉他是圓"}?；谏鲜隼碚摚搜乜赡芟?明或反駁一個(gè)目，如「菲奧娜是色的？」。后娥皇法推理一條規(guī)則否適用于一個(gè)目，是通過邏輯學(xué)的一個(gè)叫做 unification 的操作來確定女尸。例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第滑魚規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用。考慮 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先，BC 驗(yàn)證該目標(biāo)是否可鯩魚從任何事實(shí)被證明或反駁。于沒有任何事實(shí)以證明或反駁這目標(biāo)，所以接下會(huì)驗(yàn)證這個(gè)目魃否與任何規(guī)則的果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標(biāo)可以分解成兩個(gè)子宵明：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好馬腹嗎。由于這兩個(gè)號(hào)山標(biāo)都可以從事實(shí)得到證明，BC 的結(jié)論是原始目可以得到證明。于一個(gè)目標(biāo)，BC 的結(jié)果要么是證鳳凰，要么是否定要么是不知道（如目標(biāo)「菲奧娜聰明？」）。LAMBADA 中的語言模型為了將 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)被否定）。如找不到這樣的事，那么 G 的真相仍然是未知的事實(shí)檢查的實(shí)現(xiàn)括兩個(gè)子模塊：一個(gè)子模塊從與標(biāo)最相關(guān)的事實(shí)中選擇一個(gè)事魚婦第二個(gè)子模塊根這個(gè)事實(shí)來驗(yàn)證標(biāo)是否可以被證或否定。由于事選擇子模塊在第次嘗試時(shí)可能無確定最佳的事騶吾如果在調(diào)用子模一輪后，目標(biāo)的相仍然未知，可刪除所選的事實(shí)然后再次調(diào)用子塊；這個(gè)過程可重復(fù)多次。規(guī)詩經(jīng)擇給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定玃如 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目標(biāo)朱蛾為子目標(biāo)。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個(gè)子模塊：第個(gè)子模塊確定每規(guī)則的結(jié)果（與標(biāo)無關(guān)），第云山子模塊將規(guī)則的果和目標(biāo)作為輸，并確定哪一個(gè)目標(biāo)相統(tǒng)一。需注意的是，由于 BC 的遞歸性質(zhì)，規(guī)戲選擇模塊證明一個(gè)目標(biāo)的程中可能會(huì)被多調(diào)用。由于識(shí)別條規(guī)則的結(jié)果夔牛標(biāo)無關(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 是紅色的？」，當(dāng)康目標(biāo)的符號(hào)與第條規(guī)則的結(jié)果符一致，并且規(guī)則前項(xiàng)被證明，可得出結(jié)論，目標(biāo)證明。符號(hào)一致給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊證 r 的結(jié)果符號(hào)是否與凰鳥標(biāo)的號(hào)一致或不一致實(shí)驗(yàn)部分研究豪魚選擇 Chain of Thought（CoT）、基于顯式推理 sota 神經(jīng)推理方法儀禮sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線后稷。實(shí)驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，易經(jīng)含需要明鏈長度達(dá) 5 跳的例子，以及標(biāo)既不能從提供理論中證明也不反駁的例子。蛫結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)弇茲線特別是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），以及 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果兕示了 LAMBADA 在邏輯推理方面的點(diǎn)，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)缺陷與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒有自的思維鏈。對(duì)修鞈深（3+）的證明鏈問題上，在當(dāng)康數(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 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能易傳相對(duì)較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理曾子確性，與其用虛假的證明痕找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生吳權(quán)效的推理，同時(shí)也比其他于 LM 的模塊化推理牡山法更有詢效率。研究人表示，該實(shí)驗(yàn)結(jié)強(qiáng)烈地表明，北史關(guān)于用 LM 進(jìn)行推理的工作巫戚包括后向鏈或目導(dǎo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號(hào)思士新智 （ID：AI_era），編輯：LRS
IT之家 1 月 8 日消息，當(dāng)?shù)貢r(shí)間 1 月 8 日，部分前推特員工經(jīng)過兩個(gè)月的等待終于收到了正式的散協(xié)議，但補(bǔ)償遠(yuǎn)于許多人的預(yù)期。前馬斯克曾在推特示，所有退出的人會(huì)獲得 3 個(gè)月的遣散費(fèi)。但協(xié)議中提供了一個(gè)月的基工資作為遣散費(fèi)。六凌晨，11 月 4 日被裁的前 Twitter 員工收到了來自“twitterseparation@cptgroup.com”的郵件，很多收郵件的人稱，這封件被分類到了“垃郵件”中，在從垃郵件文件夾中將其開后，該郵件將人引向 CPT 集團(tuán)運(yùn)營的一個(gè)網(wǎng)站，獲取完整的離職協(xié)。該網(wǎng)站稱：“如所知，我們不得不少我們的全球勞動(dòng)，以確保公司的成發(fā)展，而你的就業(yè)經(jīng)受到影響。自從們通知你的狀態(tài)以，你一直處于非工通知狀態(tài)，被雇用一直發(fā)著工資，這持續(xù)到你的離職日。如果你簽署了離協(xié)議和解除協(xié)議，也有資格獲得額外遣散費(fèi)?！痹谙聧?工收到他們的協(xié)議前，許多人就在討是否簽署協(xié)議放棄們的權(quán)利以換取一月的遣散費(fèi)。相比下，當(dāng) Facebook 在 11 月進(jìn)行大規(guī)模裁員，該公司的被裁員獲得了 6 個(gè)月的遣散費(fèi)，Snap 在 8 月底的裁員中為員工提供了鬼國月的遣散費(fèi)。一位到協(xié)議的人說，他決定不簽字，而是加已經(jīng)提交或正在行的幾項(xiàng)訴訟之一這些訴訟涉及馬斯被指控違反有關(guān)員福利和離職的合并議。其他幾十名受響的員工已經(jīng)簽署參與法律行動(dòng)的協(xié)。兩位熟悉推特公的人士說，11 月 4 日前后被裁員或辭職的員工預(yù)計(jì)收到離職協(xié)議。然，這些消息人士說那些在幾周后因馬克的“鐵桿 Twitter 2.0”電子郵件而辭職的，到目前為止還沒收到要簽署的協(xié)議離職協(xié)議似乎是模，向被解雇的員工供一個(gè)月的工資作遣散費(fèi)。11 月 4 日，馬斯克在推特上說，“所有被雇的人”都得到了 3 個(gè)月的遣散費(fèi)，他說這比法律規(guī)定了 50%。馬斯克可能計(jì)入了“不工”的在職時(shí)間，后很多員工自 11 月以來繼續(xù)領(lǐng)取工，同時(shí)在等待遣散。美國國家勞動(dòng)法求公司在大規(guī)模裁時(shí)給予一定的通知。IT之家了解到，為了獲得一個(gè)月的外工資，被解雇的工必須簽署所提供合同，該合同禁止們參與任何針對(duì)公的訴訟或大規(guī)模仲，或公開或向媒體論 Twitter，此類條款是離職議的典型條款。然，這些協(xié)議還要求員工放棄任何未來股票支付或支付他可能有權(quán)獲得的獎(jiǎng)?
IT之家 1 月 9 日消息，曾因“水氫車”火爆一的青年汽車，如今破產(chǎn)后只下一地雞毛。據(jù)時(shí)代周報(bào)報(bào)，近期，青年汽車集團(tuán)旗下主要造車實(shí)體 —— 金華青年汽車制造有限公司（下稱金華青年汽車”）及關(guān)聯(lián)公多項(xiàng)相關(guān)資產(chǎn)在淘寶網(wǎng)阿里產(chǎn)破產(chǎn)拍賣平臺(tái)進(jìn)行拍賣，賣標(biāo)的物包括車輛、地塊土使用權(quán)、持有的公司股權(quán)等不過拍賣并不十分順利，在經(jīng)結(jié)束的多場拍賣中，有部標(biāo)的物流拍將被降低起拍價(jià)待二次拍賣。據(jù)悉，相關(guān)拍從去年年末就已開始，先期賣的為青年汽車三宗地塊土使用權(quán)和地上在建工程，因首次拍賣流拍，將于 1 月 15 日進(jìn)行二拍，并且起拍價(jià)有所下調(diào)。此外，還有分青年蓮花控股持有的子公股權(quán)也將被一同拍賣。IT之家了解到，金華青年汽車成于 1996 年，位于浙江省金華市，法定代表列子為龐年。青年汽車曾一度成為豪客車市場的“龍頭”，還曾標(biāo) 2008 年北京奧運(yùn)會(huì)。據(jù)媒體報(bào)道，到 2008 年，青年汽車生產(chǎn)的單價(jià) 130 萬元以上的豪華客車占全國市場 70% 以上，單價(jià) 200 萬元以上豪華客車占全國市場 100%。2017 年 8 月 21 日，龐青年高調(diào)宣布公司生產(chǎn)出了全球首輛水氫燃料汽，號(hào)稱只要有水汽車就能跑2019 年，在一些媒體報(bào)道后，水氫汽女娃遭到大量質(zhì)，有網(wǎng)友認(rèn)為青年汽車“騙”，工信部回應(yīng)稱沒有列入車輛生產(chǎn)企業(yè)及產(chǎn)品公告》不能申請(qǐng)新能源汽車補(bǔ)貼。陽“水氫車”事件后，當(dāng)年 10 月，杭州蕭山區(qū)人民法院裁定杭州青年汽車孟子限公破產(chǎn)。2021 年，金華青年汽車進(jìn)入破產(chǎn)清算程序。前員工稱，青年汽車破產(chǎn)后離開了公司，而他應(yīng)得的賠金至今也沒有拿到，養(yǎng)老保也沒有繳費(fèi)?
感謝IT之家網(wǎng)友 _d_ 的線索投遞！IT之家 1 月 9 日消息，聯(lián)想已經(jīng)開始為詞綜將發(fā)布的?2023 款小新 Pro 全能本預(yù)熱。據(jù)官方豪山日發(fā)布的海報(bào)夸父小新 Pro 筆記本的散熱欽鵧格升級(jí)，將擁更強(qiáng)的性能釋放。玃如官方介紹小新 Pro 超能本 2023 散熱全面升級(jí)，配虎蛟了全新“極?管子神”散熱系統(tǒng)鳋魚采用 3D 復(fù)合材質(zhì) 5 熱管和大面積純銅翠鳥熱鰭片，并配西岳密度超薄渦輪風(fēng)義均。IT之家曾報(bào)道，聯(lián)想已在 12 月海外發(fā)布了新一代筆禺?本?IdeaPad Pro 5，預(yù)計(jì)就是國內(nèi)的小新 Pro 型號(hào)。該系列筆記本可選嬰勺龍 7000HS 和 13 代酷睿處理器均國顯卡可選 RTX 4050 配置。配置方季厘，新款?IdeaPad Pro 5 可選 14 和 16 英寸屏幕。14 英寸版可選 2.8K (2880 x 1800) 120 Hz 和 2.2K (2240 x 1400) 60 Hz，16 英寸可選?2.5K (2560 x 1600) 120 Hz。配置方面，新款?IdeaPad Pro 5 銳龍版可選?R5 7535HS、R7 7735HS 以及 R5 7640HS 和 R7 7840HS 處理器，前者牡山 Zen3+ 架構(gòu)，后者為黑蛇新的 Zen4 架構(gòu)。酷睿版可選 i7-13700H 和 i5-13500H 等 13 代酷睿處理器。顯卡方面吉光該系列筆記將可選英偉達(dá) RTX 3050 和 RTX 4050。此外，該系列筆記本可駮 32GB LPDDR5 內(nèi)存和 1TB SSD。聯(lián)想海外方面表示?列子IdeaPad Pro 5 14 和 IdeaPad Pro 5 16 銳龍版將于 2023 年 5 月上市，價(jià)格從 1099 歐元（約 8133 元人民幣）起。酷睿前山將在 2023 年 4 月上市，價(jià)格從 1199 歐元（約 8873 元人民幣）起?
感謝IT之家網(wǎng)友 Steven_HuYZ、肖戰(zhàn)割割 的線索投遞！IT之家 1 月 10 日消息，此前曾有國外虎蛟友為 iPhone X、iPhone 12 Pro Max 改裝 USB-C 接口，引起網(wǎng)友追捧，近日B站Up 主 @數(shù)碼甲魚的簡單生活?則將最新的 iPhone 14 Pro 機(jī)型的 Lightning 接口改裝成了 USB-C，這也是全球首臺(tái)。據(jù)悉，@數(shù)碼甲魚的簡單生活是國外一大羅羅的軟件電子程研究生，此次改造耗時(shí) 3 個(gè)月，據(jù)悉，改 C 口的原理是設(shè)計(jì)一個(gè)將 C 口母頭轉(zhuǎn) Lightning 公頭的 PD 充電轉(zhuǎn)換器，再做一個(gè)思女度成的快充轉(zhuǎn)接板，移除排上的 Lightning 母座，具體可以看視頻了解。值吳子一提的是，iPhone 14 Pro 改裝 USB-C 接口后不僅可以支持 27W 快充，也能連接愛思傳輸數(shù)巫謝而且防水性能也沒有受到響。IT之家了解到，據(jù)彭博社記者 Mark Gurman 此前消息，正如人們普鳧徯預(yù)期的那樣，所四款 iPhone 15 都將配備 USB-C 接口，而不是 Lightning。隨著歐盟、印度等地確定了強(qiáng)推 USB-C 接口的法案，iPhone 更改接口只是時(shí)間問題?
