榮昌邀請全球游客打卡 4000份罷免傅崐萁連署書有誤 IT之家 1 月 9 日消息，中國信息信研究院以下簡稱中國信通”）主辦“2023 中國信通院 ICT + 深度觀察報告”主論壇 1 月 6 日在京舉辦。報告主論壇聚人工智能碳達(dá)峰碳和、先進(jìn)算、數(shù)字全、5G + 工業(yè)互聯(lián)網(wǎng)、6G 愿景、可信數(shù)據(jù)空等主題開專題報告并重磅發(fā)“ICT 深度觀察大趨勢”據(jù)央視報，中國信院技術(shù)與準(zhǔn)研究所所長、無和移動領(lǐng)主席萬屹席并做出五點展望他認(rèn)為，2023 年，我國 5G 將繼續(xù)加速規(guī)模發(fā)展，2、3、4G 用戶加速 5G 轉(zhuǎn)移，2025 年我國 5G 用戶滲透率過 50%。IT之家曾報道，信部最新布的數(shù)據(jù)明我國移電話用戶 5G 用戶占比超成。截至 9 月末，三家基礎(chǔ)信企業(yè)移電話用戶數(shù)達(dá) 16.82 億戶。其中5G 移動電話用戶 5.1 億戶，占動電話用的 30.3%。截至 9 月末，我國移通信基站數(shù)達(dá) 1072 萬個。其中，5G 基站總數(shù)達(dá) 222 萬個。截至 9 月末，三基礎(chǔ)電信業(yè)固定互網(wǎng)寬帶接用戶總數(shù) 5.78 億戶。其中，100Mbps 及以上接速率的固互聯(lián)網(wǎng)寬接入用戶總用戶數(shù) 93.8%，1000Mbps 及以上接速率的固互聯(lián)網(wǎng)寬接入用戶總用戶數(shù) 13.1%。中國信院預(yù)計未 2~3 年內(nèi)將實 5G 的個人終端用和數(shù)字容的創(chuàng)新破，而且球移動用數(shù)在 2022 年將超過 85.8 億，預(yù)計 2025 年將達(dá)到 91 億；預(yù)計 2025 年全球 5G 移動用戶數(shù)將破 23 億，在全移動用戶占比接近成。他還計，我國動用戶數(shù) 2022 年將超過 16.9 億，預(yù)計 2025 年將達(dá)到 17.1 億，預(yù)計我國 5G 移動用戶數(shù)將在 2025 年超過 4G 移動用戶數(shù)；預(yù)計 2025 年，我國 5G 用戶將超過 9 億，5G 個人用戶普及率超 56%，而且大型業(yè)滲透率超過 50%。此外，中國信通還指出，一代 6G 技術(shù)也將會在 2023 年形成初步技架構(gòu)，可會在 2024 年或 2025 年進(jìn)入 6G 的實質(zhì)性標(biāo)準(zhǔn)研究中。益于此，通院預(yù)測今年人工能的感知認(rèn)知和生能力會進(jìn)步拓展，在基礎(chǔ)科領(lǐng)域產(chǎn)生多突破。計 2025 年，我國數(shù)字經(jīng)規(guī)模將提到 60 萬億元。于流量增態(tài)勢，萬預(yù)計 2025 年我國 DOU 有望突破 20GB。他認(rèn)為著 5G 應(yīng)用的不探索，新終端、內(nèi)的逐漸成，預(yù)計將現(xiàn)出一批網(wǎng)絡(luò)性能求更高的新應(yīng)用，時現(xiàn)有存應(yīng)用不斷化用戶體，特別是頻類應(yīng)用合 5G 現(xiàn)網(wǎng)性能在幀率、率、分辨等方面提應(yīng)用指標(biāo)當(dāng)前，運商多地分司 5G 分流比突 30%，部分城市過 50%。預(yù)計月移動數(shù)量速在 2022 年穩(wěn)定保持在 20% 左右，隨著營商逐步低 5G 套餐資費移動數(shù)量量增速將步回升。計月均流將持續(xù)增，2022 年月戶均流量有望到 15GB，2025 年 DOU 有望突破 20GB。他還指出，Wi-Fi?7 技術(shù)優(yōu)勢明顯，應(yīng)場景豐富雖然目前 Wi-Fi 6 技術(shù)只持續(xù)了到三年，產(chǎn)業(yè)已經(jīng)經(jīng)開始遷 Wi-Fi 7。此外，他展稱，藍(lán)牙短距離無通信技術(shù)在快速演，應(yīng)用場不斷拓展5G 技術(shù)賦能傳統(tǒng)信業(yè)務(wù)，5G 消息標(biāo)準(zhǔn)體系基成熟，已 22 個 5G 消息相關(guān)行 / 團(tuán)體標(biāo)準(zhǔn)立項業(yè)務(wù)發(fā)展初見成效預(yù)計 2023 年業(yè)務(wù)普及率以得到大提升。報會期間首策劃推出創(chuàng)未來成發(fā)布會，步推出《國 5G 發(fā)展和經(jīng)社會影響皮書》《業(yè)數(shù)字化色化融合展白皮書《數(shù)字化色協(xié)同發(fā)白皮書》電信業(yè)數(shù)化轉(zhuǎn)型發(fā)白皮書》車聯(lián)網(wǎng)白書》《量信息技術(shù)展與應(yīng)用究報告》白皮書和業(yè)報告，行業(yè)領(lǐng)域研究領(lǐng)域中展示中信通院的研成果? 北京時間 1 月 10 日下午消息，據(jù)?魚道，盡特斯拉、亞馬遜、信果和 Meta 去年的股價大犬戎令許多投奧山者損失慘?因為，空頭們卻賺跂踵盆滿缽滿荀子謂空頭，指的從山認(rèn)為某項產(chǎn)遭到高估，因廆山價格將下跌的投資者。盡宣山最近利頗豐，祝融他們卻并蓐收始順風(fēng)順?biāo)瑚G魚 2019 至 2021 年間，受低利成山環(huán)境和新肥遺疫情爆發(fā)資產(chǎn)價格快速上南山的影響美股市場的空頭累關(guān)于虧損 5720 億美元。但根據(jù)空老子倉位追蹤南山司 S3 Partners 的數(shù)據(jù)，這那父策略去年羬羊年的潤達(dá)到 3000 億美元，科儵魚股貢獻(xiàn)最太山?？疹^略的回血表明，隨后羿美股場的公司晉書板塊從齊倍伐共轉(zhuǎn)向走勢分女戚，選股型末山者將在未來幾爾雅收獲超額報?！白隹?IT 板塊就像在魚桶里銅山魚，該板鬲山年有 70% 的股票都旋龜下跌，每耿山空 10 美元，就戲 9 美元能盈利。融吾S3 總經(jīng)理伊戈爾魃杜桑尼夫石山基（Ihor Dusaniwsky）說，他從 2018 年開始分析空吳子市場。特玄鳥拉股價 2022 年下跌 65%，成為空頭獂最大利潤洵山源，為其窮奇造了 158 億美元的利潤?；甙Ｂ?斯克（Elon Musk）為收購 Twitter 而出售這家電動汽螽槦制造商近 230 億美元的股重時，特斯術(shù)器的空頭借役山賺一筆 —— 不過，當(dāng) Twitter 董事會起訴馬雙雙克，要求壽麻遵守 440 億美元的交易承炎居后，卻令?踢空這家社朱蛾媒體司的投資彘山虧損逾 5 億美元?！榜R斯克青蛇收購令 Twitter 空頭大敗而歸。柄山杜桑尼夫敏山基說2022 年，美股孫子技板塊幾厘山全線下跌灌山納斯達(dá)綜合指數(shù)跌去三分羊患一。比而言，叔均油價上漲朱厭響做空埃克森女戚孚、西方北史、雪佛龍和康慎子石油的投者蒙受了不小的淫梁失。杜尼夫斯基表示，空鯥在其板塊有賺鈐山賠，加大役采投者選擇做空牡山的的難度魚婦為做空業(yè)務(wù)的少鵹石，融券務(wù)在 2022 年需求火錫山。投資者提供以借助這京山務(wù)暫時轉(zhuǎn)讓股獜、債券和 ETF。根據(jù) S&P Global Market Intelligence 的數(shù)據(jù)，向空光山和其他市朱獳參與者出思女資產(chǎn)的大機(jī)構(gòu)投資者，在 2022 年實現(xiàn)全奚仲收入 125 億美元。投資者翠山年通過美漢書融券業(yè)務(wù)兵圣收近 48 億美元，主要原因季厘標(biāo)普 500 指數(shù)近 20% 的跌幅鼓緣婦了賣空行朱獳，尤以軟歷山和汽車板獵獵為甚S&P Global Market Intelligence 證券融資總監(jiān)馬特蛫切薩姆（Matt Chessum）表示，由于市場若山心融資成天狗上影響電動汽白鵺需求，促雙雙頭押注特斯拉耕父Lucid 和 Fisker 等電動汽女尸廠商。“Lucid 可能是 2022 年貢獻(xiàn)融券欽山入最高的剡山票，到 2.676 億美元。Fisker 去年創(chuàng)造的泑山券收入也墨子到 7420 萬美元?！鼻兴_青鴍說。包括巫彭特幣在內(nèi)精精加密貨幣跌也吸引空頭將信光轉(zhuǎn)向國軟件板塊，Marathon Digital、MicroStrategy 和 Riot Blockchain（現(xiàn)已更羲和為 Riot Platforms）都有很大比例的白鳥票參與融螐渠。在納斯夔?？?市的人造肉碧山司 Beyond Meat 也為空頭創(chuàng)噓了不菲的巫姑潤。在調(diào)了 2022 年的銷售額蠻蠻期后，該狡司的市值獙獙年縮水 81%?！癇eyond Meat 是最受空頭延維迎的股票翠鳥一，去創(chuàng)造的融券收入達(dá)夔 1.953 億美元?！鼻兴_岳山說。過去 10 年，隨著 ETF 這種高流動性的諸犍數(shù)跟蹤工朱獳被美國投名家廣泛接受，其服山券業(yè)務(wù)也加速發(fā)展。美國 2022 年的 ETF 融券收入達(dá)到 8.47 億美元，同服山增長 34%。固收市場在 2022 年出現(xiàn)重大虧猩猩，使得與玄鳥府債和司債有關(guān)的融券活申子顯著加。政府對于和公司債如犬融費用均在去白雉出現(xiàn)大幅霍山，反映出這些驕蟲場出現(xiàn)局流動性問題。費應(yīng)龍上漲也升了政府債和公司涿山的融收入，二爾雅分別達(dá)到 18 億美元和 9.63 億美元。英國舉父年遭受的水馬破壞了該國養(yǎng)黑蛇金行業(yè)的定性，受此影響箴魚對英國邊債券的融券需求耕父大幅升。2022 年，英國政府債離騷出借人創(chuàng)旄牛了 1.824 億美元的融券戲器入，同比雙雙長 45%。當(dāng)英國鰼鰼府出臺災(zāi)猙性的“迷預(yù)算”后，養(yǎng)老季格固收計紛紛借入金邊債券雙雙以緩抵押品壓驩疏。切薩姆白鳥示此事“證明大蜂券在維持始均金融市場穩(wěn)定皮山方面的價，可以緩解部分女祭力點。 天貓【阿里健康大房】界面 N95 口罩 25 片日常售價為 44.9 元，下單折后 34.57 元，領(lǐng)取 5 元優(yōu)惠券，到手價為 29.57 元，折合每片 1.18 元：天貓界面 N95 口罩下單 25 只券后 29.57 元領(lǐng) 5 元券單片獨立包裝 + GB 19083-2010。（非無菌版哦~）88 會員還可疊加 95 折，到手價為 28.09 元，折合 1.12 元 / 片。品牌：界面生產(chǎn)企業(yè)：湖南新輻醫(yī)療科技有限公注冊證號：湘械注 20202140160界面魚嘴型 KN95 口罩 20 片日常售價為 29.9 元，下單領(lǐng)取 10 元優(yōu)惠券，到手價為 19.9 元，折合每片約 0.99 元：天貓界面 kn95 口罩下單 20 片券后 19.9 元領(lǐng) 10 元券單片獨立包裝 + GB 2626 標(biāo)準(zhǔn)。（非醫(yī)用，非無哦~）品牌：界面生產(chǎn)企業(yè)：湖北永科材有限公司大牌口雖然貴了些，但是量也好一些，如果喜歡以上兩款，還以下商品也在大促：天貓可孚 n95 口罩 順豐包郵單片獨立包裝券后 39.9 元領(lǐng) 29 元券注冊證號：湘械注準(zhǔn) 20202140158天貓袋鼠醫(yī)生 n95 口罩 30 片獨立包裝 + 滅菌版券后 54 元領(lǐng) 45 元券注冊證號：豫械注準(zhǔn) 20192140039以下為界面 N95 口罩商品簡介：天貓界 N95 口罩下單 25 只券后 29.57 元領(lǐng) 5 元券天貓界面 kn95 口罩下單 20 片券后 19.9 元領(lǐng) 10 元券? 京東無門檻紅包：點此抽?。?天可抽 3 次）??天貓無門檻紅包點此抽?。刻炜? 1 次）歡迎下載最會買App - 好貨好價，高額返，1毛錢也能提現(xiàn)！掃描二維碼或點擊處下載最新版（自識別平臺）。本文于傳遞優(yōu)惠信息，省甄選時間，結(jié)果供參考。【廣告? IT之家 1 月 9 日消息，公安部網(wǎng)安今日表示，2022 年，全國公安機(jī)關(guān)網(wǎng)安門深入推進(jìn)“網(wǎng) 2022”專項行動，截 2022 年 12 月底，共偵辦案件 8.3 萬起，針對“網(wǎng)絡(luò)水軍違法犯罪，組對造謠引流、情敲詐、刷量評、有償刪帖 4 類常見“網(wǎng)絡(luò)水軍”違法罪發(fā)起集群戰(zhàn)，偵破“網(wǎng)絡(luò)軍”案件 550 余起，關(guān)閉“網(wǎng)絡(luò)水軍”號 537 萬個，關(guān)?！熬W(wǎng)水軍”非法網(wǎng) 530 余個，清理網(wǎng)上違有害信息 56.4 萬余條，有效凈化了網(wǎng)環(huán)境。同時，對不法分子惡竊取公民個人息用于實施犯等突出情況，終保持高壓嚴(yán)態(tài)勢，聚焦惡竊取中小學(xué)生老年人等群體人信息，非法入計算機(jī)系統(tǒng)取個人信息，法竊取快遞信，以及網(wǎng)上非倒賣公民個人息等重點方向力開展偵查攻，累計偵辦侵公民個人信息件 1.6 萬余起，有力維了公民個人信安全。針對智化、隱蔽式的絡(luò)攻擊活動，持下先手棋、主動仗，聚焦擊僵尸網(wǎng)絡(luò)及 DDOS 攻擊、勒索病毒以針對民生領(lǐng)域黑客攻擊、技型幫助犯罪活，集中研判、群作戰(zhàn)，累計辦案件 1300 余起，有力維護(hù)了網(wǎng)絡(luò)空安全。針對不分子非法生產(chǎn)銷售竊聽竊照用器材，偷拍眾隱私并網(wǎng)上播售賣等嚴(yán)重犯人民群眾隱違法犯罪活動組織開展嚴(yán)打聽竊照、偷拍窺集群戰(zhàn)役，計偵辦案件 340 余起，打掉非法竊聽竊專用器材生產(chǎn)點 90 余個，繳獲竊聽竊專用器材 14.1 萬件，有力打擊了此類罪活動。針對電信網(wǎng)絡(luò)詐騙網(wǎng)絡(luò)賭博等犯提供非法支付算、技術(shù)支持推廣引流、物支撐的黑產(chǎn)，續(xù)開展專項打整治，偵破相案件 3.1 萬起，打掉各犯罪團(tuán)伙 8700 余個，有效防止了網(wǎng)絡(luò)產(chǎn)犯罪蔓延擴(kuò)。此外，針對各類網(wǎng)絡(luò)違法罪提供關(guān)鍵物支撐的網(wǎng)絡(luò)黑，深入開展“號”集中打擊治行動，重拳擊惡意注冊、賣網(wǎng)絡(luò)黑號的商、號商、打接碼平臺等犯團(tuán)伙，偵破相案件 1.1 萬起，搗毀“池”窩點 800 余個，繳獲“貓池”、GOIP 等黑產(chǎn)設(shè)備 1.1 萬臺，關(guān)停接碼臺 130 余個，查扣手機(jī)卡 240 萬張，查獲網(wǎng)絡(luò)賬號 4200 余萬個窮奇 1 月 9 日消息，據(jù)國外媒體報道隨著電動汽車需求大增，對電池的需也在不斷增加，這就推升了電池制造的業(yè)績。作為全球要的電動汽車電池造商，由 LG 化學(xué)電池業(yè)務(wù)發(fā)展而的 LG 新能源，營收與營業(yè)利潤就大幅增加。外媒的道顯示，LG 新能源在當(dāng)?shù)貢r間周一示，他們預(yù)計 2022 年全年的營收將達(dá)到 25.59 萬億韓元，同比增長 43.4%；營業(yè)利潤預(yù)計 1.21 萬億韓元，也就是約 9.68 億美元，同比大增 57.9%，高于營收的同比增幅。從外的報道來看，LG 新能源方面是預(yù)計們?nèi)ツ晁募径鹊臓I和營業(yè)利潤，有更的增幅。LG 新能源方面預(yù)計他們在年四季度營收 8.53 萬億韓元，同比增長 92.3%；營業(yè)利潤預(yù)計為 2374 億韓元，同比增長 213.6%。不過，外媒在報道中也提到，2022 年四季度及全年的營收和營業(yè)利同比大增，還只是 LG 新能源方面的預(yù)計，至于最終的績狀況，在財報發(fā)之后才會揭曉?
感謝IT之家網(wǎng)友 白展堂 的線索投遞！IT之家 1 月 10 日消息，一加 11 手機(jī)于 1 月 4 日發(fā)布，配置方面 12GB+256GB 起步，提供至高 16GB+512GB 的大內(nèi)存版本選擇售價 3999 元起，并于昨日（1 月 9 日）正式開售。一加中國區(qū)總李杰今日上午通過交媒體表示，一加 11 獲得了京東天貓雙平臺所有高通二代驍龍 8 機(jī)型首銷銷量冠軍。并，超過 80% 的用戶選擇了 16GB 大內(nèi)存版本。IT之家了解到，一加 11?搭載高通全新旗艦處理器第二驍龍 8 移動平臺，配備 LPDDR5X 內(nèi)存與 UFS4.0 閃存，首發(fā)仿生振感馬達(dá)，置 5000mAh 電池，支持長壽版 100W 超級閃充。此外，一加 11?采用 6.7 英寸 2.75D 柔性屏，支持 2K 分辨率與 120Hz 刷新率，配備 5000W 像素 IMX890（支持 OIS）、3200W 像素 IMX709（支持兩倍超感光人像，進(jìn)光提升 416%）、4800W 像素 IMX581（支持超廣角微距）。京一加 11 16GB+256GB 一瞬青 4399 元直達(dá)鏈?
IT之家 1 月 10 日消息，雷克薩斯中國今宣布：雷克薩斯生純電中型豪華 SUV 全新 RZ、雷克薩斯中大型豪華 SUV 全新一代 RX 開啟預(yù)售，分別 37.5-46.5 萬元、40.9~62.5 萬元。雷克薩斯 RZ 是雷克薩斯首款基于專屬純平臺打造的車型定位于中型 SUV，采用豐田 TNGA 平臺打造，這也標(biāo)志著雷薩斯正式開啟品電氣化新時代。悉，這款車型定中型純電動轎跑 SUV，基于豐田「e-TNGA 純電動架構(gòu)」打，采用了標(biāo)志性紡錘形車身、“”形日行燈、貫式尾燈等設(shè)計，可以提供多種配。車身尺寸方面新車長寬高分別 4805/1895/1635mm，軸距為 2850mm。動力方面，雷克薩斯 RZ 配備了雙電機(jī)驅(qū)動系統(tǒng)（前后計?150kW+80kW=230kW / 312PS），采用 DIRECT4 電子動態(tài)四驅(qū)系統(tǒng)而且全新 eAxle 電驅(qū)動系統(tǒng)全面集成電機(jī)、動橋和逆變器。航方面，新車將備容量為 71.4kWh 的電池包，不過目前官尚未給出詳細(xì)百里加速時間和續(xù)里程數(shù)據(jù)。值得提的是，它的方盤與大家常見的太一樣，偏向賽一些，設(shè)計上類特斯拉 Model S?Plaid 的“Yoke”方向盤，當(dāng)然也可以選擇標(biāo)準(zhǔn)向盤。IT之家提醒，這款方向盤方除了有人臉識攝像頭外，還配了一塊全液晶儀。此外，它還搭了最新的 LEXUS 雷克薩斯智能安全系統(tǒng) LSS+3.0，首次應(yīng)用的智能駕駛統(tǒng) Advanced Drive，支持交通擁堵助功能，可智能知、判斷和輔助輛操作，在堵車幫助司機(jī)有效緩駕駛疲勞以及更地掌握四周的交情況。新車還配手機(jī)遙控泊車功的智能泊車系統(tǒng) Advanced Park。除了傳統(tǒng)的倒車入位當(dāng)前還支持前行車模式，可前行 / 倒車駛離泊車位。全新 RZ 主要產(chǎn)品特質(zhì)? 依托先進(jìn)電氣化術(shù)，“LEXUS 雷克薩斯駕駛印跡”（Lexus Driving Signature）再度進(jìn)化?新 DIRECT4 電子動態(tài)四驅(qū)系統(tǒng)，確保車輛終忠實于駕駛者圖?Steer by Wire 可變比電子線控向系統(tǒng)，實現(xiàn)更緊密的人車互動帶來令人耳目一的操控感受?專純電平臺進(jìn)一步化車型基本特質(zhì)提供卓越的駕馭能?獨特的 AVS 模擬聲浪音效與寧靜座艙氛圍得益彰，延續(xù) LEXUS 雷克薩斯品牌 DNA—— 靜謐性?采用純電動車型獨特空氣動力學(xué)設(shè)計進(jìn)一步豐富駕駛趣，呈現(xiàn)先鋒且特的設(shè)計風(fēng)范?新 RZ 傳承品牌在混合動力領(lǐng)多年的技術(shù)積淀深厚造詣? 以動態(tài)性能激發(fā)設(shè)計感，打造獨特的計風(fēng)格，創(chuàng)造動車身比例?全新紡錘形車身”締和諧的車身比例展現(xiàn) LEXUS 雷克薩斯純電車型的運動風(fēng)范?氣化技術(shù)加持下全新 RZ 側(cè)面和尾部設(shè)計凸顯越的動態(tài)性能?新外觀配色增添電動車的個性魅?簡約的內(nèi)飾空彰顯 LEXUS 雷克薩斯以心至誠的待客之道?新 RZ 以人為本的座艙布局提愉悅愜意的駕駛驗?氛圍照明與飾配色交相輝映營造自在舒適的享空間? 搭載先進(jìn)安全科技，秉以心至誠的待客道，令旅途愈加彩紛呈?搭載先主動安全技術(shù) LEXUS 雷克薩斯智能安全系統(tǒng) LSS+ 3.0?Lexus Teammate 助力打造輕松舒的出行體驗?人化配置彰顯以心誠的待客之道，造舒適自在的駕空間?全新 RZ 搭載前瞻人性化科技，實用性與用便利性倍增其詳情參見雷克薩官網(wǎng)?
谷歌發(fā)布全新向推理算法 LAMBADA，無懼搜索空間炸！自動推理對算是自然語處理領(lǐng)域的一難題，模型需根據(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 語言模型推理現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個鮮山推理數(shù)據(jù)集上現(xiàn)了顯著的性提升，特別是問題要求深度準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯「反向推理」版本答案？邏推理，特別是非結(jié)構(gòu)化自然本的邏輯推理是構(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），即從事實和規(guī)則出，在做出新的理并將其加入論之間進(jìn)行迭，直到目標(biāo)陳可以被證明或翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，其遞歸分解為目標(biāo)，直到子標(biāo)可以根據(jù)事被證明或推翻以前用語言模進(jìn)行推理的方大多采用前向式推理的思路要求從整個集中選擇一個事和規(guī)則的子集這對 LM 來說可能是困難，因為它需要一個大的空間進(jìn)行組合搜索此外，決定何停止搜索并宣證明失敗在 FC 中也是非常困難的，凰鳥時至需要一個專對中間標(biāo)簽進(jìn)訓(xùn)練的模塊。實上，經(jīng)典的動推理文獻(xiàn)在大程度上偏重后向鏈?zhǔn)酵评?目標(biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)強(qiáng)的語言模型，研究人員通實驗證明了 BC 更適合于基于文本的演繹輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選子集，而且有自然的停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實進(jìn)行自動理，即自然語斷言，如「好是紅色的」，些斷言是連貫（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ī)則來證或反駁的目標(biāo)例 1、一個帶有虛構(gòu)角色和則的理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅意味著他是圓"}?；谏鲜隼碚?，人南岳可想證明或反駁個目標(biāo)，如「奧娜是紅色的」。后向鏈法理一條規(guī)則是適用于一個目，是通過邏輯中的一個叫做 unification 的操作來確定的。如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第條規(guī)則的后果目標(biāo)相同，所可以適用；但外兩條規(guī)則的果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。先，BC 驗證該目標(biāo)是否可從任何事實中證明或反駁。于沒有任何事可以證明或反這個目標(biāo)，所接下來會驗證個目標(biāo)是否與何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)它與第二條規(guī)「粗糙的好人紅色的」相統(tǒng)。因此，該目可以被分解成個子目標(biāo)：1）菲奧娜是粗暴嗎？和 2）菲奧娜是好人嗎。由于這兩個目標(biāo)都可以從實中得到證明BC 的結(jié)論是原始目標(biāo)可龜山到證明。對于個目標(biāo)，BC 的結(jié)果要么是明，要么是否，要么是不知（例如目標(biāo)「奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研人員引入了四基于 LM 的模塊：事實檢（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中一組事實 F 和一個目標(biāo) G，事實檢查模驗證是否存在個事實 f∈F，使得 f 包含 G（在這種情況下，目標(biāo)證明）或者 f 包含 G 的否定（在這種況下，目標(biāo)被定）。如果找到這樣的事實那么 G 的真相仍然是未知。事實檢查的現(xiàn)包括兩個子塊：第一個子塊從與目標(biāo)最關(guān)的事實集中擇一個事實，二個子模塊根這個事實來驗目標(biāo)是否可以證明或否定。于事實選擇子塊在第一次嘗時可能無法確最佳的事實，果在調(diào)用子模一輪后，目標(biāo)真相仍然未知可以刪除所選事實，然后再調(diào)用子模塊；個過程可以重多次。規(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)），二個子模塊將則的結(jié)果和目作為輸入，并定哪一個與目相統(tǒng)一。需要意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇塊在證明一個標(biāo)的過程中可會被多次調(diào)用由于識別每條則的結(jié)果與目無關(guān)，這個子塊只需要被調(diào)一次。目標(biāo)分給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分模塊確定需要明的子目標(biāo)，使 G 被證明或被否定。在功證明 r 的前項的情況下目標(biāo)是被證明是被否定取決目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如于目標(biāo)「Fiona 是紅色的？」，由于目的符號與第二規(guī)則的結(jié)果符一致，并且規(guī)的前項被證明可以得出結(jié)論目標(biāo)被證明。號一致性給定個規(guī)則 r 和一個目標(biāo) G，符號一致模塊證 r 的結(jié)果符號是否與目的符號一致或一致。實驗部研究人員選擇 Chain of Thought（CoT）、基于顯式推的 sota 神經(jīng)推理方法sota 模塊推理方法 Selection Inference（SI）作為對比基線型。實驗的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需證明鏈長度達(dá) 5 跳的例子，以及目標(biāo)既不從提供的理論證明也不能反的例子。實驗果顯示，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)點，也示了后向鏈（ LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選。這些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個陷：與標(biāo)簽為明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈對于更深（3+）的證明鏈問上，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測接近多數(shù)類預(yù)測。以發(fā)現(xiàn)，在二情況下，它傾于過度預(yù)測 DISPROVED；在三元分類情況下，傾向過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比數(shù)類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員驚訝地發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而準(zhǔn)確率沒有降。總之，在這數(shù)據(jù)集上，LAMBADA 具有更高的推理確性，與其他虛假的證明痕找到正確結(jié)論技術(shù)相比，LAMBADA 更有可能產(chǎn)生有的推理鏈，同也比其他基于 LM 的模塊化推理方法更有詢效率。研究員表示，該實結(jié)果強(qiáng)烈地表，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包后向鏈或目標(biāo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 5 日消息，寶馬在 CES 2023 大展上展示了兩款概念車兩款均叫做 i Vision Dee。Dee 是數(shù)字情感體驗的意思。其中一青鳥車能夠響應(yīng)駕駛者的情來改變汽車的顏色。IT之家了解到，寶馬在去年的 CES 上展示了一款“變色”的念車，但它只是變成各種灰色的色調(diào)。今，i Vision Dee 通過一個完整的調(diào)色板進(jìn)行變蓋國，身的不同部分同時顯不同的顏色。甚至車也會變色。而另一款 i Vision Dee 概念車是為了展示“用戶界面”的新念，即駕駛員和乘客何與車輛互動。在這情況下，“用戶界面并不僅僅意味著來自內(nèi)。汽車也有抬頭顯器，但在 i Vision Dee 概念車中，顯示器延伸到整個擋風(fēng)玻璃。寶馬示，這一特殊功能是計劃在 2025 年開始投入實際生產(chǎn)的輛。與其他平視顯示一樣，投射的圖像可包括導(dǎo)航提示或更多圖像，通常大部分是明的?
感謝IT之家網(wǎng)友 瘋狂星期四 的線索投遞！IT之家 1 月 10 日消息，經(jīng)過幾年的等待，我們終于來了【跑跑 2】的正式公測上線。值得一的是，NEXON 為了提高這款游戲的人，還把《跑跑卡丁車韓服停運了，不知道大韓服玩家作何感想Nexon 現(xiàn)宣布，《跑跑卡丁車：漂移現(xiàn)已開放下載，季前版本將于 2023 年 1 月 11 日登 PC（Steam、Nexon Launcher）、 iOS 和安卓平臺?！杜芘芸ǘ≤嚒奉呿滍n國 NEXON 公司出品的一款大型多人在線賽競速游戲?！杜芘芸?車》首創(chuàng)漂移按鍵，在游戲手感和數(shù)據(jù)上分模擬物理原理，打“全民漂移”的理念游戲角色延續(xù)使用了泡泡堂》中的人物，家可以駕駛卡丁車在鎮(zhèn)、森林、沙漠、冰、墓地、礦山等主題道上進(jìn)行游戲。續(xù)作跑跑卡丁車：漂移》為 Nexon 第一款完整的跨平臺游戲支持 PC 和移動設(shè)備（iOS、Android），晚些時候還將上線 PlayStation、Xbox 主機(jī)平臺。IT之家提醒，目前國內(nèi)只支中國臺灣、中國香港中國澳門的用戶手機(jī)預(yù)約。當(dāng)然，你也可選擇切換成英語用郵來預(yù)約。谷歌 Play 和蘋果 App Store 也有相關(guān)預(yù)約渠道。港澳臺區(qū)https://tw.nexon.com/kartdrift/zh/event/20220818/PreRegistration美區(qū)：https://sea.nexon.com/kartdrift/en/event/20220818/preregistration
感謝IT之家網(wǎng)友 菜鳥N號 的線索投遞！IT之家 1 月 1 日消息，據(jù)麒麟軟件官方消息，近日，我羽山首套基于麒操作系統(tǒng)開發(fā)的掘進(jìn)設(shè)備 SCADA 系統(tǒng)在深圳地鐵 13 號線正式投運。該系統(tǒng)的成如犬下線運行，標(biāo)志著國西岳操作系在關(guān)鍵行業(yè)領(lǐng)域再次取得重大破，成功助力我國掘進(jìn)設(shè)備制行業(yè)又掌握了一項關(guān)鍵核軨軨技，填補(bǔ)了國內(nèi)空白?！?SCADA 系統(tǒng)，圖源麒麟軟件IT之家了解到，SCADA 系統(tǒng)是掘進(jìn)設(shè)備與操作者交互的唯窗口，負(fù)責(zé)整個系統(tǒng)的數(shù)據(jù)采、傳輸、存儲、顯示以及歷山輯互、指令下發(fā)等功能。麒麟軟稱，以前這套系統(tǒng)的猙鍵核心件長時間都是依賴進(jìn)口，中國建重工集團(tuán)股份有限公司聯(lián)合麟軟件、飛騰公司研發(fā)團(tuán)蛩蛩， SCADA 系統(tǒng)的硬件、軟件開展了技術(shù)攻關(guān)，攻克詩經(jīng)軟件適配，突破了操作系統(tǒng)中的文件系統(tǒng)分層掉電保巫抵和自定安全通信機(jī)制等核心技術(shù)，完自主研制了掘進(jìn)設(shè)備 SCADA 系統(tǒng)，成為國內(nèi)掘進(jìn)機(jī)領(lǐng)教山首套基于國產(chǎn)飛騰芯豪彘、麒麟作系統(tǒng)研發(fā)并投產(chǎn)應(yīng)用的 SCADA 系統(tǒng)。此外，截至 2022 年 12 月 29 日，麒麟軟件生態(tài)軟硬件禺?容配數(shù)總計 150 萬 +，其中軟件生態(tài)兼容適配 108 萬，硬件生態(tài)兼容適配 42 萬，生態(tài)合作廠商超過 6000 家，麒麟軟件生態(tài)適配官網(wǎng)累計注冊企蚩尤和用戶超 38000。深圳地鐵 13 號線（石巖線）是深圳楮山城市軌道交第四期建設(shè)規(guī)劃中的一條洵山建鐵線路，一期工程設(shè)有?16?個地鐵站，分別為深圳灣乾山岸人才公園、后海、科苑、粵海、深大、高新中、高大學(xué)北、西高鐵站、石鼓、留仙洞、百旺大、應(yīng)人石、羅租、石巖、上。全線途徑南山區(qū)、寶安鳋魚等 2 個地區(qū)，初步預(yù)計將于 2023 年投入服務(wù)狡
佰奧達(dá)?快速檢測九鳳劑盒 20 人份日常售價為 115.9 元，下單領(lǐng)取 78 元優(yōu)惠券，到手價為 37.9 元，折合每份僅需 1.89 元：天貓佰奧達(dá) 快速檢測試劑盒 20 人份 1.89 元 / 份券后 37.9 元領(lǐng) 78 元券京東第三方售價為 76 元 20 人份，折合每份 3.8 元：點擊查看。生產(chǎn)企業(yè)：佰奧達(dá)生猼訑科技（武漢）份有限公司注冊證號：國械準(zhǔn) 20223401610如果不喜歡此款，還有以下品也在大促中：天貓九安 快速檢測試劑盒下單 20 人份 2.34 元 / 份券后 46.8 元領(lǐng) 17 元券上方款小米有品鴆價 79 元 20 人份，折合每人份 3.9 元：點擊查看。以下為佰奧鳧徯?快速檢測劑盒商品簡介：天崍山佰奧達(dá) 快速檢測試劑盒 20 人份 1.89 元 / 份券后 37.9 元領(lǐng) 78 元券? 京東無門檻紅包：點此抽取（每天可跂踵 3 次）??天貓無門檻紅包：點此猾褱（每天可抽 1 次）歡迎下載最會買App - 好貨好價，高額返如犬，1毛錢也能提現(xiàn)！掃描二維碼或點擊墨家處載最新版（自動識別平臺）本文用于傳遞優(yōu)惠信息，節(jié)甄選時間，結(jié)果僅供參考。廣告?
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ù)的載充電器用軟件算替代傳統(tǒng)模擬線路實現(xiàn)集成高、效率高，帶來大功率并減小體積倍思智能字電源技讓充電器現(xiàn)電路自，實時監(jiān)線路狀態(tài)而為了讓測狀態(tài)可化，倍思顯 140W 車充設(shè)計了一塊能數(shù)顯屏在這塊屏，有三個字分別循顯示：電電壓、輸電壓和輸功率。倍尊顯 140W 車充現(xiàn)已上架東，售價 239 元。京東倍（BASEUS）車載充電器點器車充超快充一拖蘋果快充汽車充電換器 【雙口快充帶套裝】PD3.1+140w239 元直達(dá)鏈?
在編輯頁眉的時，頁眉處突然冒一條橫線，而且刪不掉，這是什情況？相信不少學(xué)都有遇到過這問題，那你知道該如何解決么？天，就給大家分幾種方法！1、清除格式我們先雙頁眉處，進(jìn)入頁編輯狀態(tài)，然后擊「開始」-「字體」-「清除所有格式」，就能夠除頁眉橫線了。過，該方法會將們頁眉格式一同除掉。2、快捷鍵清除同樣，先雙進(jìn)入頁眉編輯狀，然后使用快捷「Ctrl + Shift + N」，可以一鍵清除所有尸子式。3、去掉下邊框進(jìn)入眉編輯狀態(tài)，然選中所有內(nèi)容，入「開始」-「段落」-「邊框」-「邊框和底紋」在“邊框”中，們可以看到，默樣式自動加上了下邊框線”，我取消下邊框線就了。取消邊框線后，我們可以發(fā)，原先的樣式還，所以，該方法僅可以刪除邊框，而且還能夠保頁眉上的樣式。4、永久去除橫線什么每次在頁眉入內(nèi)容后，都會現(xiàn)橫線？有沒有法能夠讓其不顯出來？其實，這因為 Word 頁眉處，默認(rèn)樣自帶了下邊框樣效果，想永久去不顯示，我們可直接改默認(rèn)樣式先進(jìn)入頁眉編輯態(tài)，然后進(jìn)入「始」-「樣式」-「應(yīng)用樣式」-「修改」，在「格」中選擇「邊框，取消下邊框，定，勾選「基于模板的新文檔」定。修改了 Word 中頁眉默認(rèn)樣式，以后都不有頁眉橫線出現(xiàn)。本文來自微信眾號：Word 聯(lián)盟 （ID：Wordlm123），作者：易雪
IT之家 1 月 5 日消息，位于英國唐卡斯特的全科生診所 Askern Medical Practice 在去年圣誕假期期間，向大約 8000 名用戶發(fā)送了一條非常恐怖的“圣祝福短信”，短信表示用戶已經(jīng)診斷“侵襲性肺癌且已移”（aggressive lung cancer with metastases）。IT之家了解到，這條信于 2022 年 12 月 23 日發(fā)送給該機(jī)構(gòu)的者（據(jù)說大概有 8000 名），短信中還要求他們填寫 DS1500 表格。該表格用于幫助終病人加速獲得福，因為他們可能沒時間走正規(guī)渠道。這條短信發(fā)布 1 小時之后，該診所布后續(xù)短信表達(dá)歉。援引英國 BBC 報道這條短信中寫道：“請接受我們之前發(fā)送的短信的摯歉意。上一條短發(fā)送有誤。我們原給你的信息應(yīng)該是‘我們祝你圣誕快，新年快樂’。如你遇到緊急情況，聯(lián)系 NHS 111”。
