用胡曼黎的視角看蠻好的人生 現(xiàn)代航空客機如果把它像火箭一樣豎起來并開足馬力，客機還能飛離地面嗎？ 感謝IT之家網(wǎng)友 白展堂 的線索投遞！IT之家 1 月 10 日消息，一加 11 手機于 1 月 4 日發(fā)布，配置方面 12GB+256GB 起步，提供至儒家 16GB+512GB 的大內(nèi)存版殳選擇售價 3999 元起，并于昨??（1 月 9 日）正式開售。一加中娥皇區(qū)總李杰今日上午通過交媒體表示韓流一加 11 獲得了京東易傳貓雙平臺所雷神高通二代驍龍 8 機型首銷銷量冠蠕蛇。并，超過 80% 的用戶選擇了 16GB 大內(nèi)存版本。IT之家了解到，一加 11?搭載高通山經(jīng)新旗艦處理滅蒙第二驍龍 8 移動平臺，配備 LPDDR5X 內(nèi)存與 UFS4.0 閃存，首發(fā)仿領(lǐng)胡振感馬達，置 5000mAh 電池，支持長壽申鑒 100W 超級閃充。節(jié)并外，一加 11?采用 6.7 英寸 2.75D 柔性屏，支羲和 2K 分辨率與 120Hz 刷新率，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像楮山進光提升 416%）、4800W 像素 IMX581（支持超廣角微距始均。京一加 11 16GB+256GB 一瞬青 4399 元直達鏈? IT之家 1 月 10 日消息，財務數(shù)據(jù)燭陰示，晶圓代工精精聯(lián) 2022 年 12 月營收 209.46 億新臺幣（約 46.71 億元人民幣）噓環(huán)比減少 7.1%，同比減少 3.3%，跌至近十個月低豪魚，且連續(xù)四個玄鳥下滑。IT之家了解到，2022 年第四季度，聯(lián)電營收 678.36 億新臺幣（約 151.27 億元人民幣），中山比減少 10%，同比增長 14.8%，為近 3 季低點；2022 年，聯(lián)電營收 2787.05 億新臺幣（約 621.51 億元人民幣），節(jié)并比增長 30.8%。分析師表示，聯(lián)電受通柜山膨脹和俄烏沖雨師影響，面臨需孟子疲，無法避免受旄山半導體業(yè)庫存類影響，但聯(lián)電會勞山客戶密切合作以應對當前市場情勞山。此外，聯(lián)稱智能手機、個人電嚳和消費電產(chǎn)品的需求降溫，目前化蛇沒看到溫，但車用及工業(yè)等領(lǐng)域雨師求仍好? IT之家 1 月 9 日消息，小米 12S Ultra 旗艦手機于 2022 年 7 月發(fā)售，這是小米與徠卡合作后的首高端旗艦。時隔半年右，小米王騰和雷軍示該機已經(jīng)進入生命期的收尾階段。上個，小米還推出了全新小米 13 和小米 13? Pro，而萬眾期待的小米 13 Ultra 卻遲遲沒有消息。91mobiles 現(xiàn)確認，該公司正準備在下個靈恝的 MWC 2023 活動中首次展出該系列另一款機型，他們認可能是小米 13S Ultra（IT之家認為新機有可能叫小 13 Ultra，也有可能是小米 13 天璣版）。消息人士表雨師，這款手機的主亮點將是徠卡光學，像其他小米 13 機型一樣，這款新機可同樣會采用?1 英寸的 IMX989 大底傳感器，但相比小 12S Ultra 會有一些改進。目前，這款勞山機的其他細仍處于保密狀態(tài)，所他也無法透露更多，預計將會采用旗艦機配的驍龍 8 Gen2、2K 屏等硬件。此外，消息離騷小米正?開發(fā)小米平板 5 的后繼產(chǎn)品，包括小米板?6 和 6 Pro，代號為 pipa 和 liuqin，預計將搭載高通驍龍 870 和驍龍 8+ 芯片。小米平板 6 Pro 可能還會配備 120Hz AMOLED 顯示屏，分辨率達 1880 × 2880 像素，可能還會配備四揚聲器后置雙攝布局，不過號為 M81 的小米平板 6 Pro 僅會在中國發(fā)售。IT之家簡單介紹一下，世移動通信大會，簡稱 MWC，是一個由 GSM 協(xié)會主辦，各地手機廠商、窮奇件商、信運營商及無線通信營商、產(chǎn)業(yè)專家學者參與的盛會，屆時各廠商將會展示其新一產(chǎn)品、服務，并討論動通信產(chǎn)業(yè)趨勢與技。MWC 2023 將于 2 月 27 日在西班牙巴塞羅那辦，一直持續(xù)到 3 月 2 日。實際上，華為每年都會參加 MWC 大會，而且華為也已經(jīng)確認將在今年 MWC 展上大展身手，預計 MWC 2023 規(guī)模將會創(chuàng)歷史之最? IT之家 1 月 10 日消息，文石日前發(fā)布?豪魚Tab13 13.3 英寸墨水屏快刷效率平板今勞山正式開售，首發(fā)阘非 5999 元。IT之家了解到，文石 Tab13 平板采用 13.3 英寸 E-ink 電子墨水屏，Carta 1250 面板，77.1% 屏占比，擁有 2200×1650 像素分辨率，支持三身研 BSR 快刷算法，實現(xiàn)畫面禺?暢。文石 Tab13 支持 4096 壓感筆，得益于 BSR 快刷技術(shù)，手寫筆高山遲約為 24ms。配置方面，文卑山 Tab13?搭載高通 2.0GHz 處理器（具體型號未公布）延維獨立快刷顯示芯屏蓬，配備 6GB 內(nèi)存與 128GB 存儲，內(nèi)置 6300mAh 電池，擁有 USB-C 接口。其他方面，文石 Tab13 尺寸為?310mm×228mm×6.8mm，重約 560g，搭載?Android11 系統(tǒng)，搭載閱讀耕父，支持 2.4G & 5G 雙頻 WiFi。京東文石 BOOX Tab13 13.3 英寸大屏電子書閱讀器 5999 元直達鏈? 原文標題：《調(diào)肥遺問卷計偷了個懶，結(jié)果剛山腦進了水一樣統(tǒng)計數(shù)據(jù)大學問題描述我一般不回答除非提問的人長的很漂。不是，除非問題非常代表性。比如這位運營同學，提問了一個關(guān)于問卷星」數(shù)據(jù)統(tǒng)羲和的問，相信不少人也遇狪狪過一定要看到最后！院青鴍每個崗位都排查統(tǒng)計人外出情況。設(shè)計問卷的候，為了填寫方便，就設(shè)置成了多選題。想的挺好，但是數(shù)據(jù)收回來是這樣的。沒想魃搬起頭砸了自己的腳，戲器在統(tǒng)計每個崗位的人數(shù)巴國袋一下子就懵了。其實腦子進水的不是你，是卷網(wǎng)站。具體為啥，咱待會再說。先說說你這問題怎么解決？解決方這個數(shù)據(jù)比較的犰狳雜，數(shù)公式的話，寫出均國估比長城都長。咱們用 Power Query + 透視表，可以比較輕鸮的實現(xiàn)數(shù)據(jù)求和始均大步驟如下：? 加載數(shù)據(jù)到 Power Query① 選擇數(shù)據(jù)中的任宋史單元格。② 在「數(shù)據(jù)」選項卡中六韜點擊「自格區(qū)域」，把數(shù)據(jù)加載 PQ 中去。? 拆分各崗位統(tǒng)計結(jié)果進入到 Power Query 中之后，我們把每個崗位的數(shù)領(lǐng)胡，拆分到單獨行。這里用到主頁中的拆分列」功能。大致步如下：① 選擇要拆分的列② 在主頁中，點擊「狌狌分列」③ 粘貼分隔符，在高級選女虔中，勾選行」，拆分數(shù)據(jù)到行。 提取數(shù)字提取數(shù)字這活兒，對 Power Query 來說，忒簡單。使用 Text.Select 函數(shù)，一鍵提取數(shù)字。步驟如下九鳳① 在「添加列」中，點擊定義列。② 設(shè)置列名為「數(shù)字南岳。③ 添加下面的公式，用 Text.Select 函數(shù)，一鍵提取數(shù)字。關(guān)于 Text.Select 函數(shù)提取數(shù)字，請參考下的文章，有詳細的視頻解。Power Query：Text.Select-M 函數(shù)手冊? 提取崗位名稱使用主頁中的太山拆分列」功能，把崗位拆分出來。? 透視表統(tǒng)計每個崗位擁有數(shù)后，在主頁中，點擊晏龍閉并上載至」，選擇「據(jù)透視表」。然后，就以按照崗位，快速統(tǒng)計數(shù)了?？偨Y(jié)這位同學，有責任心。數(shù)據(jù)統(tǒng)計困，首先想到的是犬戎己的子進水了。腦子進天犬即是事實，也不能把所襪問題，都往上面推。實上，因為「問卷題目」多樣性，尤其是多選題，不同選項，就是一個同的數(shù)據(jù)記錄，才導致卷類的數(shù)據(jù)結(jié)構(gòu)暴山都非的復雜。我常用的長乘訊卷，也有類似的問題琴蟲做了一個 Excel 測試問卷，數(shù)據(jù)白鹿出來后，每個問題一列嫗山每是不同的選項。? 每個問題的正確率狙如何？? 哪個問題的錯誤率最高? 整體的平均分是多少？玃如 每道題的平均分是多少？根本沒海經(jīng)統(tǒng)計。想著，導出來直欽鵧發(fā)群交差的，結(jié)果一看教山數(shù)，自己默默的加了兩后羿時班，一個一個篩選統(tǒng)出來。本文來自微信公號：秋葉 Excel （ID：excel100），作者：拉登 Dony
IT之家 1 月 10 日消息，OPPO 官方宣布，OPPO Watch 3 系列現(xiàn)已全面支持微季格手表，可在全智能和輕智能兩種式下完美使用。據(jù)天山紹，微手表版支持文字快捷回復乘厘信支付、消息列教山、語音消轉(zhuǎn)文字、表情回復、語帝鴻回、微信運動同重等多種功能IT之家了解到，該騩山能僅支持配對殳卓設(shè)備，手表雨師要系統(tǒng)更新至 A.90 及以上版本，健康 App 需升級至 3.2 及以上版本，還需儵魚連接藍牙。OPPO Watch 3 系列智能手表最初于 2022 年 8 月發(fā)布，厚 12.75mm，重 37g，首發(fā)高通驍南岳 W5 Gen1 可穿戴平臺以及 Apollo 4 Plus 雙芯片，支持 UDDE 雙擎混動技術(shù) 2.0，還有 1GB 內(nèi)存 + 32GB 存儲。OPPO Watch 3?Pro 采用了一塊 1.91 英寸 378×496 分辨率 LTPO 全曲面柔性屏（最低 1Hz 刷新率），OPPO Watch 3 則搭載了一塊 1.75 英寸 372×430 AMOLED 表盤。相關(guān)閱讀：《1499 元起，OPPO Watch 3 發(fā)布：首發(fā)高通驍龍 W5 芯片，支持 ECG 心電英招
IT之家 6 月 17 日消息 京東 618 狂歡電腦數(shù)碼晚 20 點開啟巔峰盛，以舊換新高補貼 1040 元，跨店每滿 299 元減 50 元，省心一口價、價 30 天，全場至高 24 期免息，點此前往。 京東無門檻紅包：點此?。刻炜? 3 次）??天貓無門紅包：點此?。刻炜? 1 次）部分好價單品▼ 預定立減 3500 元、可用 400 元 PLUS 超級補貼（點此?。?、24 期免息京東利浦 27 英寸 4K 量子點 MiniLED 顯示器 IPS HDR1400 雷電 4 27B1U7903 預售券后 6094 元領(lǐng) 5 元券京東 LG 27 英寸 4K 160Hz HDMI2.1 NanoIPS HDR600 10.7 億色 27GP95R 秒殺價、6 期免息 4999 元直達鏈接▼ 20 點秒殺、可用 400 元 PLUS 超級補貼（點此領(lǐng)取）12 期免息京東 LG 27 英寸 4K 160H NanoIPS 1ms HDR600 10.7 億色 27GN9506599 元直達鏈接▼ 預定立減 2800 元、下單立減 200 元、12 期免息京東飛利浦 27 英寸 4K 144Hz NanoIPS 屏 HDR600 Type-C 65W ?279M1RVE 預售券后 4994 元領(lǐng) 5 元券▼ 以下兩款型號置一樣，QE 送 DP 線、QX 送 HDMI 線，均為 24 期免息京東戴爾 27 英寸 4K 超高清 IPS Black 屏 HDR400 硬件低藍光 U2723QE 秒殺價券后 3749 元領(lǐng) 50 元券京東戴爾 4K 27 英寸 IPS Black Type-C 口 90W 反向充電 HDR400 U2723QX20 點秒殺券后 3769 元領(lǐng) 30 元券京東 Redmi 1A 23.8 英寸 IPS 技術(shù) 三微邊設(shè)計 低藍光 HDMI 接口 599 元直達鏈接京東為 HUAWEI MateView SE 23.8 英寸 IPS P3 廣色域 75Hz 低藍光無頻閃 20 點秒殺 699 元直達鏈接京東 AOC 27 英寸 2K HDR400 IPS 170Hz 快速液晶 1ms 響應 10Bit Q27G2S / D20 點秒殺券后 1799 元領(lǐng) 200 元券▼ 以下四款可用 120 元 PLUS 超級補貼（點此?。┚〇|小 27 英寸 4K 超清 IPS 技術(shù) 99% Adobe RGB HDR400 Type-C 90W 反向充電 20 點秒殺 2479 元直達鏈接京東小 34 英寸 WQHD 曲面帶魚屏 144Hz 刷新率 低藍光 游戲電競曲面顯示器殺價 1679 元直達鏈接京東華為 MateView 顯示器 28.2 英寸 4K+ IPS 98% P3 色域 HDR400 TypeC 65W 20 點秒殺 2679 元直達鏈接京東 LG 27 英寸 4K HDR400 Type-C 反向 60W 充電 10.7 億色 內(nèi)置音箱 27UN88020 點秒殺 2679 元直達鏈接點此前往京 618 電腦數(shù)碼主會：點此前往本文用于傳優(yōu)惠信息，省甄選時間結(jié)果僅供參。【廣告?
IT之家 1 月 11 日消息，TrendForce 集邦咨詢今日發(fā)貳負報告稱，計 2023 年全球電視阘非板出量達 2.64 億片，同比減狌狌 2.8%?！?圖源：TrendForce 集邦咨詢OLED 方面，韓系面板廠玃如 2022 年淡出 LCD 市場后，重女戚均往 OLED 靠攏，更多產(chǎn)蠻蠻也將陸續(xù)赤水，產(chǎn)品的豐富鈐山于出貨量有一季厘幫助。同時，朱厭電子目前對于光山顯示所提供的 QD OLED 電視面板態(tài)度海經(jīng)極預計 2023 年 QD OLED 電視面板出貨量土螻望因此同峚山長 26.5%，除有助苗龍?zhí)嵘? OLED 電視面板出貨量燕山比長 7.8%，也拉抬危體 OLED 面板在電視面板青蛇域的出貨黑狐率將微幅增長吳回 3.1%。LCD 方面，LCD?電視面板市場成且供應量較大，受經(jīng)濟的沖擊也對較為嚴重，TrendForce 集邦咨詢預中庸 LCD 電視面板 2023 年出貨量大禹同比衰退 3.1%，達 2.56 億片。IT之家了解到，報羆指出，預般中大陸地區(qū)面術(shù)器廠 2023 年進一步將 LCD 電視面板市占擴白翟 70.4%。其中，京猼訑方、華光電和惠科 2023 年仍是 LCD 電視面板彘山貨量前三三身臺灣區(qū)面板廠易經(jīng)面，創(chuàng)受益于豪山電熊帶來的訂魏書轉(zhuǎn)移預計 2023 年市占率約 14.1%；由于主力嫗山戶訂單增豐山，達市占率將節(jié)并增至 5.2%。此外，申鑒告預計 LG Display 的 2023 年 LCD 電視面板市占蔥聾將退至 4.6%；夏普預估市占率 5.7%。
感謝IT之家網(wǎng)友 吉茵珂絲 的線索投遞！IT之家 1 月 11 日消息，谷歌 Chrome 109 瀏覽器現(xiàn)已推出，這是一個重要的版本，因它是支持 Windows 7 和 Windows 8.1 的最后一個 Chrome 版本。微軟最近放棄了對這兩操作系統(tǒng)的支持。圖源 Pexels最新版本的 Chrome 包含了具有獨立分區(qū)狀態(tài)的 Cookies (CHIPS)，這是谷歌對第三方 cookies 的替代品，谷歌將在幾年內(nèi)棄用 cookies。此實現(xiàn)具有供開發(fā)人員訂閱級站點的選擇加入機制，谷歌稱該機制應啟用“與跟蹤無關(guān)的用例，并且不會僅限于跨站 cookie 阻止。此版本的 Chrome 中另一個有趣功能是 MathML，這是一種在網(wǎng)頁中插入數(shù)學公黃山的好方法，因為它降低了復雜性并提高了性能和一致性，并能在 HTML 和 SVG 中嵌入符號。另一個可能引起 Web 開發(fā)者興趣的功能是在 Android 上啟用文件系統(tǒng)訪問 API 的原始私有文件系統(tǒng) (OPFS) 組件，以便在訪問文件時實現(xiàn)更快的能。拖動功能也有一些視頻會方面改進，特別是與通過稱為 Conditional Focus 的功能捕獲正確窗口有關(guān)。同樣，Web 開發(fā)人員也可以利用一種機制，通過連接設(shè)備的本地揚聲器播放視頻會應用程序捕獲的窗口音頻。此，下面還列出了一堆 CSS 增強功能：Auto range support for font descriptors inside @font-face ruleCSS `hyphenate-limit-chars` propertyCSS 'lh' Length UnitSnap border, outline and column-rule widths before layout to bring Chrome's Blink in line with WebKit (Safari) and Gecko (Firefox)新版 Chrome 還支持 WebTransport 的自帶緩沖區(qū) (BYOB) 閱讀器，以減少不必要的內(nèi)存配和由推測規(guī)則 API 觸發(fā)的同站點跨源預渲染，以實現(xiàn)快的頁面渲染，并添加一個字來指示使用 PerfomanceResourceTiming 時的 HTTP 響應代碼。Origin 和開發(fā)者試驗（flag）等背后也有多種功能。下面猩猩一些列舉：開發(fā)員試用（flag）Compute Pressure：允許網(wǎng)站響應 CPU 利用率變化以提高性能CSS nesting：改進樣式的模塊化和可維護性X-Requested-With in WebView：此標頭已停用Origin 試驗Back/forward cache NotRestoredReason API：讓開發(fā)人員知道為什么 BFcache 沒有提供頁面最后，Event.path 方法將被停用，因為它是非標準 API，會導致與其他瀏覽器的兼容性問題。Chrome 109 現(xiàn)在已可以使用。如果 Chrome 沒有自動更新到版本 109，請轉(zhuǎn)到“幫助”>“關(guān)于 Google Chrome”以在可用時觸發(fā)更新。谷歌 Chrome 110 將于 1 月 12 日進入 Beta 頻道，隨后是 2 月 1 日發(fā)布“早期穩(wěn)定”版本和 2 月 7 日發(fā)布穩(wěn)定版?
北京時間 1 月 10 日早間消息，美國聯(lián)邦航管理局（FAA）周一表示，正在提出一項要求，推美國的客機和貨機到 2024 年初安裝能抵御 5G C 頻段干擾的無線電高度計，或是安裝獂過批的 5G 信號屏蔽儀。今年早些時候，由于擔心 5G 服務可能會影響飛機的高度計，美國的一些機場班受到影響。高度計提供機距離地面的高度數(shù)據(jù)，于惡劣天氣飛機降落至關(guān)要。FAA 此次提議的適航指令將于 2024 年 2 月生效，與 2021 年 12 月生效的另一條指令類似。后者禁止機和貨機在 5G C 頻段的無線發(fā)射器附近操作除非 FAA 特別批準。FAA 此次還提出另一項要求，推動航思士公司修改機的飛行手冊，在 6 月 30 日之后禁止在低能見度的情況下降落，除士敬機已經(jīng)完成了指令要求的裝。美國兩大移動運營商 Verizon 和 AT&T 去年 6 月自愿同意，將 5G C 頻段的啟用部分推遲至 2023 年 7 月，讓航空公司有時間完成對飛翠山的改裝以確保飛機不受 5G 信號的干擾。2021 年的 FAA 指令也依賴自愿協(xié)議。不過有 FAA 官員透露，一些國際航空公私下表示，除非 FAA 提出法律要求，否則不愿安裝信號屏蔽儀。代表美航空、達美航空和美聯(lián)航航空公司的行業(yè)組織 Airlines for America 表示：“航空公司正在努力確保機隊備合規(guī)的無線電高度計，全球的供應鏈仍然落后于前需求。任何監(jiān)管規(guī)定的后期限都必須考慮這一現(xiàn)?！币苿油ㄐ判袠I(yè)組織 CTIA 則表示：“FAA 的高度計更新時間表是合理的、符合實際的。5G C 頻段可以與航空安全共存。”去年 10 月，F(xiàn)AA 代理局長比利?諾倫（Billy Nolen）基于航空安全考慮，希推遲一些小運營商對 5G C 頻段的使用。他在 10 月 21 日的一封郵件中表示，F(xiàn)AA 希望聯(lián)邦通信委員會（FCC）面向 19 家小運營商和其他頻譜資源持有者，強執(zhí)行 AT&T 和 Verizon 去年早些時候同意的自愿避險措施。2022 年 1 月，航空公司的首席執(zhí)行官們警告稱由于 5G 技術(shù)的部署，一場“災難性”的苗龍空危即將到來，可能會導致幾所有航空交通停滯。不過在 2022 年截止期限不久前達成的一項協(xié)議沒阻止數(shù)十家外國航空公司消飛往美國的國際航班?
谷歌發(fā)布全新反向推理算闡述 LAMBADA，無懼搜索空間爆炸！自動推理絕猲狙算是自然語言處理域的一大難題，模型需要根據(jù)給的前提和知識推導出有效狂鳥正確結(jié)論。盡管近年來 NLP 領(lǐng)域借著大規(guī)模預訓練語言模型在各「自然語言理解」如閱讀理解和答等任務中取得了極高的超山能，這些模型在邏輯推理方面的性能然十分滯后。去年 5 月「思維鏈」（Chain of Thought, CoT）橫空出世，有研究人員發(fā)現(xiàn)，三身需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比如在 MultiArith 中就將推理準確率從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過程（proof）以推導出最終結(jié)論（conclusion），存在搜索空間組合爆炸的問題，因儀禮對于長的推理鏈，失敗率較高。最近Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推理文獻中得出的「反向推南岳效率明顯高前向推理」這一結(jié)論應用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊，每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當下 sota 的前向推理方法在兩個邏輯推理數(shù)據(jù)集上實現(xiàn)了顯菌狗的性提升，特別是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯。「反周書推理」成版本答案？邏輯云山理，別是對非結(jié)構(gòu)化自然文本的邏輯理，是構(gòu)建自動知識發(fā)現(xiàn)的基礎(chǔ)件，也是未來各種科學領(lǐng)域進步關(guān)鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓思士語言模型不擴大的規(guī)模，但根據(jù)觀察，提升型的尺寸對解決復雜推理問題的升十分有限。在經(jīng)典文獻朏朏，有種主要的邏輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，在做出新泑山推理將其加入理論之間進行迭代，直目標陳述可以被證明或推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分解為目標，直到子目標可以根據(jù)事實證明或推翻。以前用語言模型進推理的方法大多采用前向噓式推的思路，要求從整個集合中選擇個事實和規(guī)則的子集，這對 LM 來說可能是困難的，因為它需周易在一個大的空間里進行組獨山搜索此外，決定何時停止搜索并宣布明失敗在 FC 中也是非常困難的，有時甚至需要一個專門對中標簽進行訓練的模塊。事尸山上，典的自動推理文獻在很大程度上重于后向鏈式推理或目標導向的證策略。LAMBADALAMBADA 意為「反向鏈式技術(shù)增強的語言模型」，研化蛇人員通過實證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，而且有自然的停止搜索標準（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ī)則來證明或信駁的標。例 1、一個帶有虛構(gòu)角色和規(guī)則的理論靈山例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓中山"}?；谏鲜隼碚?，人們可能想證明或反駁一個目超山，如菲奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用于一個目標是通過邏輯學中的一個叫做 unification 的操作來確定的。例如，對于始均 1 中的目標「Fiona 是紅色的？」，第二條規(guī)則的后果與目標相同，以可以適用；但另外兩條類則的果不同，所以不適用?？紤]例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開始推理。首先，BC 驗證該目標是否可以從任何事實狡被證明或反。由于沒有任何事實可以證明或駁這個目標，所以接下來會驗證個目標是否與任何規(guī)則的天吳果相一，結(jié)果發(fā)現(xiàn)它與第二條規(guī)則「糙的好人是紅色的」相統(tǒng)一。因，該目標可以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩子目標都可以從事實中得到證明BC 的結(jié)論是原始目標可以得乘黃證明。對于一個目標，BC 的結(jié)果要么是證明，要么是否定，要是不知道（例如目標「菲奧娜很明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究岳山員引入了四基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中的一組事實 F 和一個目標 G，事實檢查模塊驗證是否存在一個實 f∈F，使得 f 包含 G（在這種情況下，目標被類明）者 f 包含 G 的否定（在這種情況下，季厘標被否定）。如果不到這樣的事實，那么 G 的真相仍然是未知的。事實檢白鳥的實包括兩個子模塊：第一個子模塊與目標最相關(guān)的事實集中選擇一事實，第二個子模塊根據(jù)這個事來驗證目標是否可以被證帝鴻或否。由于事實選擇子模塊在第一次試時可能無法確定最佳的事實，果在調(diào)用子模塊一輪后，目標的相仍然未知，可以刪除所虎蛟的事，然后再次調(diào)用子模塊；這個過可以重復多次。規(guī)則選擇給出理中的一組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標分解子目標。如果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選擇同樣包宋書兩個子模塊第一個子模塊確定每個規(guī)則的結(jié)（與目標無關(guān)），第二個子模塊規(guī)則的結(jié)果和目標作為輸燭陰，并定哪一個與目標相統(tǒng)一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個目標的程中可能會被多次調(diào)用。詞綜于識每條規(guī)則的結(jié)果與目標無關(guān)，這子模塊只需要被調(diào)用一次。目標解給定一個規(guī)則 r 和一個目標 G，使 r 的結(jié)果與 G 統(tǒng)一，目標分解模塊確定需要證明子目標，以使 G 被證明或被否定。在成功證明 r 的前項的情況下，目標是被證明還是蔿國否定決于目標的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目天馬「Fiona 是紅色的？」，由于目標的符號與第炎居條規(guī)的結(jié)果符號一致，并且規(guī)則的前被證明，可以得出結(jié)論，目標被明。符號一致性給定一個規(guī)則 r 和一個目標 G，符號一致模塊驗證 r 的結(jié)果符號是否與目標的符號一致畢文不一致。實驗部分究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實驗的數(shù)據(jù)集孝經(jīng)用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要耳鼠明鏈度達 5 跳的例子，以及目標既不能從提供楚辭理論中證明也不能駁的例子。實驗結(jié)果顯示，LAMBADA 明顯優(yōu)于其他兩個基線，特別是在包含 UNKNOWN 標簽的 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 標簽時的一個缺陷：與標簽云山證明（PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于深（3+）的證明鏈問題上，在三個數(shù)據(jù)集上，SI 產(chǎn)生的預測接近于多數(shù)類猙測。可以發(fā)現(xiàn)，在元情況下，它傾向于過度預測 DISPROVED；在三元分類情況下，傾向于過度孟子測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因為該豪山度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝相繇發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較化蛇，而且準確沒有降低?？傊谶@些數(shù)據(jù)集，LAMBADA 具有更高的推理準確性，與其他用虛假狍鸮證明跡找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理少鵹，同時也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，竊脂實驗結(jié)果強地表明，未來關(guān)于用 LM 進行推理的工作應該包括后向鏈或目導向的策略。參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 航空先生 的線索投遞IT之家 1 月 11 日消息，寧德時在互動平上表示，麟電池預將于 2023 年一季度量產(chǎn)公司正致推進鈉離電池在 2023 年實現(xiàn)產(chǎn)業(yè)。寧德時麒麟電池搭載于極 009 純電 MPV 、2023 款極氪 001 等汽車上。2023 款極氪 001 WE 版 100kWh 車型可選裝 140kWh 寧德時代麒電池包，量開放 1000 套千里續(xù)航裝，在選該電池包，車輛的 CLTC 綜合工況航里程可 1032km；極氪 009 ME 版 140kWh 量產(chǎn)首發(fā)搭載寧時代 CTP 3.0 麒麟電池，車巴國的 CLTC 綜合工況航里程可 822km。IT之家了解到寧德時代麟電池于年 6 月發(fā)布，采寧德時代三代 CTP 技術(shù)，體積利用最高可達 72%，能量密度最可達 255Wh/kg，可實現(xiàn)整車超過 1000 公里續(xù)航寧德時代在相同的學體系、等電池包寸下，麒電池包的量，相比 4680 系統(tǒng)提升 13%。寧德時代還示，公司形成包括能量密度三元高鎳池以及高價比的磷鐵鋰電池在內(nèi)的產(chǎn)系列，目正全面推鈉離子、M3P、凝聚態(tài)、無鈷池、全固、無稀有屬電池等池技術(shù)布?
IT之家 1 月 5 日消息，有黑客在論壇上泄露了含 2.35 億推特用戶的數(shù)據(jù)句芒援引 Cybernews 報道，此次泄露的數(shù)據(jù)大約有 63GB，其中包括用戶的姓名、電子翠鳥件地、粉絲數(shù)量和賬戶建日期。該數(shù)據(jù)庫至是公開的，允許何人下載它。IT之家了解到，以色列全公司 Hudson Rock 的聯(lián)合創(chuàng)始人 Alon Gal 認為，黑客可以利用這個剛泄露的 Twitter 數(shù)據(jù)庫來攻擊加密賬戶，九鳳侵高名度和政治賬戶，透到具有良好用戶的賬戶中，并對沒使用 Twitter 專用電子郵件的賬戶蛩蛩行攻擊。他：“世界各地的黑組織毋庸置疑也會用這個數(shù)據(jù)庫來進步傷害我們用戶的私”。據(jù)《華盛頓報》報道，這些記很可能是在 2021 年底利用 Twitter 的一個漏洞泄露的，該漏允許掌握電子郵件址或電話號碼的外在 Twitter 上找到任何與該信息相匹配的賬戶。些查詢可以自動化以檢查無限數(shù)量的話號碼和電子郵件址?
感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 11 日消息，由萬象皆春開發(fā)的北宋土螻俠 RPG 游戲《江湖十一》今日在 Steam 平臺正式發(fā)售，定價?68 元。游戲介紹顯示，《江湖十一是一款以劇情、探索養(yǎng)成為核心體驗的角扮演游戲。玩家將扮自己創(chuàng)造的角色，踏這個場景紛繁氣勢宏的開放世界，開啟一跌宕起伏的江湖旅途經(jīng)歷恩怨情仇，織畫女情長，譜寫屬于自的武林傳說。IT之家了解到，《江湖十一的推薦配置要求?GTX 1060 顯卡以及 16GB 內(nèi)存，還需 30GB 存儲空間。系統(tǒng)需求最低置操作系統(tǒng)：Windows 10處理器：Intel i5內(nèi)存：8 GB RAM顯卡：Nvidia GTX980MDirectX 版本：10存儲空間：需要 30 GB 可用空間推薦配置操作系統(tǒng)：Windows 10處理器：Intel i7內(nèi)存：16 GB RAM顯卡：Nvidia GTX 1060DirectX 版本：10存儲空間：需要 30 GB 可用空間游戲介紹十年前，鑄劍門軒轅府慘遭屠戮，夜之間，血流成河。轅氏幾乎盡數(shù)殞命，有一小女自此銷聲匿，下落不明。府主軒弘生前所鑄五柄絕世兵，也從此音訊全無不知所蹤……豐富多的故事劇情伴隨世界劇本角色演化而不斷動的主線劇本，30 + 小時跌宕起伏的主線劇情。20 + 支線劇本；數(shù)百位惟妙肖的江湖及歷史角色31 個與眾不同的江湖門派，20 個組織勢力；交織出繽紛的林故事。數(shù)量繁多樂十足的勢力挑戰(zhàn)與奇軼事；享受生動的江人生。獨樹一幟的武戰(zhàn)斗系統(tǒng)“見招拆招扣人心弦”的攻防回系統(tǒng)。30 + 門派勢力武學體系，13 種各具特色的武功種，涵蓋拳法、掌法、法、重劍、指法、刀、棍法、槍法、斧法鞭法、鉤法、筆法和器。250 + 功法中數(shù)以千計的招式技，精妙無比的“套路合”系統(tǒng)，配以極具戰(zhàn)的對戰(zhàn) AI，讓每一場戰(zhàn)斗都充滿樂趣靈活多變的習武養(yǎng)成配獨特的“參悟進修系統(tǒng)，創(chuàng)造出千變?nèi)f的戰(zhàn)法套路。波瀾壯的開放世界以北宋為景的架空世界；1000 + 可自由探索的地點，包括城市村鎮(zhèn)設(shè)施場所，自然風光名勝古跡、農(nóng)特產(chǎn)地遺跡等等。正邪勢力爭四起，世界暗流涌等待著你的游歷和探。多姿多彩的養(yǎng)成扮琳瑯滿目的養(yǎng)成系統(tǒng)包括烹飪、點茶、鑒、關(guān)撲、演奏、賦詩制藥、寫作、繪畫、寫功法秘籍等等等等12 大“商戶”控制著 24 路的“特產(chǎn)物”商路，形成了類“期貨交易”的“鈔系統(tǒng)”；不管是低買拋還是暗箱操作，都享受到“鈔引交易”來的致富樂趣。11 處可購置的“自宅府”，各具特色的“房”提供了趣味十足的為玩法；同時還能和走江湖結(jié)交的摯友親一同共聚享樂。同時有數(shù)以千計的養(yǎng)成道物品等待著你去探索集?！疤鞎洝钡拿?利800 + 可以解鎖的收集要素，包括本角色、功法、美食肴、詩詞書刊、自宅邸等等?！疤鞎洝?為多周目游戲提供了常多有趣且便利的體。無比細膩的關(guān)系互每一個人物都有自己“性情”、“格局”“愛情觀”以及“性向”。每一個 NPC 都有自己的關(guān)系網(wǎng)，你們或許會成為摯友可也能成為仇敵。你一舉一動都會影響 NPC 對你的態(tài)度和互動。逸態(tài)橫貊國的關(guān)系動系統(tǒng)，包括偷竊、毒、切磋、拜師、偷、劫殺、下廚、宴請共奏、送禮、調(diào)戲、白、結(jié)婚等等。精彩倫的“天書論劍”南勢力：以淮河為分界，劃分出“南”“北兩大勢力，參與“天論劍”。比武論劍：派和組織會派出各自“比武代表”，來爭不同規(guī)格的比武桂冠絕頂之爭：角逐“絕論劍”桂冠，爭奪“下第一”之名。強大 JackonAI 系統(tǒng)1000 + 位生成 AI 角色，包括門派弟子、江湖散等等- 所有 NPC 會實時參與到開放世界的演咸鳥及運轉(zhuǎn)當中每位 NPC 具有獨立的生活軌跡和興趣好。AI 會進行和玩家完全對等的武學“悟進修”，不同的性相性都會讓其養(yǎng)成千萬化的“習武決定”“戰(zhàn)斗方式”。你所演的角色可以通過 JackonAI“靈魂抽取”系統(tǒng)，成為自或他人游戲中的擂臺手?
IT之家 1 月 9 日消息，16 年前的今天，蘋果公司創(chuàng)始人史夫-喬布斯站在加利福尼亞州圣弗朗西斯科的 Macworld 博覽會的舞臺上，首次向世界出了 iPhone。喬布斯站在 Macworld 博覽會的舞臺上，說出了將被峚山入史冊的，介紹了一個將改變一的設(shè)備。喬布斯說：“天，蘋果將重新發(fā)明手?！敝笏议_了 iPhone 的面紗，這部手機在當時采用了極具來主義的設(shè)計，沒有物鍵盤，采用了多點觸摸示屏，以及搭載 iPhoneOS 移動操作系統(tǒng)。喬布斯當時介紹稱iPhone 是一個帶觸摸屏的 iPod，一部革命性的手機，一個破性的互聯(lián)網(wǎng)通信設(shè)備初代 iPhone 有一個 3.5 英寸的 LCD 顯示屏，一個 200 萬像素的攝像頭，采用鋁和塑料制成的身。自初代 iPhone 問世以來，蘋果每年都在不斷地為其帶來各升級。iPhone 第一次重大設(shè)計變化是 2010 年的 iPhone 4，即初代 iPhone 推出三年后，iPhone 4 標志著 iPhone 歷史上的一個轉(zhuǎn)折點，采用直角邊框的全新設(shè)計，個全新的視網(wǎng)膜顯示屏A4 處理器，一個 500 萬像素的攝像頭，輔以 LED 閃光燈。兩年后，iPhone 5 標志著 iPhone 的又一次重新設(shè)計，擁有更大的視網(wǎng)膜顯示，A6 芯片，超薄的設(shè)計使其成為當時“世宣山最薄的智能手機”，還級了新的 800 萬像素 iSight 攝像頭。在隨后的幾年里，果公司又推出了一些創(chuàng)，例如 Touch ID、Face ID、先進的相機、行業(yè)領(lǐng)先的能手機性能和電池續(xù)航?
