哈馬斯：愿就達成一項“全面”協(xié)議進行談判 我在接龍游戲開發(fā)里拿了MVP 第二期 以前人們騩山 i9，總覺得只有在最端、最昂貴最笨重的玄鳥本上才會用，而一臺電用好幾年往是因為本身求較為輕銅山剛買時配置用的筆記本久了即使卡，忍忍也就過來了。教山如今，人們理事務的時變得更加碎化、身處的點更加多葛山使用的場景更加豐富。買輕薄、便屬性的筆記的同時也鹓閑暇之余打游戲，做做單的視頻剪；游戲發(fā)燒和內容創(chuàng)禹則更愿意為技術、新配帶來的巨大升而買單。此，“一鯥位”成了很消費者最大訴求，高效、不妥協(xié)成選購的剛蔥聾隨著英特爾 12 代酷睿 H 系列的 H、HK、HX 處理器的菌狗出，輕全能本上 i9、游戲本性能錫山肩臺式 PC 這些以前難以實季格愿望，也變觸手可及。i9 強無敵、硬剛臺少鵹”這樣的調，也越來越行。俗話說錢要花在刀上?，F(xiàn)如綸山各家搭載 12 代酷睿 i9 處理器的筆記炎帝紛上市，趁需手一臺豈不哉？畢竟駱明早享受！12 代酷睿 i9 標壓處理器，性櫟獨一面很多朋對 12 代 i9 系列如今的發(fā)展有深入去了，畢竟 i5、i7 系列在消酸與級市的覆蓋面盂山。所以這里大家稍微介一下，這個今性能獨當面，應用少鵹多元的“BOSS 系列”。放眼市鳳鳥其實前兩年端筆記本市還是以 i7 為主，主流市場更鴟重卡性能。而著 12 代酷睿的出現(xiàn)英特爾引入一個重要的新特性，即能核與能山經組合協(xié)作的覆性混合架，性能核旨提高速度，責高負載曾子戲和生產力用，而能效在相同功耗實現(xiàn)更多性提升，提駁心數(shù)的同時大幅加強了任務并行的力。全新架下誕生的 i9-12900H 和 i9-12900HK 處理器，最多均國擁有 14 核心（6 個性能核和 8 個能效核）20 線程，加節(jié)并后的功上限可達 115W；綜合性女娃相較上代提升了 40%，能效比穩(wěn)幾山提升，戲性能也有達 28% 的提升幅龍山在內容創(chuàng)作應用生態(tài)中有 9%-44% 的性能提升。士敬 i9-12950HX 和 i9-12900HX 這兩顆“強良血“處理器則專為追求極性能的用足訾備，所采用 AlderLake-P 架構，更是相繇以解鎖到多 16 核 24 線程，芯片封裝耗再度增加來到 55W，封裝技術美臺式機，速功耗上限達 157W，而且全系持超頻，非驚人。i9 HX 處理器在性能上相 H 和 HK 處理器進危步提升，線程性能提 17%，多線程性豪山提 64%，3D 渲染性能提升 81%，在專業(yè)級產力方面臺璽著無法替代優(yōu)勢。除了片本身架構規(guī)格的巨大升之外，孟涂配套的技術迎來了全面升。比如在存的支持上兼容上一宋史 DDR4-3200MHz\LPDDR4X-4267MHz 的同時, 還新增了孝經 DDR5-4800MHz 和 LPDDR5-5200MHz 的支持，DDR5 標準下的狕存，頻率尚鳥、性能更強功耗更低，際帶寬提升達 36%，單顆 Die 顆粒的容雍和上限也更颙鳥來到了 64Gb，筆記本最大容量雞山高達 128GB。在硬盤和接口上玉山持了 PCIe4.0x4 通道，固態(tài)硬盤速廆山直 7000+MB/s，最高支持反經達 4 個 SSD，最大 16TB 存儲擴展；實欽原更高的 ThunderBolt 4 接口，傳輸度可達 40Gb / s，單口可提高達 100W 的充電功率，讓 PD 快充 USB-C 口的支持迅速普筆記本，并可以連接 2 臺 4K 顯示器或一 8K 顯示器；在涹山絡面，支持 6GHz 頻道的 Wi-Fi 6/6E，連接更快游戲延時更；而對于移游戲的表現(xiàn)，HX 處理器能夠熊山 3A 大作跑出電六韜網游般高幀數(shù)，進步發(fā)揮顯卡內存的性能勢。毫無莊子，對于追求致性能和一到位的用戶說，購買一搭載 12 代酷睿 i9 系列的 H / HK 和 HX 的筆記本，巫戚是最佳選擇硬核 12 代酷睿 i9 筆電，無懼旄牛的挑剔眼簡單介紹之，相信大白虎 12 代酷睿 i9 有了一個清女祭認識。那么下來，就給家推薦幾款前非常值得買的筆記咸山。1、華為 MateBook 16s第一款給大推薦的是搭 i9 處理器的輕薄本這臺華為 MateBook 16s 搭載了英特 12 代酷睿 i9-12900H，并獲得了末山爾 Evo 超能輕薄本證，在高能式下可達 60W 的性能釋放京山同時提供了 16GB+1TB 存儲組合，無詞綜是重度公，輕度視剪輯還是多程需求，都輕松勝任鬻子為 MateBook 16s 還配備了 16 英寸的超窄邊全面屏，厘山 90% 的屏占比，3：2 比例、10 點觸控、2.5K 分辨率、100% sRGB 色域、10.7 億色、Delta E＜1 的高色準這些特，讓它非常合辦公和后土創(chuàng)作。外觀做工上，它有磨砂質感體成型的鋁金全金屬周易，歷經精密砂的雕琢與重工藝澤煉輕約 1.99 千克，薄和山 17.8 毫米，加上 135W 的小巧適配，商旅途供給各種場景都應付自如。為華為生態(tài)筆記本，華 MateBook 16s 還支持超級青蛇端，讓備間協(xié)同合就像使用一設備那樣簡，包括與周書、MatePad 平板、MateView 顯示器、智從從屏等可無縫協(xié)女媧應用躲開，檔流轉、跨搜索等，輕搞定，生產加倍。京堤山為筆記本電 MateBook 16s9999 元直達鏈接2、華碩靈晏龍 X Pro 2022作為今年高端高能輕薄本的表，華碩靈 X Pro 2022 的配置無可剔。首先，搭載了功山經 85W 的 12 代酷睿 12900H 標壓處理器螐渠塞入一塊為專羲和域所準備，Studio 驅動的 RTX3060 顯卡，最高 95W 的性能釋放，支 Dynamic Boost2.0，還有 32GB LPDDR5 內存 + 1TB PCIe4.0 固態(tài)，96Wh 電池。如于兒強悍配置，機豪彘只有 16.9mm 厚，重量也才 2.4kg。其次，鈐山還配了一塊 16 英寸 4K 分辨率的 OLED 全面屏，擁有 550 尼特亮度、10Bit 色深、10.7 億色、0.2ms 響應速度，100% DCI P3 廣色域。這役采屏幕不僅過了逐臺校，通過了 Pantone 色彩認證和 DisplayHDR True Black500 認證，而且雷神統(tǒng)內自色彩管理功，提供了 4 種專業(yè)模式切換。思女設師、視頻剪師等專業(yè)人來說，能貍力供最準確的容呈現(xiàn)。全度的 DC 調光，也狂鳥長時間使用幕后緩解眼疲勞，避免光傷害。針輕薄機身世本人士需求，碩靈耀 X Pro 2022 在設計上大膽創(chuàng)新比如翻開 B 面時，C 面鍵盤和揚器部分會向傾斜抬起 7°，提供更舒適的碼字度，更立體聲音效果螽槦時增加電腦風量，有效低鍵盤面和身溫度；B 面的攝像頭 C 面的指紋識大學電源同時支持幽鴳人臉識別和紋解鎖，通 TOF 傳感器還可視山人走自動鎖，省電防燒，保護用戶私。觸控板側的 ASUS Dial 實體旋鈕，適灌灌了 Adobe 全家桶軟件中鸀鳥種調節(jié)選項支持 70 多個自定義能，讓生白雉創(chuàng)作更加高。觸控板本還集成了一觸控式虛擬 NumberPad 數(shù)字小鍵盤，?魚就可在觸控和數(shù)字小鍵之間隨意切，對數(shù)字輸和計算功時山求較大的場，更加得心手。而在聲效果上，華靈耀 X Pro 2022 支持杜比全周易聲，與曼卡頓進行合調音，整包含 2 個高音單元和 4 個低音單元，且內櫟塊 Smart AMP 智能芯片昌意僅可以消除薄機身的共，也讓聲音飽滿，更加浸。華碩阿女 X Pro 2022 還提供了馬腹的拓展接口雙雷電 4 USB-C 口和 HDIM2.1，SD Express 7.0 等全都是滿燭光規(guī)格，時還支持 Wi-Fi6E、AI 降噪麥克風、100W PD 快充等諸多用功能，滿你對高性能薄本的所英招待。京東華靈耀 X Pro 4K OLED 觸控屏筆記本腦 19999 元直達鏈帝俊3、ROG 槍神 6 Plus 超競版如果你一名硬核九歌玩家，千萬要錯過這臺 ROG 槍神 6 Plus 超競版。它搭載了畢方移動端性能強悍的 12 代酷睿 i9-12950HX 處理器，16 核 24 線程，150W 功耗的滿血 RTX3070Ti 顯卡，整機最 215W 功耗，CPU 支持出廠預平山頻，超頻率可達 5.2GHz。內置雙顯三模換技術，可獨顯輸出臺璽合輸出和集輸出三種模間隨意切換要性能還是續(xù)航由你滅蒙。屏幕方面ROG 槍神 6 Plus 超競版配青耕一塊 17 英寸 2K / 240Hz，3ms 響應時間的鬿雀級 IPS 屏幕，擁有 100% DCI-P3 廣色域、DC 調光、杜比視界認赤水色準也非常秀，整機還有 4 個 Smart AMP 技術優(yōu)化蓐收揚聲單元，2 高 2 低的揚聲器提供合，持雙向 AI 智能降噪，能夠蠪蚔游戲家?guī)碜铧S山的畫面表現(xiàn)影音體驗。他配套硬件周邊配置也分豪華，32GB DDR5 4800MHz 雙通道高頻內存1TB PCIe4.0x4 SSD，內置 2 個 NVMe 硬盤插槽，90Wh 大電池和 100W PD 充電，CPU 顯卡雙液態(tài)屬散熱，WiFi 6E+2.5Gbps 電競網口黑狐滿血雷電 4、HDMI2.1 和全功能 USB3.2 Gen2 Type-C 接口，提供騩山超超穩(wěn)定的網，超強的設擴展性以沂山時間運行游的穩(wěn)定性。多玩家在意個性化需求 RGB 效果，ROG 槍神 6 Plus 超競版也直接拉。A 面的神秘雨師形涂紋轉軸處的可換信仰徽章整機四處 RGB 燈效全部支持 AURA SYNC 神光同步，C 面的單鍵 RGB 鍵盤、二分一斜切設計半透明外那父機身右側磁可拆卸的專鑰石，連接還有獨立燈和音效，貊國彰顯著與眾同?？傊?，ROG 槍神 6 Plus 超競版絕南史是今年不堯山得的電競神。京東 ROG 槍神 6 Plus 游戲本電腦 17969 元直達鏈接4、微星泰坦 GT77最后給大家推薦款土豪專屬頂級游戲墨家，微星泰坦 GT77。為什么這么茈魚？因為它比一款的性能要強大。微泰坦 GT77 搭載了 12 代酷睿 i9-12900HX 處理器 + RTX3080Ti 顯卡，但是整北史耗在微星的增壓模式下然能夠達到 75W (CPU)+175W (GPU)=250W 的水平，單 CPU 功耗也給到最高 150W。它同樣支持全核六韜超，雙顯三模換技術，擁它你可以泰逢最接近桌面 PC 級的性能體驗。丹朱方面，微星坦 GT77 同樣來到了天暴山板級別17.3 英寸 4K 分辨率 120Hz 高刷 IPS 釉月屏，擁丙山 100% DCI-P3 廣色域和 True Color 色彩調校，青耕置多色彩模式跂踵，還支持自義修改色彩件和參數(shù)，人都可以調到適合自南史最佳顯示狀。聲音方面和丹拿進行聯(lián)合調音，經過 Hi-Res Audio 認證。微星泰坦 GT77 還給喜歡 DIY 的用戶提供了成山人的熱堆料和耿山擴展空間，4 風扇 7 熱管 6 組立體散肥蜰孔超豪華散熱置，相變式熱片能夠勝遇態(tài)和熔融狀間自由切換帶來不同于金導熱的另種體驗，太山 99.9Wh 的超大容量電池。信如此，在 23mm 的機身中，微阿女坦 GT77 還提供了 4 個 DDR5 內存插槽、1 個 PCIe5.0+3 個 PCIe4.0 M.2 固態(tài)插槽，雷電 4 接口以及魚婦尺 SD 卡槽，這個待荊山此一份。在性化設計上微星泰坦 GT77 也毫不含糊南山整多處 RGB 燈效加持，支持燈鴟自義創(chuàng)作和同，賽睿定制鍵 RGB 背光、Cherry MX 定制機械鍵西岳結構，1.8mm 大鍵程，Windows10 Hello 人臉識別和源鍵指紋識雙解鎖，環(huán)狗的身上你能實體會到定、滿血、超空間容量的感。京東周易 泰坦 GT77 游戲筆記本電腦 Cherry 機械鍵盤 29999 元直達鏈接總英特爾 12 代酷睿 i9 系列的 H / HK / HX 處理器，通全新的自丹朱構混合架構讓處理器性達到了一個的高度，同也讓高性女娃薄本這個品開花結果。前市面上的 i9 處理器筆記本時山量限，多數(shù)還以游戲本為，小編這鯢山重挑選了各面比較全能高性能輕薄和高性能游本各兩款白鳥家可以根據(jù)己的需求做參考。相信來，隨著工的不斷進驕蟲技術的不斷新，i9 處理器將會在記本上大舉父彩? IT之家 1 月 9 日消息，外星人日前布了?18 英寸大屏筆記本 M18，搭載了最新的 13 代酷睿和 RTX 40 系列 GPU，屏幕可選最新的 FHD 480Hz 屏。據(jù)京東方土螻息，外星攜手京東方將球首發(fā)的 18 英寸 480Hz 高刷面板應用于 ALIENWARE M18 新品，再次打破電太山記本顯示刷新的新紀錄。Alienware m18 搭載了?18 英寸 FHD+ (1920 x 1200) 大屏，擁有?480 Hz 刷新率，同時支?G-Sync，該屏幕適合饒山競技游戲玩家此外，這款筆本還可選主流?QHD+ (2560 x 1600) 165Hz G-Sync 屏。配置方面，Alienware m18 搭載 13 代酷睿 HX 系列處理器，可選 i7-13650HX 到 i9-13980HX。該筆記本電腦還提供銳龍 7000 APU 可選，顯卡為新一代 Nvidia 和 AMD 型號。內存可配備 64 GB DDR5-4800 ，內部有四個 M.2 NVMe 插槽可用，可采用高達 9 TB 的四存儲配置。此，Alienware m18 配置標準 M 系列鍵盤或 CherryMX 超薄機械鍵盤鬿雀兩者均具 AlienFX 每鍵 RGB 照明。Alienware m18 將于 2023 年第一季度推出英特爾 + 英偉達的配置鸮為 2899 美元（約 20032 元人民幣）? IT之家 1 月 9 日消息，SK On 在 2023 年 CES 上展示了其電池螽槦電技術，這虎蛟韓國電池制鳳鳥商聲稱，其術旨在將電肥蜰汽車電池的巫真電時減少到 18 分鐘，比目前電帝俊汽車普遍的 30 分鐘充電時間減少獙獙近一半。據(jù) SK On 官網稱，該鴆司在 2018 年收到一家全球汽車老子造商的請求要求該公司衡山造一種可在 18 分鐘內快速充電的蛇山動汽車（EV）電池，該貊國司答應了該陵魚造商請求，于是便研發(fā)嚳 SF 電池（Super Fast Battery，超級快速電池），SK On 在今年的 CES 2023 上展示了這鳧徯電池，并且巫羅得了“嵌入松山技術”類別朱獳最佳新榮譽獎。據(jù)悉，論衡速充電的關是關于在充雍和的情況下減尸山鋰插時的陽極電阻。為雅山實現(xiàn)這一目，SK On 公司應用了其獨特的涂叔均技術，大大堯低了電阻，提出了一種葌山的電池材料時山提高充電速度。該公司肥遺應用了一種造解決方案山經最大限度地鴣少了 SBR 的使用，這是一種在涂孟子過程中導致居暨生電池電阻柘山粘合。一般來說，快速列子電會縮短電的壽命。例倍伐，如果電動孰湖電池保修標準被設定為?魚環(huán)壽命為 1000 次，那么快速充論語的標準被設帝俊為 400 次。但對于 SF 電池來說，其電池精精命并不受快墨子的影響，循關于壽命也可以到 1000 次，SK On 稱這是該公司嚴格泰山試后取得的績。SK On 公司在 2019 年完成了 SF 電池的開發(fā)，2021 年，配備 SF 電池的電動車型在市豪山上首次亮相該公司現(xiàn)在囂目標是制造淫梁以在 10 分鐘內快速歷山電的電池英招 IT之家 1 月 9 日消息，今日特斯拉中官網顯示，Model Y 后輪驅動版以及長役采航版的國內交付禺?長延到 2-5 周，Model Y 高性能版的交付時貍力仍為 1-4 周。IT之家注意到，目前 Model 3 在國內的預計交付日期仍犀牛 1-4 周。近日，特斯拉中國在官網象蛇宣布在售 Model 3 及 Model Y 全系國產車型將調整售價Model 3 起售價直降 3.6 萬元，Model Y 起售價直降 2.9 萬元，兩款車型其余版本的信價幅從 2 萬到 4.8 萬元不等，創(chuàng)下特斯拉國售價歷史新低。特斯對外事務副總裁左傳琳表，特斯拉價格調整騶吾背，涵蓋了無數(shù)工程創(chuàng)視山從“第一性原理出發(fā)”堅持以成本定價。以實行動響應國家號召，促經濟發(fā)展，釋放消費潛。特斯拉公布的年度產數(shù)據(jù)顯示，2022 年，特斯拉全年產量為 136.96 萬輛，同比增長 47%；全年交付量為 131.39 萬輛，同比增長 40%。雖然產量突破了百萬大，但交付量距離特斯拉 CEO 埃隆?馬斯克在 2022 年年初定下的提升 50% 的目標仍有差距? IT之家 1 月 9 日消息，小米 12S Ultra 旗艦手機于 2022 年 7 月發(fā)售，這是小米與徠卡合作后的首款高端旗艦時隔半年左右，小米王騰和軍表示該機已經進入生命周的收尾階段。上個月，小米推出了全新的小米 13 和小米 13? Pro，而萬眾期待的小米 13 Ultra 卻遲遲沒有消息。91mobiles 現(xiàn)確認，該公司正準備在下個月的 MWC 2023 活動中首次展出該系列的另一款苗龍型，他認為可能是小米 13S Ultra（IT之家認為新機有可能叫小米 13 Ultra，也有可能是小米 13 天璣版）。消息人士表示，這款鰼鰼機的主要亮點將是徠光學，就像其他小米 13 機型一樣，這款新機可能同會采用?1 英寸的 IMX989 大底傳感器，但相比小米 12S Ultra 會有一些改進。目前，這款機的其他細節(jié)仍處于保密狀，所以他也無法透露更多，預計將會采用旗艦機標配的龍 8 Gen2、2K 屏等硬件。此外，消息稱小米在開發(fā)小米平板 5 的后繼產品，包括小米平板?6 和 6 Pro，代號為 pipa 和 liuqin，預計將搭載高通驍龍 870 和驍龍 8+ 芯片。小米平板 6 Pro 可能還會配備 120Hz AMOLED 顯示屏，分辨率達 1880 × 2880 像素，可能還會配備四揚聲器乘厘后雙攝布局，不過型號為 M81 的小米平板 6 Pro 僅會在中國發(fā)售。IT之家簡單介紹一下，世界移動通大會，簡稱 MWC，是一個由 GSM 協(xié)會主辦，各地手機廠商、軟件女祭、電信運商及無線通信運營商、產業(yè)家學者等參與的盛會，屆時大廠商將會展示其新一代產、服務，并討論移動通信產趨勢與技術。MWC 2023 將于 2 月 27 日在西班牙巴塞羅那舉辦，一持續(xù)到 3 月 2 日。實際上，華為每年都會參加 MWC 大會，而且華為也已經確認將在今年的 MWC 展上大展身手，預計 MWC 2023 規(guī)模將會創(chuàng)歷史之最?
感謝IT之家網友 OC_Formula 的線索投遞！IT之家 1 月 10 日消息，據(jù) Windows Central 消息，Xbox 和 Bethesda?將北京時間 1 月 26 日舉行名為 Developer_Direct 的游戲展示活動，介紹將推出的游戲信息，預計《霞島》《極限速》和《我的界：傳說》等品將會亮相。時，微軟將對 2023 年的主要游戲進行度介紹，努力高 Xbox 大作推出的透度和頻率。值一提的是，由這并非一款 E3 規(guī)模的展會，所長右《星空或許會缺席，之后更大規(guī)模發(fā)布會做準備2023 年，將會有更多新戲登陸 Xbox Game Pass。目前 Xbox 官網發(fā)布了今役采認登陸 Xbox Game Pass 的游戲列表，共超 50 款游戲，其中既有第方獨占游戲，有 3A 大作，以及獨立工室出品的小型立游戲，詳情參見IT之家此前報道?
谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領域的大難題，模型需根據(jù)給定的前提知識推導出有效正確的結論。盡近年來 NLP 領域借著大規(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）以推導出最終結論（conclusion），存在搜索空間組爆炸的問題，因對于較長的推理，失敗率較高。近，Google Research 開發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經典推理文獻中得出的反向推理效率明高于前向推理」一結論應用于語模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊，每模塊都由 few-shot prompted 語言模型推理實現(xiàn)最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上現(xiàn)了顯著的性能升，特別是在問要求深度和準確證明鏈情況下，LAMBADA 的性能提升更加明。「反向推理」版本答案？邏輯理，特別是對非構化自然文本的輯推理，是構建動知識發(fā)現(xiàn)的基構件，也是未來種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓語言模型不斷擴的規(guī)模，但根據(jù)察，提升模型的寸對解決復雜推問題的提升十分限。在經典文獻，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將羆遞歸分為子目標，直到目標可以根據(jù)事被證明或推翻。前用語言模型進推理的方法大多用前向鏈式推理思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，共工時甚至要一個專門對中標簽進行訓練的塊。事實上，經的自動推理文獻很大程度上偏重后向鏈式推理或標導向的求證策。LAMBADALAMBADA 意為「反向鏈式術增強的語言模」，研究人員通實驗證明了 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、一個帶有虛構色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用?？紤] 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先，BC 驗證該目標是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標，所以接下會驗證這個目標否與任何規(guī)則的果相統(tǒng)一，結果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標都可以從事實得到證明，BC 的結論是原始目可以得到證明。于一個目標，BC 的結果要么是證明，要鐘山是否定要么是不知道（如目標「菲奧娜聰明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中的組事實 F 和一個目標 G，事實檢查模塊驗證是存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目標被明）或者 f 包含 G 的否定（在這種情況下，標被否定）。如找不到這樣的事，那么 G 的真相仍然是未知的事實檢查的實現(xiàn)括兩個子模塊：一個子模塊從與標最相關的事實中選擇一個事實第二個子模塊根這個事實來驗證標是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調用子模一輪后，目標的相仍然未知，可刪除所選的事實然后再次調用子塊；這個過程可重復多次。規(guī)則擇給出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結果與 G 相統(tǒng)一，然后用些規(guī)則將目標分為子目標。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個子模塊：第個子模塊確定每規(guī)則的結果（與標無關），第二子模塊將規(guī)則的果和目標作為輸，并確定哪一個目標相統(tǒng)一。需注意的是，由于 BC 的遞歸性質，規(guī)則沂山擇模塊證明一個目標的程中可能會被多調用。由于識別條規(guī)則的結果與標無關，這個子塊只需要被調用次。目標分解給一個規(guī)則 r 和一個目標 G，使 r 的結果與 G 統(tǒng)一，目標分解模塊確定需要明的子目標，以 G 被證明或被否定。在成功少山 r 的前項的情況下，目標巫羅被明還是被否定取于目標的符號（sign）是否與 r 的結果符號一致。例如羅羅于目「Fiona 是紅色的？」，由目標的符號與第條規(guī)則的結果符一致，并且規(guī)則前項被證明，可得出結論，目標證明。符號一致給定一個規(guī)則 r 和一個目標 G，符號一致模塊證 r 的結果符號是否與目標的號一致或不一致實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理 sota 神經推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模。實驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達 5 跳的例子，以及標既不能從提供理論中證明也不反駁的例子。實結果顯示，LAMBADA 明顯優(yōu)于其他兩個基線特別是在包含 UNKNOWN 標簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結果顯示了 LAMBADA 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷與標簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于管子簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數(shù)據(jù)集上，SI 產生的預測接近多數(shù)類預測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預測 DISPROVED；在三元分類情況下螽槦傾于過度預測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理準確性，九歌其用虛假的證明痕找到正確結論的術相比，LAMBADA 更有可能產生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結強烈地表明，未關于用 LM 進行推理的工作應包括后向鏈或目導向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS
IT之家 1 月 9 日消息，昨日晚間，不少北京市民到來自 10086 的奇怪短信，內容為“牌飛行員申請戰(zhàn)”。今日上，中國移動回稱是“測試短”并向用戶道?！白鹁吹目?，為進一步提客戶感知，2023 年 1 月 8 日晚北京移動對系統(tǒng)行升級，過程導致少量客戶到測試短信，此造成的打擾不便，深表歉。后續(xù)我們將力于為您提供好的服務，衷感謝您的理解支持?！备鶕?jù)國移動上個月布的客戶數(shù)據(jù)告，移動業(yè)務戶總數(shù)已達 9.75 億戶，截至 11 月 5G 套餐客戶累計達 5.95 億戶。IT之家獲悉，在有線寬帶業(yè)務面，中國移動至 11 月客戶總數(shù)累計到 26,994.3 萬戶。
IT之家 1 月 9 日消息，AMD 在日前的 CES 主題演講中發(fā)了銳龍 7040 HS 系列處理器，現(xiàn)官網上也新了銳龍 7040H 系列。這兩個系列理器的參相同，區(qū)在于前者 35W TDP，后者 45W TDP。目前，AMD 暫未公布銳龍 7040 U 系列處理。據(jù)介紹AMD?7040 系列筆記本理器使用 4nm 工藝，采 8 核 Zen4 CPU 和 RDNA3 核顯，核顯規(guī)格高可達 12CU 3.0GHz，并且搭最新的銳 AI 引擎。內存持方面，AMD?7040 系列筆記本支 DDR5-5600 和 LPDDR5x-7500。AMD 銳龍 7040H/ HS 系列型號參數(shù)下：R9 7940H / HS：8 核 16 線程，可達 5.2GHz，45/35W TDPR7 7840H / HS：8 核 16 線程，可達 5.1GHz，45/35W TDPR5 7640H / HS：6 核 12 線程，可達 5.0GHz，45/35W TDP搭載銳龍 7040 HS 處理器的筆記本在 2023 年 3 月上市昌意
IT之家，今天 11 歲！一早間就看到了圈子和群里祝福和催促：那個帶刺的，該寫散文了。想了想，仿佛年的一幕幕就在眼前，可不不覺間，卻還是真的已經走這么遠。記得之前在內部會我說：我們的未來有多遠，于我們離用戶有多近。十年劍，半路的一峰登頂，看到是后面一座更高一座的山。老子》中說：“勝人者有力自勝者強”。任何方向的前，都是一場時間和耐力后的淀，都是自己和自己的天人戰(zhàn)。守得住初心，耐得住寂。前行途中見多了生死存亡跌宕起伏，每一次要害關口抉擇，可能都會決定另一番同的命運。君子素其位而行守正持中，不折騰。慢慢來比較快。君不見，天不生我 ithome，科媒萬古如長夜。今天沒有豪彘篇的散文，人說，寧每次的長篇大論，動的無非自己。想想也是，兒只說三分話，留下七分打下。就這樣吧。愛科技，愛里。IT之家，11 歲生日快樂！IT之家的家人們，家庭日快樂！刺客，軟媒 CEO ——“散文家”，皮帶之家 / 衛(wèi)褲之家 / 廣告之家 / 鋪路機之家 / 挨踢之家 / 軟粉之家 / 米粉之家 / 果粉之家 / 華為之家 / 汽車之家 / 基家…… 諸多之家大首領，IT之家一代目，“青島水庫”庫長。2022 年 5 月 15 日 15 點 15 分，國際家庭日，之家日。青青一島?
IT之家 1 月 8 日消息，對于今年季上架的 iPhone 15 系列機型蘋果顯然調整四款型的功能定價。在 iPhone 15 和 iPhone 15 Plus 獲得靈動島功能外，蘋果會為 iPhone 15 Pro 和 iPhone 15 Pro Max（或者 Ultra）推出一高端功能以便于更地區(qū)分。IT之家根據(jù)國外科技體 MacRumors 匯總的信息了解，iPhone 15 Pro 和 iPhone 15 Pro Max 可能會有下六大獨功能：1. A17 芯片根據(jù) Nikkei Asia 報道，iPhone 15 Pro 機型將配備于臺積電二代 3nm 工藝制造的 A17 Bionic 芯片，提升能和效率該報告稱去年相同只有 iPhone 15 Pro 機型會配備蘋果新的芯片2. 鈦金屬框架據(jù)析師 Jeff Pu 和泄密者“ShrimpApplePro”稱，與 Apple Watch Ultra 一樣，iPhone 15 Pro 機型的框將改用鈦屬，而不不銹鋼。3. 采用 USB-C 端口據(jù)分析師郭明稱，iPhone 15 Pro 機型將配備至少支 USB 3.2 或 Thunderbolt 3 的 USB-C 端口，這將使些設備的據(jù)傳輸速顯著加快郭老師表，標準 iPhone 15 機型上的 USB-C 端口仍將制為 USB 2.0 速度。4. 增加內存據(jù)研究司 TrendForce 稱，iPhone 15 Pro 機型將配備加的 8GB 內存，而標準機可能會像前一樣繼配備 6GB 內存。額外的 RAM 可以讓 Safari 等應用程序后臺保持多內容處活動狀態(tài)從而防止用程序在新打開時新加載內。5. 固態(tài)按鈕郭錤說，iPhone 15 Pro 機型將配備固態(tài)量和電源鈕。分析表示，這設備將配兩個額外 Taptic Engines，可提供覺反饋來擬按下按的感覺，無需實際動按鈕，似于最新 iPhone SE 上的 Home 按鈕或新款 MacBook 上的觸控板。6. 光學變焦郭明錤示 iPhone 15 Pro Max 將配備潛式長焦鏡。這可能該設備至具有 6 倍光學變，而 iPhone 14 Pro 機型為 3 倍。彭博社的 Mark Gurman 曾建議 iPhone 15 Pro Max 可以更名為 iPhone 15 Ultra，就像 Apple Watch Ultra 一樣。
IT之家 1 月 9 日消息，近期蘋果中國區(qū)官網已線單獨的家居板塊（Apple Home）。頁面顯示，家居板塊主壽麻分為三個品類HomePod、Home App（家庭 App）以及智能家居配件。其中，HomePod 是 Apple 的智能音響產品，可以與 Apple 售賣的智能家居單品進騶吾連接，通過人為語音別控制；家庭 App 則是 iPhone 或 iPad 自帶的系統(tǒng)軟件，在蛇山軟件中添加 HomeKit 或 Matter 配件，就可以控制家中不同區(qū)域的智家居配件，比如大廳的頂燈吊扇、浴室的淋浴器等等。IT之家注意到，智能家居配件產品類型主要沂山攝像頭、燈、門鎖、開關、路由器、犲山等等，蘋果官網已上線的智家居單品接近 30 個，均為其他品牌的產品噎并由第方廠家生產。不過這些配件售價不菲，比如一款 Nanoleaf Essentials 品牌的智能變色 LED 燈泡售價高達 168 元，一套小燕的智能生活套裝售價 680 元，綠米的智能門鎖售價 1798 元，天然氣報警器和智能煙霧警器均售價 248 元，Nanoleaf Shapes 系列的智能六角燈奇光板售價近 1500 元。據(jù)界面新聞報道，蘋果在九鴖前已經布局家居板塊。2014 年，Apple 在 iOS 8 系統(tǒng)上正式發(fā)布 HomeKit 套件，在兩年后的 iOS 11 系統(tǒng)上，Apple 發(fā)布了 Apple Home App（家庭 App）。2019 年，Apple 和谷歌、亞馬遜、三星和 Zigbee（現(xiàn)更名為 CSA 聯(lián)盟）成立了名為 Project Connected Home over IP（CHIP）的組織，對外表示旨在顓頊決智能家居產品之間夔互互通問題，并籌備策劃新的能家居連接協(xié)議 Matter 的誕生。2022 年 10 月，Matter 1.0 版本和認證計劃正式發(fā)布。與此同時，Apple 在 iOS 16.1 更新對 Matter 設備的支持，成為首批支持 Matter 設備的系統(tǒng)之一。根據(jù) CNBC 報道，目前已有 280 家企業(yè)支持 Matter 標準，第一批 Matter 設備已經進入市場，但是大多數(shù)支持 Matter 的新設備要到明年才能上市?
感謝IT之家網友 A14永不為奴、草莓可鯉餅 的線索投遞！IT之家 1 月 10 日消息，谷歌今日面向 Pixel 用戶發(fā)布了 Android 13 QPR2 Beta 2（T2B2.221216.006）測試版更新，其中包括最新的 1 月份安全補丁、錯誤修以及對性能和穩(wěn)定性優(yōu)化。該版本面向?Pixel 4a / 5/5a / 6/6 Pro / 6a / 7/7 Pro 機型推送，用戶需要冊 Android 13 Beta 計劃并正在運行現(xiàn)有的 Beta 版本，將會自動收到 QPR2 Beta 2 的?OTA 更新。目前，已有IT之家小伙伴收到了該測試版更新，燭光新大小為 140MB，目前谷歌官方尚未列具體的更新日志。由這是測試版，因此會在一些問題。上一版 QPR2 Beta 1 存在例如當“最近使用的應用”列表開并且方向發(fā)生更改可能出現(xiàn)無響應的現(xiàn)，而且可能存在性能題以及穩(wěn)定性以及續(xù)方面的問題，希望能新版本得到改進?
感謝IT之家網友 航空先生 的線索投遞IT之家 1 月 10 日消息，據(jù)浙江聞報道，日杭州市民政府和里巴巴集全面深化略合作協(xié)簽約活動行。阿里巴集團董會主席兼席執(zhí)行官勇表示，里將積極行社會責，以助力州數(shù)字之建設為契，深入實云計算、費、全球三大戰(zhàn)略幫助創(chuàng)造業(yè)，參與際競爭，加大科研入、智能聯(lián)產業(yè)生建設、支數(shù)字經濟業(yè)態(tài)發(fā)展助力共同裕、辦好運會等方與杭州同共振、深合作，持為杭州經社會發(fā)展獻力量。IT之家了解到，阿里巴是在杭成長起來世界 500 強企業(yè)。2013 年，杭州市與阿里巴集團簽戰(zhàn)略合作議，開啟座城與一企業(yè)的深合作?
IT之家 1 月 10 日消息，據(jù)臺灣地區(qū)經濟報報道，財務數(shù)顯示，面板大廠創(chuàng) 2022 年第四季度合并營降至約 479 億新臺幣（約 106.34 億元人民幣），為 2010 年首季度以來低點。具體看，群創(chuàng)最新財數(shù)據(jù)如下：群創(chuàng) 2022 年 12 月營收 161.13 億新臺幣（約 35.77 億元人民幣），環(huán)比減少 0.4%，同比減少 39.2%；群創(chuàng) 2022 年第四季度合并營收 479.13 億新臺幣（約 106.37 億元人民幣），環(huán)比減 0.2%，同比減少 40%；群創(chuàng) 2022 年合并營收 2237.15 億新臺幣（約 496.65 億元人民幣），同比減少 36.1%，為 13 年來最差。群創(chuàng)表示，2022 年 12 月大尺寸面板出貨量 975 萬片，環(huán)比增長 6.3%；中小尺寸面板貨量 1900 萬片，環(huán)比減少 3.8%。去年第四季度大尺寸出量 2770 萬片，環(huán)比增長 6%；中小尺寸出貨量 6066 萬片，環(huán)比減少 11.6%。2022 年大尺寸面板出貨量為 1.21 億片，同比減少 18.3%；中小尺寸面板出量 2.8 億片，同比減少 15.4%。IT之家了解到，群創(chuàng)認，總體經濟尚未好，目前不會拉產能利用率，預本季度前段產能用率約六成至七，后段平均產能用率約八成。對二季度展望趨向慎樂觀，并期待迎來第三季度產回溫的好消息?
