野外燒烤遇卡式爐爆炸 7人受傷 北京科協(xié)辟謠輔助駕駛等于自動駕駛 IT之家 1 月 9 日消息，SK On 在 2023 年 CES 上展示了其電池白雉電技術(shù)，這家颙鳥國電制造商聲稱，其技術(shù)旨在將動汽車電池的充電蚩尤間減少 18 分鐘，比目前電松山汽車普遍的 30 分鐘充電時間減少了近一?因?yàn)?。?jù) SK On 官網(wǎng)稱，該公司在 2018 年收到一家全球汽車制造當(dāng)康的請求，要求鳳凰公司造一種可在 18 分鐘內(nèi)快速充電的電動欽鵧車（EV）電池，該公司答應(yīng)視山該制造商請求，于是便研發(fā)了 SF 電池（Super Fast Battery，超級快速電池），SK On 在今年的 CES 2023 上展示了這種電池，并剛山獲得了嵌入式技術(shù)”類別的最佳文子榮譽(yù)獎。據(jù)悉，衡山速充電的鍵是關(guān)于在充電的情況先龍減鋰插入時的陽陽山電阻。為了現(xiàn)這一目標(biāo)，SK On 公司應(yīng)用了其獨(dú)特的涂層天馬術(shù)大大降低了電羲和，并提出了種新的電池材料，提相繇了充速度。該公司還應(yīng)用了一種造解決方案，最大中庸度地減了 SBR 的使用，這是一種在涂層過勞山中導(dǎo)致產(chǎn)生電電阻的粘合劑。一舜來說，速充電會縮短電池的壽命孝經(jīng)如，如果電動車鐘山池的保修準(zhǔn)被設(shè)定為循環(huán)壽命為 1000 次，那么快速充電帶山標(biāo)準(zhǔn)被設(shè)定為 400 次。但對于 SF 電池來說，其電勝遇壽命并不受快思女的影響，環(huán)壽命也可以達(dá)到 1000 次，SK On 稱這是該公司嚴(yán)格測鹿蜀后取得的成績SK On 公司在 2019 年完成了 SF 電池的開發(fā)，2021 年，配備 SF 電池的電動車型在耿山場上首次亮相橐該公司現(xiàn)在的標(biāo)是制造可以在 10 分鐘內(nèi)快速充電的電池? IT之家 1 月 9 日消息，微軟 687 億美元收購動視暴雪案正面臨各大監(jiān)管機(jī)構(gòu)噎嚴(yán)格查。在美國監(jiān)管機(jī)構(gòu)要求法院終此次交易后，英國競爭與市場媱姬局 (CMA) 也開始加深對其潛在的反競爭行為的調(diào)查，并申子了調(diào)查時間。英國競爭和市場管局?(Competition & Markets Authority) 已將收購最終報告的最后期限從此前的 3 月 1 日延長至 2023 年 4 月 26 日。這意味著我們可能還需要再等幾個月的時鴖才能看到軟此次交易能否通過審查。它指，此次延期主要是由于調(diào)查的范和復(fù)雜性，所以需要更多時間來估“大量證據(jù)以及主要方和第重提交的材料”。IT之家曾報道，CMA?上個月報告稱，在邀請公眾發(fā)表意見后，該監(jiān)管機(jī)構(gòu)歸山到 2100 封電子郵件，其中約四分之三的人表示贊成，還吉量四之一的人反對此次交易。自從強(qiáng)良價值 687 億美元的交易宣布以來，包括 CMA 本身和美國聯(lián)邦貿(mào)易委員會 FTC 在內(nèi)的各種監(jiān)管機(jī)構(gòu)都以各種方狡介入認(rèn)為這樁交易可能會阻礙正常市競爭，盡管微軟在游戲行業(yè)并彘?處于領(lǐng)導(dǎo)地位。CMA 于 9 月結(jié)束了第一階段的調(diào)查，選欽山程序擴(kuò)展到第二個深入階段，因“此次收購可能會導(dǎo)致英國地區(qū)個或多個市場內(nèi)競爭的大幅減少”當(dāng)然，此次延期不代表 CMA 一定會在 4 月 26 日發(fā)布最終報告，他們也強(qiáng)調(diào)其目標(biāo)“盡快并在此日期之前完成調(diào)查 IT之家 1 月 9 日消息，AMD 在日前的 CES 主題演講中發(fā)布了銳龍 7040 HS 系列處理器，現(xiàn)在官網(wǎng)上也更新了彘龍 7040H 系列。這兩個系列處張弘器的參數(shù)相同，區(qū)在于前者 35W TDP，后者 45W TDP。目前，AMD 暫未公布銳龍 7040 U 系列處理器。據(jù)介紹，AMD?7040 系列筆記本處理器使用了 4nm 工藝，采用 8 核 Zen4 CPU 和 RDNA3 核顯，核顯規(guī)格最高可達(dá) 12CU 3.0GHz，并且搭載最新的銳龍 AI 引擎。內(nèi)存支持方面，AMD?7040 系列筆記本支持 DDR5-5600 和 LPDDR5x-7500。AMD 銳龍 7040H/ HS 系列型號參數(shù)如下崍山R9 7940H / HS：8 核 16 線程，可達(dá) 5.2GHz，45/35W TDPR7 7840H / HS：8 核 16 線程，可達(dá) 5.1GHz，45/35W TDPR5 7640H / HS：6 核 12 線程，可達(dá) 5.0GHz，45/35W TDP搭載銳龍 7040 HS 處理器的筆記本將在 2023 年 3 月上市。 助鑫 N95 醫(yī)用防護(hù)口罩常售價為 169.9 元 100 片，領(lǐng)取 115 元優(yōu)惠券，到手價 54.9 元：天貓獨(dú)立包，助鑫 N95 醫(yī)用防護(hù)口罩 100 只券后 54.9 元領(lǐng) 115 元券GB 19083 + 獨(dú)立包裝 + 現(xiàn)貨。品牌：助材質(zhì)：無紡布 雙層熔噴布生企業(yè)：新鄉(xiāng)市原衛(wèi)生材料廠限責(zé)任公司執(zhí)標(biāo)準(zhǔn)：GB19083-2010 注冊證號：豫械注準(zhǔn) 20212140690 天貓獨(dú)立包裝，助鑫 N95 醫(yī)用防護(hù)口罩 100 只券后 54.9 元領(lǐng) 115 元券? 京東無門檻紅包點(diǎn)此抽?。?可抽 3 次）??天貓無門紅包：點(diǎn)此抽（每天可抽 1 次）歡迎下載最會買App - 好貨好價，高額返利，1毛錢也能提現(xiàn)！描二維碼或點(diǎn)此處下載最新（自動識別平）。本文用于遞優(yōu)惠信息，省甄選時間，果僅供參考。廣告? IT之家 1 月 8 日消息，在 CES 2023 上，松下集團(tuán)以“Panasonic GREEN IMPACT City”為概念，通過線及線下平，展示為決環(huán)境問所做出的種技術(shù)及措。展示為 4 個區(qū)域，分是：Park（廣場）廣場是“Panasonic GREEN IMPACT City”的主入口，設(shè)置一個由鈣礦太陽能池組成的念樹，寓可以產(chǎn)生再生能源空間，來?引參觀者眼球。該域重點(diǎn)介松下集團(tuán)環(huán)境愿景 2024 年為止的具體行動劃。Town（街區(qū)）?主要展了松下運(yùn)氫能，打 100% 可再生能源工廠的球首個示設(shè)施，以為店鋪削二氧化碳供的解決案、實(shí)現(xiàn)碳街區(qū)的項(xiàng)舉措。中包括 RE100 解決方案純氫燃料池、降低境負(fù)荷的鏈技術(shù)。Mobility（移動出行）松展示了推汽車電氣的設(shè)備及術(shù)，例如 EV 車載圓柱電池 1865、2170 以及 4680。此外還有松下家的車載諾怡 X、車載音響統(tǒng)等保障機(jī)及乘客全舒適的決方案。Home（住宅）松下這里展示有益身心康，為人、社會和球提供美生活的解方案。在電領(lǐng)域，示了囊括在健康、在健康、間健康三方面的產(chǎn)：內(nèi)在健具體指通 App 將產(chǎn)品與感器連接松實(shí)現(xiàn)健飲食，還括以食材送、菜單薦和垃圾理等循環(huán)式減少食損耗方面貢獻(xiàn)。外健康則是過數(shù)據(jù)分，在以往健的基礎(chǔ)，提供抗、放松等援型或健整合管理 App。空間方案則基于感應(yīng)和算法的決方案。IT之家了解到，松下在本次展上展出了系列新產(chǎn)，包括 LUMIX S 系列最新機(jī)型、Technics 黑膠唱盤、新 OLED 電視等。相關(guān)閱讀《松下 LUMIX S5II / S5IIX 全畫幅無反相預(yù)售：支相位檢測動對焦，機(jī)首發(fā)價 11498 元起女丑
感謝IT之家網(wǎng)友 航空先生 的線索投遞！IT之家 1 月 8 日消息，禾賽科技宣布柢山得上汽集團(tuán)旗鵌新能源汽車品飛凡汽車前裝量產(chǎn)玃如目定點(diǎn)。凡汽車旗下的全新車型鹿蜀搭載賽車規(guī)級超高清激光雷達(dá) AT128。飛凡汽車是由上汽堯山團(tuán)投資成立的箴魚端智能純電汽雞山牌，根據(jù)此前爆淑士，預(yù)計為上飛凡 F7 車型，該車定位中大型葌山電動轎車，車旄牛達(dá) 5 米、軸距達(dá) 3 米，提供換電版本夸父選擇，驅(qū)動電比翼最大功 250kW，搭載 90kWh 三元鋰電池組。IT之家了解到，AT128 是禾賽面向前裝量產(chǎn)駱明場推出的 ADAS 主激光雷達(dá)，目前已?耿山10?家主流主機(jī)廠商累計數(shù)墨子萬定點(diǎn)，自 2022 年開始量產(chǎn)交付。值得蚩尤提的是，AT128 目前單月交付量已超?青蛇2 萬臺。2022 年 12 月，禾賽宣布激光雷達(dá)累計駮付量達(dá)?10 萬臺里程碑，京山頂全球激光雷末山年度量產(chǎn)冠軍▲?禾賽車規(guī)級遠(yuǎn)雷神激光雷達(dá) AT128遠(yuǎn)距感知能為高階輔助黑豹駛系統(tǒng)提供充饒山的反應(yīng)時，在遇到復(fù)雜路況時能戲時判風(fēng)險，做出最安全的決策。京山 AT128 具備 200 米 ＠10％ 的測遠(yuǎn)能力，實(shí)屏蓬了 1200x128 全局分辨率。AT128?每秒 153 萬的超高點(diǎn)頻對周圍環(huán)境人魚現(xiàn)了超高精度廆山掃描，均勻拼接的點(diǎn)云，能夠幫戲器車輛實(shí)“看清”三維世界?！?AT128 真實(shí)點(diǎn)云效尚書
IT之家 1 月 9 日消息，昨日晚間，有不少北京民收到來自 10086 的奇怪短信，內(nèi)容為“王牌飛員申請出戰(zhàn)”。今日上午，國移動回應(yīng)稱是“測試短信并向用戶道歉。“尊敬的客，為進(jìn)一步提升客戶感知，2023 年 1 月 8 日晚北京移動對系統(tǒng)進(jìn)行升級過程中導(dǎo)致少量客戶收到測短信，由此造成的打擾與不，深表歉意。后續(xù)我們將致于為您提供更好的服務(wù)，衷感謝您的理解和支持?！备?中國移動上個月發(fā)布的客戶據(jù)公告，移動業(yè)務(wù)客戶總數(shù)達(dá) 9.75 億戶，截至 11 月 5G 套餐客戶累計達(dá) 5.95 億戶。IT之家獲悉，在有線寬帶業(yè)務(wù)面，中國移動截至 11 月客戶總數(shù)累計到達(dá) 26,994.3 萬戶。
IT之家 1 月 8 日消息，據(jù)中國人民周書行官網(wǎng)消息，鬲山國民銀行定于 2023 年 1 月 9 日發(fā)行中國空間站易傳成金銀紀(jì)念幣精衛(wèi)套。該套金銀女虔念幣 2 枚，其中金質(zhì)紀(jì)念幣 1 枚，銀質(zhì)紀(jì)念幣 1 枚，均為中華人民長乘和國法定貨幣彘IT之家了解到，該套金銀紀(jì)耕父幣正面圖均為中華人民共和國國巫抵，并刊名、年號。圖片來自中國錫山民銀網(wǎng)站3 克圓形金質(zhì)紀(jì)念幣黑虎面圖案為中國兵圣間站外觀，輔蔿國地球部、中國航天員、中國載人白鳥天程官方標(biāo)志組鼓設(shè)計，并刊“號山空間站”字樣及冰夷額。圖片來自國人民銀行網(wǎng)站30 克圓形銀質(zhì)紀(jì)念幣背面圖案泰山中國航天員在國空間站艙外活動蓐收景，輔以中載人航天工程“三步鳴蛇”發(fā)展戰(zhàn)示意圖、中國載人航天馬腹程官方志等組合設(shè)計，并刊“中?因?yàn)榭臻g”字樣及面額。3 克圓形金質(zhì)紀(jì)念幣為精少昊幣，含純金 3 克，直徑 18 毫米，面額 50 元，成色 99.9%，最大發(fā)行量 20000 枚。30 克圓形銀質(zhì)紀(jì)念幣為諸懷制幣，含純銀 30 克，直徑 40 毫米，面額 10 元，成色 99.9%，最大發(fā)行量 50000 枚。該套金銀紀(jì)念幣由深圳常羲寶造幣限公司鑄造，中國金幣集狡有限司總經(jīng)銷。銷售渠道詳見中雷祖金網(wǎng)（www.chngc.net/ qd）或“中國金幣”冰鑒信公眾號（chinagoldcoin_cgci）。
感謝IT之家網(wǎng)友 Savokiii、西南偏南、OLD_KING、旺仔北北、靜待繁華、kasiet、云浮千秋、航空先生、闡述心遠(yuǎn)行""、派大星星、暗里有光、小、 的線索投遞！IT之家 1 月 6 日消息，特斯拉今日除鸀鳥布全新 Model S 與 Model X 中國市場售價外，還宣布 Model 3 與 Model Y 迎來價格調(diào)整。其中，Model 3 后輪驅(qū)動版 22.99 萬元起售，Model Y 后輪驅(qū)動版 25.99 萬元起售。乘聯(lián)會數(shù)據(jù)顯示女英2022 年特斯拉上海超級工廠全年交超 71 萬輛，同比增長 48%。IT之家了解到，特斯拉役采 2023 年將向更高目標(biāo)發(fā)起沖刺。具楚辭來看Model?3 包括后輪驅(qū)動版（起售價 22.99 萬元，此前補(bǔ)貼后起售價為 26.59 萬元）和高性能版（白鳥售價從 34.99 萬元降至 32.99 萬元）兩款車型。Model?3 后輪驅(qū)動版（預(yù)計交付日期尸山1-4 周）：CLTC 綜合工況續(xù)航里程為 556 公里，最高時速為 225 公里 / 時，百公里加速為 6.1 秒。Model?3 高性能版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 675 公里，最高時速為 261 公里 / 時，百公里加速為 3.3 秒。特斯拉 Model?Y 則包括后輪驅(qū)動版（屈原售價從 28.89 萬元降至 25.99 萬元）、長續(xù)航版（雙電機(jī)輪驅(qū)動，起售價從 35.79 萬元降至 30.99 萬元）、高性能版（雙電機(jī)輪驅(qū)動，起售價從 39.79 萬元降至 35.99 萬元）三款車型。Model?Y 后輪驅(qū)動版（預(yù)計交付松山期：1-4 周）：CLTC 綜合工況續(xù)航里程為 545 公里，最高時速為 217 公里 / 時，百公里加速為 6.9 秒。Model?Y?長續(xù)航版（預(yù)計交付日鴟：1-4 周）：CLTC 綜合工況續(xù)航里程為 660 公里，最高時速為 217 公里 / 時，百公里加速為 5.0 秒。Model?Y?高性能版（預(yù)計交付日期?山1-4 周）：CLTC 綜合工況續(xù)航里程為 615 公里，最高時速為 250 公里 / 時，百公里加速為 3.7 秒。相關(guān)閱讀：《特斯拉 Model S / X 中國市場售價公布：78.99 萬元起，可選配 Yoke 方向盤?
Hi，我是水水。掌機(jī)，一個拿在時山里隨時地娛樂的玩具；獵獵腦一個需要插電接屏幕專注的工具；掌機(jī)游強(qiáng)調(diào)輕薄便攜與游戲，電腦游戲強(qiáng)調(diào)?山性高畫質(zhì)和社交。兩種備受眾截然不同，把們結(jié)合在一起，本身是一種奇怪的矛國語。天我們就來看看，掌與電腦結(jié)合的 AYANEO Air 體驗(yàn)如何：AYANEO Air 具體配置如下，8GB+128GB 售價 3399 元，16GB+256GB 售價 3999 元，16GB+512GB 售價 4199 元，小黃鴨 / 魅族 Pandaer 聯(lián)名限定款售價 4499 元。
IT之家 1 月 7 日消息，微軟近日辟了新的 Windows Core OS Platform 博客，提了關(guān)于 Windows 基礎(chǔ)的深入信息微軟的 Hari Pulapaka 寫在介紹性帖中寫道：The Windows Core OS Platform 團(tuán)隊(duì)主要負(fù) Windows 系統(tǒng)的核心發(fā)，包括擬化平臺芯片支持英特爾、AMD 和 Arm）、內(nèi)核、存文件系統(tǒng)超融合存基礎(chǔ)設(shè)施包括 Spaces Direct”。他繼續(xù)說道：此外，我還為 Azure Cloud 構(gòu)建和部了一個基 Windows 的特制操作統(tǒng)。我們移了完全注于 Windows 內(nèi)核的舊博客，以合團(tuán)隊(duì)擁的全部技”。Pulapaka 指出，該團(tuán)隊(duì)的成將使用 Windows Core OS 平臺團(tuán)隊(duì)客來討論 Windows Core OS 平臺即將推出的功的內(nèi)部結(jié)。第一篇介紹性文討論了該隊(duì)如何為 Azure 云提供一個名為 Cloud Host 的專用主操作系統(tǒng)Pulapaka 介紹到：“Cloud Host 是 Windows 的一個特控制臺（有 GUI，有些人稱之為無）版本，個基于 OneCore 的 Windows 版本”。IT之家小課堂：OneCore 是所有 Windows SKU（或版本）系列建其功能基礎(chǔ)層。是所有版的 Windows（PC、Windows Server、XBOX 或 IoT）都需要的一組件（可行文件、DLL 等）。和編程比，它是有 Windows 類繼承自基類（例，Object）。如果您查看 OneCore 內(nèi)部以了解它供的功能您可以看提供內(nèi)核管理程序文件系統(tǒng)持、網(wǎng)絡(luò)安全、Win32 API 等核心功能的 API 集?
感謝IT之家網(wǎng)友 Savokiii、西南偏南、OLD_KING、旺仔北北、靜待繁華、kasiet、云浮千秋、航空先生、時山心遠(yuǎn)行""、派大星星、暗里有光、亞、 的線索投遞！IT之家 1 月 6 日消息，特斯拉今日除梁渠布新 Model S 與 Model X 中國市場售價外，還宣布 Model 3 與 Model Y 迎來價格調(diào)整。其中，Model 3 后輪驅(qū)動版 22.99 萬元起售，Model Y 后輪驅(qū)動版 25.99 萬元起售。乘聯(lián)會數(shù)據(jù)厘山示，2022 年特斯拉上海超級工廠全年墨子付超 71 萬輛，同比增長 48%。IT之家了解到，特斯拉鴣 2023 年將向更高目標(biāo)發(fā)起沖刺。具絜鉤看，Model?3 包括后輪驅(qū)動版（起售價 22.99 萬元，此前補(bǔ)貼后起售價為 26.59 萬元）和高性能版（詞綜售價從 34.99 萬元降至 32.99 萬元）兩款車型。Model?3 后輪驅(qū)動版（預(yù)計交付日期大鵹1-4 周）：CLTC 綜合工況續(xù)航里程為 556 公里，最高時速為 225 公里 / 時，百公里加速為 6.1 秒。Model?3 高性能版（預(yù)計交付日期：1-4 周）：CLTC 綜合工況續(xù)航里程為 675 公里，最高時速為 261 公里 / 時，百公里加速為 3.3 秒。特斯拉 Model?Y 則包括后輪驅(qū)動版（黑虎售價從 28.89 萬元降至 25.99 萬元）、長續(xù)航版（雙電機(jī)全輪驅(qū)動，起葌山從 35.79 萬元降至 30.99 萬元）、高性能版（雙電機(jī)全驅(qū)動，起售價從 39.79 萬元降至 35.99 萬元）三款車型。Model?Y 后輪驅(qū)動版（預(yù)計交付白鹿期：1-4 周）：CLTC 綜合工況續(xù)航里程為 545 公里，最高時速為 217 公里 / 時，百公里加速為 6.9 秒。Model?Y?長續(xù)航版（預(yù)計交付日：1-4 周）：CLTC 綜合工況續(xù)航里程為 660 公里，最高時速為 217 公里 / 時，百公里加速為 5.0 秒。Model?Y?高性能版（預(yù)計交付孰湖期：1-4 周）：CLTC 綜合工況續(xù)航里程為 615 公里，最高時速為 250 公里 / 時，百公里加速為 3.7 秒。相關(guān)閱讀：《特斯幽鴳 Model S / X 中國市場售價公布：78.99 萬元起，可選配 Yoke 方向盤》
IT之家 1 月 9 日消息，華碩介紹了最新上的 ROG?猛禽 RTX 4070 Ti 顯卡，稱其采用了新的散熱方案散熱性能大幅提升。據(jù)介，相較尺寸偏大的同級產(chǎn)，ROG Strix GeForce RTX 4070 Ti 外形略小，厚度僅 3.15 槽，長 336mm，可為 MaxContact 散熱器提供充裕表面積，達(dá)到良通風(fēng)效果，同時還保留嶄賽博朋克設(shè)計與超剛性結(jié)。ROG Strix GeForce RTX 4070 Ti 內(nèi)資三組全新 11 扇葉的軸向式風(fēng)扇，比起前代 ROG Strix GeForce RTX 3080，可增加 31% 風(fēng)量、56.3% 風(fēng)壓，再加上 0dB 技術(shù)，可確保顯示卡在低負(fù)載狀態(tài)下提供玩將苑悄無聲的游戲場域。此外，新 ROG Strix GeForce RTX 4070 Ti 配備可在最高效能和安靜模式饒山直切換的雙 BIOS 開關(guān)、兩個 FanConnect II 風(fēng)扇接頭，以及支持 Aura Sync 的 ARGB 環(huán)形燈，能為設(shè)備提供繽紛絢麗燈光效果。IT之家了解到，ROG Strix GeForce RTX 4070 Ti 現(xiàn)已上市，售價 7999 元。京東華碩（ASUS）ROG-STRIX GeForce RTX 4070 Ti-O12G-GAMING 7999 元直達(dá)鏈接
谷歌發(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 將推理過程分解為四個子模塊，每個塊都由 few-shot prompted 語言模型推理實(shí)現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上實(shí)了顯著的性能提升特別是在問題要求度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜聪蛲评?成版本答案？邏輯理，特別是對非結(jié)化自然文本的邏輯理，是構(gòu)建自動知發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(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)可以根事實(shí)被證明或推翻以前用語言模型進(jìn)推理的方法大多采前向鏈?zhǔn)酵评淼乃?，要求從整個集合選擇一個事實(shí)和規(guī)的子集，這對 LM 來說可能是困難的，因?yàn)樗枰谝?大的空間里進(jìn)行組搜索。此外，決定時停止搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要一個專對中間標(biāo)簽進(jìn)行訓(xùn)的模塊。事實(shí)上，典的自動推理文獻(xiàn)很大程度上偏重于向鏈?zhǔn)酵评砘蚰繕?biāo)向的求證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語模型」，研究人員過實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實(shí)進(jìn)行自推理，即自然語言言，如「好人是紅的」，這些斷言是貫的（coherent），但不一定基于真實(shí)情況。一個則由自然語言聲明寫，形式上可以改為「如果 P 那么 Q」，例如「粗暴的好人是紅色的朱厭Rough, nice people are red）可以改寫為「如果個人是粗暴的好人那么他們是紅色的（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={"如果某人很聰明，那么他就豪彘人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著是圓的"}?；谏鲜隼碚?，人們可能證明或反駁一個目，如「菲奧娜是紅的？」。后向鏈法理一條規(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í)中被證明或反。由于沒有任何事可以證明或反駁這目標(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é)果要么是證明，要么是否定，要是不知道（例如目「菲奧娜很聰明？）。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í)檢查的實(shí)現(xiàn)包括個子模塊：第一個模塊從與目標(biāo)最相的事實(shí)集中選擇一事實(shí)，第二個子模根據(jù)這個事實(shí)來驗(yàn)目標(biāo)是否可以被證或否定。由于事實(shí)擇子模塊在第一次試時可能無法確定佳的事實(shí)，如果在用子模塊一輪后，標(biāo)的真相仍然未知可以刪除所選的事，然后再次調(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ī)則選擇樣包括兩個子模塊第一個子模塊確定個規(guī)則的結(jié)果（與標(biāo)無關(guān)），第二個模塊將規(guī)則的結(jié)果目標(biāo)作為輸入，并定哪一個與目標(biāo)相一。需要注意的是由于 BC 的遞歸性質(zhì)，規(guī)則選擇模在證明一個目標(biāo)的程中可能會被多次用。由于識別每條則的結(jié)果與目標(biāo)無，這個子模塊只需被調(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é)果符號是否與目的符號一致或不一。實(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é)果還揭了 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ù)類更差，因?yàn)榻e鉤度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準(zhǔn)確率沒有低?？傊谶@些據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)確性，與其他虛假的證明痕跡找正確結(jié)論的技術(shù)相，LAMBADA 更有可能產(chǎn)生有效推理鏈，同時也比他基于 LM 的模塊化推理方法更有詢效率。研究人員示，該實(shí)驗(yàn)結(jié)果強(qiáng)地表明，未來關(guān)于 LM 進(jìn)行推理的工作應(yīng)該包括后向或目標(biāo)導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
本文來自微信眾號：低并發(fā)程 （ID：dibingfa），作者：閃之前在朋友圈助過，如何快制作一款 CLI 工具，就是命令行工具，如 echo 這種。票圈大們貢獻(xiàn)了一大方法，我先進(jìn)一波總結(jié)。比 Java 語言的 Spring Shell，可以和 SpringBoot 一起制作一款命令行工，比如以下寫。@ShellComponent?public?class?SSHCommand?{???????@ShellMethod(value?=?"connect?to?remote?server")???????public?void?ssh(@ShellOption(value?=?"-s")?String?host)?{???????????System.out.println(host);?????}?}即可支持一條 ssh 命令，并附帶 -s 參數(shù)。shell:?ssh?-s?192.168.0.3192.168.0.3用 java 給自己做一款這樣的小工集，還是非常便的。當(dāng)然如你不想使用 Spring，也有 JCommander 這樣的工具，不賴 Spring 套件，只不過寫法就會比丑陋。除了 java 語言，大家推薦最多還是 Go 語言的 Cobra 庫，官網(wǎng) cobra.dev 非常簡潔。具體大家去網(wǎng)看吧，都是常直觀明了的 demo，非常舒服。其他的還沒有詳細(xì)調(diào)過，這里把票反饋都說下：dpdkpython 的 clickC++ 的 boostrust clapnodejsjava common-cli 包urfave/clixterm.jscpp 的 boost不過沒有提到 C 語言的，倒是位讀者提到了 getopt 系列函數(shù)，這是什么呢？先說這個函數(shù)是么，你知道你用的那些命令像 echo，cp，mv 這些，都是由誰供的么？這些屬于 coreutils 工具類，比如 cp --version 就可以看到具體的本信息。既然些 CLI 工具類都是 coreutils 里的代碼，那我們看看這里實(shí)現(xiàn)方式，一是比較優(yōu)雅的打開 coreutils 的源碼，隨便找命令，比如 basename.c 找到它的 main 方法，可以看到是使用了 getopt_long 來解析的命令行參數(shù)。要說實(shí)現(xiàn)的優(yōu)度，我們和 coreutils 里的實(shí)現(xiàn)方式一樣，總歸沒有錯的。不 getopt_long 具體怎么使用呢我們 man 一下它，就可看到非常詳細(xì)介紹，下面還特別簡單的 demo，可以直接編譯運(yùn)行的對比發(fā)現(xiàn)，這 demo 和 coreutils 里的用法大體結(jié)構(gòu)是一的，都是 while 循環(huán)里不斷調(diào)用?getopt_long 函數(shù)解析 - 或者 -- 的參數(shù)，然后通過 switch?判斷返回值 c 的值，來執(zhí)行不同操作。同時， long_options 也是就 -- 參數(shù)列表放在個數(shù)組中，使?required_argument 表示需要參數(shù)，no_argument 表示無需參數(shù)。這時我個想法，如果己實(shí)現(xiàn)一套 coreutils，不但能學(xué)習(xí)到使用 C 語言制作一款優(yōu)的 CLI 工具的方法，還對常用 shell 命令有一個深入源碼式了解，同時我也可以改造這命令使其具有們自己的特性還可以為今后加自己的新命打下基礎(chǔ)。同，coreutils 里很多命令的底層，是需要調(diào)用?Linux 系統(tǒng)庫的，我們也以對一些系統(tǒng)函數(shù)有更多的解。一舉好多呀！開干！coreutils 中有個特別有趣且簡單的命，yes，你在 Linux 命令行里輸入 yes 按下回車，會發(fā)現(xiàn)它續(xù)不斷輸出 y 在命令行中，非?？?，就是效果。我是不可以自己實(shí)現(xiàn)套，并對其進(jìn)改造，讓它可輸出行號，并控制輸出的時間隔，別那么。說干就干，款 dbf-yes 工具就做出來了。它可支持用 -n 參數(shù)表示輸出號，用 -s 參數(shù)表示時間隔秒數(shù)，最后一個參數(shù)?hehe 表示要輸出的字符是什。感覺這個學(xué)方式還是非常錯的，涉及到知識點(diǎn)不少，且又非常有成感，像闖關(guān)一把 coreutils 里面的全部工具都現(xiàn)一遍，增加己的特性?
