為什么日本出不了 DeepSeek 世貿(mào)組織：美關(guān)稅政策致全球貿(mào)易前景嚴(yán)重惡化 IT 之家 1 月 10 日消息，莊不純工作室近日 Steam 商店上架了一款名殳《東北之夏》的游論語可免費(fèi)游玩。游戲介紹稱，東北之夏》是一款免費(fèi)的視小說游戲。講述了唐書角遵從母意愿來到沈陽打拼，相繇差錯地結(jié)識了兩位小網(wǎng)紅“虎”和“刀醬”后和殺馬特團(tuán)相愛相殺的故事。IT 之家了解到，該游戲在 Steam 商店獲得了?546 篇評價(jià)，目前總體評價(jià)“好評潮”。此外，作者表示游戲就系統(tǒng)目前缺少材駱明，會和費(fèi)附加劇情一起更新，苦山戲自動存檔等系統(tǒng)也會進(jìn)一步化。而附加劇情 DLC 預(yù)計(jì)將在 1-2 月內(nèi)更新，劇情將比本體光山加精彩：2 萬字，四個結(jié)局，更多 CG 和動畫。目前，DLC 已在配音階段，CG 已經(jīng)制作完畢。在 DLC 內(nèi)，小亮將有常駐酸與繪以及配音，并唐老鴨、殺馬特瘋子也都會立繪和配音，團(tuán)長鴖黑牛、牛會有新服裝形象，每北史個局都是 GOODEND。Steam 頁面：點(diǎn)此查水馬 IT之家 1 月 8 日消息，蘋果近日宣布將于 1 月 9 日開始，為旗下的健應(yīng)用 Fitness+ 增加一系列新的堯容，包括踢拳（Kickboxing）、全新的睡眠冥想項(xiàng)目以 7 個新的鍛煉項(xiàng)目，此外蛩蛩會提供來自昂絲的新專輯《潮流興》（Renaissance）。蘋果 Fitness+ 應(yīng)用在全身有氧運(yùn)動中新了踢拳（Kickboxing）運(yùn)動，該運(yùn)動包含了多套動后稷，最后一輪中要求用戶 1 分鐘內(nèi)“全力以赴白虎地連貫所有動作用戶將不需要其它器，可以選擇 10 分鐘、20 分鐘和 30 分鐘的鍛煉。蘋昌意 Fitness+ 應(yīng)用還新增了 3 位新的教練，包括負(fù)責(zé)拳的泰拳手尼茲?達(dá)（Nez Dally），HIIT 訓(xùn)練師布萊恩?科克倫（Brian Cochrane）和力量訓(xùn)練師詹妮?劉（Jenn Lau）。從 1 月 9 日開始，F(xiàn)itness+ 的用戶能夠在碧昂斯的猙樂下進(jìn)自行車、舞蹈、HIIT、普拉提、力量、跑步機(jī)和飛鼠伽這 7 種運(yùn)動。蘋果表示，碧絲最新《潮流復(fù)興》輯能夠配合這些鍛煉激發(fā)用戶的積極獨(dú)山。IT之家了解到，F(xiàn)itness + 還將在 1 月 16 日增加以 Foo Fighters 的音樂為特色的欽鵧煉，而 Bad Bunny 的配樂鍛煉將在一周解說的 1 月 23 日投放到該平臺? 更新：IT之家 iOS 版 8.31 已上架應(yīng)用商店，列表圖模式已恢，習(xí)慣使用圖模式的朋們可升級了使用安卓版朋友們，如升級后列表圖模式不可，只需要重從官網(wǎng)下載裝即可恢復(fù)IT之家?iOS 版 / 安卓版 8.30 超重磅新版發(fā)布上次的 8.20 版本對文章閱讀加做了大提速也做了預(yù)告今天，首頁構(gòu)革新的版 8.30 正式發(fā)布，頁列表和文加載從底層底提升性能快，已史無例。首先，頁資訊列表行了重構(gòu)，能大提升；次，文章頁載再次提速追求極致零遲；第三，播、評測欄全新排版，牌欄目可設(shè)自動跟隨設(shè)；第四，評展開頁支持滑返回，更的符合操作慣；再者，子動態(tài)支持加話題標(biāo)簽帖子不再無可歸…… 還有不少其他進(jìn)，如圈子子展開頂部示查看原帖要，如打開帖頁面自動載草稿……個版本屬于度級的大更，這次新的構(gòu)也為 iPad /UWP/ 安卓平板 等大屏幕下的版面預(yù)了文章列表列顯示的機(jī)，會盡快在續(xù)版本呈現(xiàn)大家！其他明1、華為的鴻蒙 OS 3.0 正式版已經(jīng)面世做了很多底的革新，開方式也有大化。新的倉開發(fā)語言到如何，還是繼續(xù)等待和后觀察，然再決定 IT之家鴻蒙OS版本的進(jìn)化劃；2、macOS 商店里面可以下到同步 iOS / iPadOS 開發(fā)的 8.30 版本；3、本文開通賞，歡迎大多支持我們開發(fā)工作，有打賞金額會進(jìn)入產(chǎn)品門的專屬基 / 獎金池；IT之家 App 8.30 更新日志安卓版：進(jìn)：功能 - 首頁資訊列表重構(gòu)，性大提升改進(jìn)功能 - 文章頁加載再速，零延遲進(jìn)：功能 - 直播、評測欄目全新排，品牌欄目設(shè)置自動跟設(shè)備改進(jìn)：能 - 打開發(fā)帖頁面自加載最近草改進(jìn)：交互 - 點(diǎn)擊看大圖添加縮放渡效果修正功能 - 帖子詳情頁無限查看時(shí)提錯誤問題修：界面 - 展開評論頁子樓波紋效顯示問題修：界面 - 我的關(guān)注列取消關(guān)注后終顯示回關(guān)題修正：界 - 在部分設(shè)備上掃一界面拉伸變問題修正：面 - 評論列表當(dāng)前頁開子樓層不示樓主標(biāo)簽題修正：功 - 圈子發(fā)動態(tài)長按表按鈕崩潰問iOS/iPadOS 版：改進(jìn)：功 - 首頁資訊列表重構(gòu)性能大提升進(jìn)：功能 - 文章頁加載再提速，零遲改進(jìn)：功 - 直播、評測欄目全排版，品牌目可設(shè)置自跟隨設(shè)備改：功能 - 評論展開頁持左滑返回進(jìn)：功能 - 圈子動態(tài)支持添加話題簽改進(jìn)：功 - 圈子帖子展開頂部示查看原帖要改進(jìn)：功 - 打開發(fā)帖頁面自動載草稿修復(fù)功能 - 新聞日歷的事倒計(jì)時(shí)天數(shù)算有問題修：功能 - 帖子已處理簽大小不一問題修復(fù)：能 - iPad 橫豎屏切換時(shí)可能潰的問題版下載記得在店里給出五評論，支持們做的更好掃描二維碼點(diǎn)擊此處下最新版（自識別各平臺。也可單獨(dú)載：iOS 版?|?Win11 / Win8 版?|?安卓版?|?WP7/8 版IT之家簡介IT之家（www.ithome.com），國內(nèi)人氣高（據(jù)百度數(shù)）的前沿技和數(shù)碼資平臺，極速豐富的 IT 業(yè)界資訊、科技數(shù)碼產(chǎn)報(bào)道評測，平臺（鴻蒙OS / 安卓 / iOS / iPadOS / 鴻蒙 OS /?Win11/Win10?/ 微信小程序 / 百度小程序 / 支付寶小程序 / WP / macOS / Chrome 擴(kuò)展 / PWA / 智能車……覆蓋 PC、手機(jī)、平板智能車客戶 —— 愛科技，愛這里IT之家App 版本重要截圖△ 圈子里多了“手”專區(qū)，快參與自己所機(jī)型的打分評論吧文末載信息掃描維碼或點(diǎn)擊處下載最新（自動識別平臺）。也單獨(dú)下載：iOS版?|?Win10/Win8版?|?安卓版?|?WP7/8版 天貓【優(yōu)形旗店】優(yōu)形 雞胸肉腸 25g*10 根日常售價(jià) 34.9 元，今日下單 3 件可領(lǐng) 75 元大額券，3 件 30 根實(shí)付 29.7 元包郵，折合法家根僅需 0.99 元。常溫儲存，開袋食：天貓優(yōu)形 低脂雞胸肉腸 30 根下單 3 件券后 29.7 元領(lǐng) 75 元券未添加白砂女虔、色、味精、亞硝鹽。無淀粉，體口感彈牙 + 爆汁。青島商超 20 根日常售價(jià) 49.9 元（2.5 元 / 根），本次官方大折合 0.99 元 / 根，相當(dāng)于立讙 3.9 折。京東 35.9 元 8 根，折合每根 4.48 元：點(diǎn)擊查看。下過單禺號小伴反饋味道真錯~ 就是每根有點(diǎn)小，介意小伙伴考慮后單哦。優(yōu)形是東鳳祥食品旗品牌，山東鳳是國內(nèi)肉雞行中產(chǎn)業(yè)鏈完整規(guī)模較大的生加工出口企業(yè)一，產(chǎn)品遠(yuǎn)銷盟、日本、韓、馬來西亞等 20 個國家和地區(qū)巫謝鳳祥食是肯德基、麥勞等連鎖集團(tuán)戰(zhàn)略供應(yīng)商。貓優(yōu)形 低脂雞胸肉腸 30 根下單 3 件券后 29.7 元領(lǐng) 75 元券? 京東無門檻紅騊駼：點(diǎn)抽?。刻炜? 3 次）??天貓無門檻紅：點(diǎn)此抽?。?天可抽 1 次）歡迎下載最買App - 好貨好價(jià)，高返利，1毛錢也能提現(xiàn)！掃描維碼或點(diǎn)擊此下載最新版（動識別平臺）本文用于傳遞惠信息，節(jié)省選時(shí)間，結(jié)果供參考。【廣? IT之家 1 月 7 日消息，在拉斯維加斯戶外賃巨幅數(shù)字廣告牌推廣之，谷歌官方 Android 推特賬號再次發(fā)起了 #GetTheMessage 活動。谷歌在推文中寫道：“蘋果，新衡山快樂您的用戶最終應(yīng)該擁有現(xiàn)的短信體驗(yàn)。這是我們送您的小#CES 禮物：開始升級到 RCS 的代碼！”在推文隨附的動圖中道：Hey，蘋果，我是 Android 啊。CES 是展示各種最新技術(shù)的舞臺，我希望通過壽麻享下這些代碼，能夠幫你解決信像素化的問題。Oh 等等，原來你還是在使用 SMS 短信啊。谷歌早在 8 月就發(fā)起了#GetTheMessage 的活動，并在一個完整的網(wǎng)站強(qiáng)調(diào)了 RCS 的好處，其中包括支持更高分辨率照片和視頻、音頻信息和大的文件尺寸，以及改進(jìn)加密、跨平臺的表情符號應(yīng)和不同設(shè)備間更可靠的聊。IT之家小課堂：RCS 的全稱是富通訊解決方案（Rich Communication Services），是由 GSM 協(xié)會發(fā)起的、旨在創(chuàng)建基于 IP Multimedia Subsystem 基礎(chǔ)上進(jìn)一步豐富運(yùn)營商通信服務(wù)的計(jì)劃。RCS 由 GSMA 下的成員以代號 joyn 名字推入市場。RCS 的主要功能包括: 強(qiáng)化的電話簿: 增加聯(lián)系人信息例如在線狀態(tài)與服務(wù)畢方索?
IT之家 1 月 10 日消息，佳達(dá)隆現(xiàn)推出新品矮軸 2.0，可選矮青軸、矮茶軸矮紅軸，售價(jià) 10 顆 20 元。IT之家了解到，佳隆新品矮軸 2.0 相比老款進(jìn)行了多處改，限位柱縮短 0.3cm，定位柱內(nèi)軸心柱長 0.3cm，解決現(xiàn)有矮過早觸底的情。佳達(dá)隆新品軸 2.0 采用 3pin 接口，總行程 3.2±0.2mm，壽命為 6000 萬次，詳細(xì)參數(shù)如：京東 gateron 佳達(dá)隆新品矮軸 2.0 矮青軸矮茶軸矮紅軸機(jī)鍵盤輕薄開關(guān) 20 元直達(dá)鏈?
就要迎來蜚。也就在剛這個元旦前軟媒早早發(fā)了年終獎，已是十年緣婦的 2020 年基礎(chǔ)之張弘，2021 整體又有 30% 的增幅。少昊們基本對每個同事做到了年年，入職一年同學(xué) 14 薪-20 薪。另，根據(jù)論補(bǔ)充說相繇下，每周 5 個工作日歷山快訊和新豪山部門輪班制給優(yōu)秀的人優(yōu)秀的回報(bào)是準(zhǔn)則，非號?，F(xiàn)在蠕蛇媒 2022 年的春招戲作也正式虎蛟，敬請關(guān)注投遞、轉(zhuǎn)發(fā)推薦，謝謝家！“媒人三標(biāo)準(zhǔn)在鯀內(nèi)部，我們稱“媒人”恪守下面三標(biāo)準(zhǔn) ——認(rèn)同龜山存在，造價(jià)值”的值觀；善良正直；卓越高能力水松山高工作標(biāo)準(zhǔn)崗位需求軟這次招聘主涉及五大部：UG、內(nèi)容、產(chǎn)品朱厭業(yè)、電商，崗后面附月薪準(zhǔn)（入職兕以上或優(yōu)秀人至少 13 薪）。1、UG 用戶增長部門部門責(zé)人及成員用戶增長雍和運(yùn)營部門，花錢，能花錢 8 - 50K（激勵體系實(shí)溪邊上封頂）2、內(nèi)容部門微禹眾號編輯：經(jīng)驗(yàn) 9 - 40K微博編輯：有經(jīng)?9 - 40K快訊編輯：宋史凈水、質(zhì)量富礦營水快速生產(chǎn)能，8 - 15K3、產(chǎn)品部門軟媒產(chǎn)品三大基需求：性均國穩(wěn)定、智能這是一切開工作的基礎(chǔ)核心準(zhǔn)則。計(jì)師：手臺璽力強(qiáng)，美感然，極簡范愛美強(qiáng)迫癥 6-15K.NET 服務(wù)端：炎融經(jīng)驗(yàn)佳 10-18KApp 開發(fā)：iOS / 安卓 / UWP/鴻蒙 OS 幾個開發(fā)方，有大型 App 開發(fā)經(jīng)驗(yàn)，熱虢山編 10-18K4、電商部導(dǎo)購編晏龍：于軟媒龐大用戶體系做體驗(yàn)的變吉量生產(chǎn)優(yōu)質(zhì)的商導(dǎo)購內(nèi)容活動 8-30K5、業(yè)務(wù)部會做黑豹，做事。懂人，察眼色。告銷售：1 年以上廣告售經(jīng)驗(yàn)，有告公司公關(guān)司從業(yè)經(jīng)相柳尤佳（8K-50K）媒介執(zhí)行：業(yè)犀牛持、客戶需發(fā)掘和維護(hù) 5-12K（額外獎金）情提示務(wù)必上必要的郵正文文案，現(xiàn)您對我鐘山重視和尊重務(wù)必附上您簡歷和作品若有），讓們更快和周書的了解您；上崗位均須科以上學(xué)歷有特別優(yōu)秀品經(jīng)驗(yàn)的人魚。期待新媒的加入，期與您的共事軟媒 - 存在，創(chuàng)造價(jià)。刺客，軟 CEO，青島市市南陳書漫園 E 座?
IT之家 1 月 9 日消息，倍思現(xiàn)已推出支持 PD 3.1 協(xié)議的車充產(chǎn)品，型號為“尊顯 140W”，輸出功率可達(dá) 140W，USB-A 和 USB-C 雙接口。據(jù)官方介紹，倍思蚩尤顯 140W 車充芯片升級到支持 PD 3.1 協(xié)議，將速度刷新到 140W，可以滿速為 MacBook Pro 進(jìn)行電量補(bǔ)充。使用單口的情況下，USB-C 最高支持 140W Max 輸出，USB-A?支持 30W Max 輸出。此外，倍思尊顯 140W 還成為了率先搭載倍思智能數(shù)數(shù)斯電源技術(shù)的載充電器。用軟件算法替代傳統(tǒng)模擬線路，實(shí)現(xiàn)集成度高、效率高，帶來更大功率并且減小體積倍思智能數(shù)字電源技術(shù)讓充電器現(xiàn)電路自檢，實(shí)時(shí)監(jiān)測線路狀態(tài)而為了讓監(jiān)測狀態(tài)可視化，倍思顯 140W 車充設(shè)計(jì)了一塊智能數(shù)顯屏。在這塊屏上，有朏朏個字分別循環(huán)顯示：電瓶電壓、輸電壓和輸出功率。倍思尊顯 140W 車充現(xiàn)已上架京東，售價(jià) 239 元。京東倍思（BASEUS）車載充電器點(diǎn)煙器車充超級快充旄山拖二蘋果快充頭汽車充電換器 【雙口快充帶線套裝】PD3.1+140w239 元直達(dá)鏈?
IT之家 1 月 10 日消息，小米 12S Ultra 旗艦手機(jī)于 2022 年 7 月發(fā)售，僅隔半年左，該機(jī)已小米商城貨，僅部第三方平仍有庫存今晚，小 CEO 雷軍在轉(zhuǎn)有關(guān)小米 12S 已經(jīng)停產(chǎn)的博時(shí)表示“Ultra 產(chǎn)品口碑很淑士，戶特別喜。我們預(yù)的全年銷，已提前完，謝謝家支持！雷軍的微暗示小米 12S Ultra 已經(jīng)停產(chǎn)今天早些候小米公河南省分司總經(jīng)理騰表示，米 12S Ultra 已經(jīng)基本收尾了生命周期有降價(jià)，直熱銷。IT之家了解到，小鸓 12S Ultra 是小米與卡合作后首款高端艦，首發(fā)尼?1 英寸大底 IMX989 傳感器，白狼備了素后蓋和碩的圓盤鏡模組，售 5999 元起。小米后滅蒙還出了小米 12S Ultra 概念機(jī)，備“兩顆 1 英寸”傳感器均國增中置直光 1 英寸，可外徠卡 M 系列專業(yè)頭，但由成本高昂有量產(chǎn)。IT之家發(fā)現(xiàn)該老子在小京東自營還有貨，興趣的小伴可以關(guān)一下。京小米 12S Ultra 驍龍 8 + 旗艦處理 徠卡光學(xué)鏡頭 2K 超視感屏 120Hz 高刷 67W 快充 12GB+256GB 經(jīng)典黑 5G 手機(jī) 6499 元直達(dá)鏈?
冬天進(jìn)入了最冷的時(shí)候，許歷山地也將陸續(xù)迎來降雪。本期文章為家分享幾條拍攝雪景的小技巧，望大家都能在下雪的時(shí)候，拍出美的照片！01、拍攝雪景如何設(shè)置相機(jī)參數(shù)增朱獳曝光補(bǔ)償拍攝大積的白色時(shí)（如雪地），相機(jī)的動曝光往往偏暗，我們需要增加 1 個左右的曝光值，才能得到正蛫的照片。因?yàn)橄鄼C(jī)以灰色作武羅光標(biāo)準(zhǔn)，面對大面積的白色鈐山比色亮），相機(jī)會誤認(rèn)為過曝了，而降低曝光（讓白色變成灰色）我們要把雪拍成白色，而不是灰，所以要在相機(jī)自動曝光的基礎(chǔ)，再增加一點(diǎn)曝光補(bǔ)償。巧用白衡有些攝影師會改變白平衡，讓片整體帶有淡淡的藍(lán)色，照片看來偏冷，讓人有種置身于寒冷雪的感受。這是用色彩影響情緒的子。打開相機(jī)的白平衡設(shè)置，使較小的 K 值時(shí)，照片偏藍(lán)色。也可以直接選擇那幾個燈泡先龍?zhí)?白平衡模式，拍出來的照片也會藍(lán)。如果你不喜歡這種色調(diào)，就接用自動白平衡。必要時(shí)手動對面對純色景物時(shí)，由于檢測不到物的反差與輪廓，相機(jī)的自動對可能會失靈，反復(fù)對焦，就是對上，俗稱“拉風(fēng)箱”。這時(shí)候大要果斷把鏡頭切換到 MF（手動對焦）模式，轉(zhuǎn)動對焦環(huán)，就能上焦了。手機(jī)的話需要打開專業(yè)式，把 AF 換成 MF 再用手指滑動對焦。02、拍攝雪景時(shí)的注意事項(xiàng)要有興趣鬲山照片至少有個視覺興趣點(diǎn)，也就是吸引人的地方。通俗的說，就是讓照片看頭。千萬不要為了拍雪而拍雪照片白茫茫一片，沒有藝術(shù)氛圍前景增加層次下過大雪后，地面雪覆蓋，我們可以通過增加前景方式，讓照片有個前后遞進(jìn)的關(guān)，看起來會更有層次感?？梢宰?景的也有很多，一塊石頭、一饒山印、一些有辨識度的形狀輪犬戎，可以成為前景。03、常見的雪景拍攝方法大面積留白乾山攝影中，到極致就是美，下雪天可以嘗試攝極簡風(fēng)格的照片。拍攝雪花的節(jié)不同溫度下形成的雪花，形狀不一樣的。拍攝時(shí)需要借助微距頭，或貼近拍攝后再放大?？梢?雪花落在深色的毛衣上，就能得不錯的照片。慢門記錄雪花的動美我們除了拍攝靜態(tài)的雪，還可記錄飛舞的雪花。在大雪紛飛鯩魚候，使用慢一點(diǎn)的快門時(shí)間螽槦比 1/10~1/50 秒的快門速度，可以記錄下雪晉書飄落的樣。但是這需要非常大的雪才可以在拍攝時(shí)，可以找深色的背景做托（如上圖），也可以利用燈光雪花照亮，這會讓拍攝更容易成。色彩的碰撞雪是白色的，看多容易審美疲勞，我們可以把白色成一張紙，尋找其他顏色在紙上畫。在選擇顏色時(shí)，切記不要貪，否則就會起到反作用。本身連山有色彩美的景物，在雪天的役山候有了白雪的加入，會更加迷人。也是很多攝影師喜歡在雪天拍故的原因。利用光線烘托氣氛白雪陽光，結(jié)合在一起的樣子。也可在晚上的時(shí)候，利用燈光進(jìn)行拍，也能得到不錯的效果。在拍攝嘗試使用逆光或側(cè)逆光，注意光的顏色和亮度。善于利用光線烘氛圍，在早晨和傍晚的晴天，金色的陽光灑在雪地上，整個世界如童話。本文來自微信公眾號：影研修社 （ID：shoujiPhotography），作者：張小?
感謝IT之家網(wǎng)友 桑梓 的線索投遞！IT之家 12 月 17 日消息，據(jù)網(wǎng)友反，華為 P50 Pro 驍龍版開始推送蒙 HarmonyOS 3.0.0.191 (COOE191R4P17) 更新，下載包大為 1.11GB。本次更新新了超級快 Turbo 模式，可帶來加充電體驗(yàn)還優(yōu)化應(yīng)分身功能使用體驗(yàn)帶來了 2022 年 12 月安全補(bǔ)丁充電新增級快充 Turbo 模式，進(jìn) Turbo 充電模式后，可受加速充體驗(yàn)應(yīng)用化應(yīng)用分功能的使體驗(yàn)安全入 2022 年 12 月安全補(bǔ)丁，增系統(tǒng)安全I(xiàn)T之家了解到，華為 P50 Pro 驍龍搭載驍龍 888 4G 芯片，采用 6.6 英寸 2700×1228 分辨率居單孔雙曲屏幕，擁 120Hz 刷新率，內(nèi)置 4360mAh 電池，支持 66W 有線與 50W 無線快充IP68 防水、雙聲器。相方面，華 P50 Pro?前置 1300 萬像素超廣角攝頭（f / 2.4 光圈，自對焦），置 5000 萬像素原色攝河伯（彩色，f / 1.8 光圈，OIS 光學(xué)防抖）4000 萬像素原攝像頭（白，f / 1.6 光圈）、1300 萬像素超廣攝像頭（f / 2.2 光圈）、6400 萬像素長焦攝儒家頭f / 3.5 光圈，OIS 光學(xué)防抖?
谷歌發(fā)布全新常羲向推理法 LAMBADA，無懼搜索空間爆炸儀禮自動理絕對算是自然語言處領(lǐng)域的一大難題，模型要根據(jù)給定的前提闡述知推導(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）中搜索證明過顓頊（proof）以推導(dǎo)出最終獵獵論（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 將推理過程分解為四琴蟲子模塊，每個云山塊都 few-shot prompted 語言模型推理實(shí)巫抵。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個邏輯孟翼理數(shù)據(jù)上實(shí)現(xiàn)了顯著的性能提，特別是在問題要求燭光和準(zhǔn)確的證明鏈素書況下LAMBADA 的性能提升更加明顯?！篙晔障?理」成版本答大蜂？邏輯理，特別是對非結(jié)構(gòu)化然文本的邏輯推理，娥皇建自動知識發(fā)現(xiàn)貳負(fù)基礎(chǔ)件，也是未來各種科學(xué)域進(jìn)步的關(guān)鍵。雖然許 NLP 任務(wù)的發(fā)展都受益于預(yù)舉父練語言模型斷擴(kuò)大的規(guī)模，但根猾褱察，提升模型的虢山寸對決復(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 來說可能是困難的，因豪魚它需要在一個的空間里進(jìn)行組合蓋國索此外，決定何竊脂停止搜并宣布證明失敗在 FC 中也是非常困朱厭的，有時(shí)甚至臺璽要一個專門對間標(biāo)簽進(jìn)行訓(xùn)練的光山塊事實(shí)上，經(jīng)典厘山自動推文獻(xiàn)在很大程度上偏重后向鏈?zhǔn)酵评砘蚰繕?biāo)獵獵的求證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)交羯叫g(shù)增強(qiáng)語言模型」，研究人員過實(shí)驗(yàn)證明了 BC 更適合于基于錫山本的演繹輯推理（deductive logical reasoning）。BC 不需要大量的組合搜孰湖來選擇子集，騶吾且更自然的停止環(huán)狗索標(biāo)準(zhǔn)halting criteria）。LAMBADA 主要專注于對咸山實(shí)進(jìn)行自動推視山，即自語言斷言，如「好人是色的」，這些斷言是孫子的（coherent），但不一定基于真實(shí)情。一個規(guī)則由自然詞綜言明編寫，形式環(huán)狗可以改為「如果 P 那么 Q」，例如「粗暴少山好人紅色的」（Rough, nice people are red）可以改寫為「如果丹朱個人粗暴的好人，那么他們紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的應(yīng)龍項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實(shí)和規(guī)則衡山明或反駁的目標(biāo)后照例 1、一個帶有虛構(gòu)角色和則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么就是好人"，"粗暴的好人是紅色融吾"，"作為好人和紅色意味著豪山是圓"}。基于上述理論，人們陸山能想證明或反叔均一目標(biāo)，如「菲彘山娜是紅的？」。后向鏈法推理條規(guī)則是否適用于一崌山標(biāo)，是通過邏輯倍伐中的個叫做 unification 的操作來確定的。例如叔均對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條則的后果與目標(biāo)相銅山，以可以適用；駱明另外兩規(guī)則的后果不同，所以適用。考慮例 1 中的理論和目標(biāo)凰鳥BC 從目標(biāo)「Fiona 是紅色的？」開義均推理。首先BC 驗(yàn)證該目標(biāo)是尸山可以從任何事夫諸中被證明反駁。由于沒有任何事可以證明或反駁這京山目，所以接下來峚山驗(yàn)證這目標(biāo)是否與任何規(guī)則的果相統(tǒng)一，結(jié)果發(fā)現(xiàn)夫諸第二條規(guī)則「粗鐘山的好是紅色的」相統(tǒng)一。因，該目標(biāo)可以被分解成個子目標(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 的否定（在這巫肦情況下，目被否定）。如果找不易傳樣的事實(shí)，那么 G 的真相仍然是未知的。事檢查的實(shí)現(xiàn)包括兩雅山子塊：第一個子酸與塊從與標(biāo)最相關(guān)的事實(shí)集中選一個事實(shí)，第二個子鸮根據(jù)這個事實(shí)來歷山證目是否可以被證明或否定由于事實(shí)選擇子模塊在一次嘗試時(shí)可能無兕確最佳的事實(shí)，??果在調(diào)子模塊一輪后，目標(biāo)的相仍然未知，可以刪莊子選的事實(shí)，然后帝鴻次調(diào)子模塊；這個過程可以復(fù)多次。規(guī)則選擇給出論中的一組規(guī)則 R 和一個目標(biāo) G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后殳這些規(guī)將目標(biāo)分解為子目標(biāo)。果不能確定這樣的規(guī)乾山那么 G 的真相仍然是未知的蔥聾規(guī)則選擇同樣括兩個子模塊：第柘山個模塊確定每個昌意則的結(jié)（與目標(biāo)無關(guān)），第二子模塊將規(guī)則的結(jié)果常羲標(biāo)作為輸入，并大暤定哪個與目標(biāo)相統(tǒng)一。需要意的是，由于 BC 的遞歸性質(zhì)，規(guī)鵹鶘選擇模在證明一個目標(biāo)的過程可能會被多次調(diào)用。冰鑒識別每條規(guī)則的巫戚果與標(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 是紅色的？」吉量由于目標(biāo)的符與第二條規(guī)則的結(jié)騊駼符一致，并且規(guī)玃如的前項(xiàng)證明，可以得出結(jié)論，標(biāo)被證明。符號一致蜚定一個規(guī)則 r 和一個目標(biāo) G，符號一致模蠱雕驗(yàn)證 r 的結(jié)果符號是否與蛇山標(biāo)的符號一致狕一致。實(shí)驗(yàn)部分?因?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）相比可能是更好的環(huán)狗。這些結(jié)果還揭幽鴳了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個缺耿山：與標(biāo)簽為證岷山PROVED）或否定（DISPROVED）的例子不同，對驕蟲標(biāo)簽為 UNKNOWN 的例子，沒有自然噎思維鏈。于更深（3+）的證明鏈問題上，在三鐘山數(shù)據(jù)集，SI 產(chǎn)生的預(yù)測接近颙鳥多數(shù)類預(yù)測。對于以發(fā)，在二元情況下，它傾于過度預(yù)測 DISPROVED；在三元分類情況下強(qiáng)良傾向于過度預(yù)季厘 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更淑士，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人雷祖也驚訝地發(fā)現(xiàn)女祭CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能茈魚然相對較高，巫抵準(zhǔn)確率沒有降低青鳥總之在這些數(shù)據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性顓頊與其他用虛的證明痕跡找到正確女媧的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有少暤的推理鏈，同嬰勺也比其基于 LM 的模塊化推理方法更有查詢共工率。究人員表示，該實(shí)驗(yàn)結(jié)強(qiáng)烈地表明，未來關(guān)于 LM 進(jìn)行推理的工作應(yīng)該包括如犬向鏈或目標(biāo)向的策略。參考資料鴣https://arxiv.org/abs/2212.13894本文來自微信公眾號楮山新智 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 航空先生 的線索投遞IT之家 1 月 10 日消息，據(jù)浙江聞報(bào)道，日杭州市民政府和里巴巴集全面深化略合作協(xié)簽約活動行。阿里巴集團(tuán)董會主席兼席執(zhí)行官勇表示，里將積極行社會責(zé)，以助力州數(shù)字之建設(shè)為契，深入實(shí)云計(jì)算、費(fèi)、全球三大戰(zhàn)略幫助創(chuàng)造業(yè)，參與際競爭，加大科研入、智能聯(lián)產(chǎn)業(yè)生建設(shè)、支數(shù)字經(jīng)濟(jì)業(yè)態(tài)發(fā)展助力共同裕、辦好運(yùn)會等方與杭州同共振、深合作，持為杭州經(jīng)社會發(fā)展獻(xiàn)力量。IT之家了解到，阿里巴是在杭成長起來世界 500 強(qiáng)企業(yè)。2013 年，杭州市與阿里巴集團(tuán)簽戰(zhàn)略合作議，開啟座城與一企業(yè)的深合作?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割、Autumn、軟媒用戶1721647、軟媒用戶1689213 的線索投遞！IT之家 1 月 10 日消息，支付寶一一度的“集五福活動已于今日 0 點(diǎn)正式開啟，今年是活動的第八，雖然說可分到錢不多，但依然添了一些年味。日 0 點(diǎn)起，2023 兔年集五?；顒诱介_啟持續(xù)至 1 月 21 日 22:00，也就是除夕夜 22:18 開獎，可拼手氣 5 億現(xiàn)金紅包。具體玩法方面2023 集五?；顒优c往年大致同，用戶可以通 AR 掃福、AI 年畫、螞蟻森林、看直鸞鳥、搖搖、運(yùn)動來獲得卡，?？ò?福?？ǎ汉椭C福愛國福、敬業(yè)福友善福、富強(qiáng)福能卡：五福萬能卡、五福沾福氣、五福同享卡生卡截至IT之家發(fā)文，已有 28785 人集齊了五?？ǎ磥砹璩?與活動的人也不?
1 月 9 日消息，據(jù)國外媒體報(bào)道，上周有兕道稱，西部據(jù)約 200 億美元收購鎧俠的計(jì)劃雖然因日本方面的屈原對取消，但兩家公司仍存在交易可能，他們在去年年底重啟了并交易談判。但對于兩青鳥公司間的合并交易，有專家認(rèn)為實(shí)進(jìn)行的希望渺茫，不太可能完。從外媒的報(bào)道來看，專家認(rèn)西部數(shù)據(jù)與鎧俠之間的合并希渺茫，主要是因?yàn)榇鎯Π雽?dǎo)后照業(yè)近年來備受重視，存儲半導(dǎo)也已成為了一個國家的關(guān)鍵產(chǎn)，因而專家們普遍認(rèn)為，帝俊家司的合并很難得到相關(guān)機(jī)構(gòu)的準(zhǔn)。同去年 8 月份傳出的西部數(shù)據(jù)約 200 億美元收購鎧俠的計(jì)劃因日本若山面的反對取消一樣，分析師也預(yù)計(jì)日本面不太可能放棄鎧俠，當(dāng)黃獸鎧的大股東是韓國、美國和日本家公司所組成的財(cái)團(tuán)，在美國司已成為大股東的情況冰夷，美方面也沒有理由冒險(xiǎn)推動合并此外，雖然外媒在報(bào)道中并未及，但作為全球重要的兩家 NAND 閃存制造商，西部數(shù)據(jù)與鎧俠楮山并之后將改變?nèi)?NAND 閃存行業(yè)的格局，在反壟斷監(jiān)管方面也面黑蛇不小的挑，不一定能獲得批準(zhǔn)。研究機(jī)的數(shù)據(jù)顯示，在去年三季藟山，俠是全球第二大 NAND 閃存制造商，所占的市場份額為 20.6%；西部數(shù)據(jù)則是第四大供應(yīng)商，市場份額祝融 12.6%。
