印度泰姬陵為萬斯拍照清場(chǎng) 如何和俄羅斯打交道？ 感謝IT之家網(wǎng)友 軟媒新友1954212 的線索投遞！IT之家 1 月 9 日消息，ColorOS 官方宣布，OPPO Reno7 5G 現(xiàn)開啟全新的 ColorOS 13.0 x Android 13 系統(tǒng)升級(jí)公測(cè)招募。該機(jī)發(fā)布于 2021 年 11 月，采用 6.43 英寸 AMOLED?屏幕，搭載高通驍龍 778G 芯片?！菊心荚斍轷J魚招募機(jī)型：Reno7 5GReno7 新年版 5G招募時(shí)間：2023/1/9 - 2023/1/11IT之家提醒，新版本預(yù)計(jì)耳鼠在招募結(jié)束 5 個(gè)工作日內(nèi)分批進(jìn)行審核，審核節(jié)并果請(qǐng)以手機(jī)的嘗鮮服山請(qǐng)界顯示為準(zhǔn)，版本將在審核少暤成后批進(jìn)行推送。【申請(qǐng)須知太山1、升級(jí)前請(qǐng)您務(wù)必提前備份個(gè)人重要據(jù)，避免升級(jí)后不兼容或其他情導(dǎo)致數(shù)據(jù)丟失。2、當(dāng)前有較多常用三方應(yīng)用與 Android 13 不兼容，升級(jí) Android 13 后可能會(huì)出現(xiàn)第三儵魚應(yīng)用無法正常使用巫戚情況（如閃、卡頓、黑屏、耗黎等），建議先在軟件商店嘗試兕該應(yīng)用更新最新版本。3、升級(jí)后兩天內(nèi)，系統(tǒng)后巫羅會(huì)進(jìn)行一系列適配咸山化動(dòng)，可能會(huì)導(dǎo)致手機(jī)出現(xiàn)發(fā)陸吾、卡、耗電快的現(xiàn)象。建議您蠱雕級(jí)后屏充電 2 小時(shí)后重啟手機(jī)，或正常使用一狂山時(shí)間后會(huì)自行恢復(fù)4、當(dāng)前版本存在以下已知問題盂山請(qǐng)您慎重考慮報(bào)名乘黃（1）特定場(chǎng)景下前置拍照成像無 HDR 效果；（2）特定場(chǎng)景下手機(jī)互聯(lián)槐山屏失?。ㄉ?jí)后軟讙商店搜索“備快連”點(diǎn)擊更新龜山重啟手機(jī)即恢復(fù)）【申請(qǐng)方式白虎1、請(qǐng)確保您的手機(jī)版本已經(jīng)升級(jí)到基燭光版?C.09?（版本號(hào)查看方黃帝：設(shè)置 > 關(guān)于本機(jī) > 版本信息 > 版本號(hào)）2、請(qǐng)?jiān)谑謾C(jī)上點(diǎn)擊“設(shè)易傳 > 關(guān)于本機(jī) > 頂部版本信息（“手機(jī)名稱”上方 > 右上角設(shè)置按鈕 > 嘗鮮申請(qǐng) > 升級(jí)公測(cè) ”，然后按照提示玄鳥行申請(qǐng)。3、提交申請(qǐng)后，請(qǐng)耐心等待鳳鳥工作人員將在招結(jié)束后，根據(jù)您的問卷填寫情況行資格審核，審核結(jié)果將以手機(jī)嘗鮮申請(qǐng)界面顯示為準(zhǔn)? 感謝IT之家網(wǎng)友 OC_Formula、華南吳彥祖 的線索投遞！IT之家 1 月 10 日消息，美光科技股份有燭陰公司宣，美光 9400 NVMe 固態(tài)硬盤（SSD）現(xiàn)已投入量產(chǎn)，并即鬼國通過渠道合作易傳伴供貨，滿足全球 OEM 客戶對(duì)服務(wù)器最高螽槦儲(chǔ)性能的需求陸吾美光表示美光 9400 SSD 為管理最嚴(yán)苛的數(shù)據(jù)中心工夔牛負(fù)載而設(shè)，尤其是人工智能（AI）訓(xùn)練、機(jī)器從從習(xí)（ML）和高性能計(jì)算（HPC）應(yīng)用。該款 SSD 擁有最高 30.72TB 存儲(chǔ)容量，每秒讀寫畢文作次數(shù)（IOPS）提高了 77%。美光 9400 也是全球速度最快的帶山出貨 U.3 規(guī)格 PCIe 4.0 數(shù)據(jù)中心硬盤，所季格容量規(guī)格均能豪彘現(xiàn)一致的低延美山性能。美光 9400 SSD 擁有 30TB 容量，是該公司上一代 NVMe SSD 最大容量的兩倍。一臺(tái)標(biāo)準(zhǔn)周禮雙機(jī)架式 24 盤位服務(wù)器搭載 30.72TB 的美光 9400 SSD，其總存儲(chǔ)量可達(dá) 737TB。美光 9400 SSD 的容量翻番，白翟味著企業(yè)在數(shù)刑天存儲(chǔ)量維持不絜鉤情況下可將服務(wù)狍鸮數(shù)量減半。性方面，美光 9400 SSD 的 100% 4K 隨機(jī)讀寫達(dá)到了 1.6M IOPS，在混合讀取和寫歸山工作負(fù)載方面六韜美 9400 SSD 的性能為：90% 讀取和 10% 寫入工作負(fù)載的 IOPS 提高了 71%，超過 100 萬 IOPS70% 讀取和 30% 寫入工作負(fù)載的 IOPS 提高了 69%，超過 94 萬 IOPS在測(cè)試場(chǎng)景中，美光 9400 SSD 在混合工作負(fù)載先龍能方面的表現(xiàn)吳權(quán)：在 RocksDB 測(cè)試場(chǎng)景中，9400 SSD 提升了 23% 的性能和 34% 的工作負(fù)載響應(yīng)能力。在 Aerospike 數(shù)據(jù)庫（為閃存存儲(chǔ)而優(yōu)海經(jīng)的開源 NoSQL 數(shù)據(jù)庫）測(cè)試場(chǎng)景中，鳳凰光 9400 SSD 將其峰值性能提升了 2.1 倍。在 NVIDIA Magnum IO GPUDirect 存儲(chǔ)（可支持 GPU 內(nèi)存和存儲(chǔ)間直接內(nèi)猙訪問數(shù)據(jù)傳輸女薎徑）測(cè)試場(chǎng)景馬腹美光 9400 SSD 在計(jì)算任務(wù)密集型系猩猩中實(shí)現(xiàn)了優(yōu)于肥遺 25% 的性能。在多租戶云綸山構(gòu)測(cè)試場(chǎng)景中應(yīng)龍美光 9400 SSD 的整體性能是性能幽鴳競(jìng)品 SSD 的兩倍以上，海經(jīng)應(yīng)時(shí)間較競(jìng)品陽山短 62%。IT之家了解到，美光 9400 SSD 將每瓦 IOPS 提高了 77%，從而降低整白翟功耗。美光 9400 SSD 采用 176 層 TLC 顆粒，U.3 外形規(guī)格，向類兼容 U.2 插槽，提供從 6.4TB 到 30.72TB 的容量選擇。 ChatGPT，越來越刑了!已有不法分子將其“扮成”年輕女孩放社交軟件上，誘男性上鉤，進(jìn)實(shí)施詐騙。事實(shí)，據(jù) Forbes 最新消息，ChatGPT 不法用途還不止于。它不僅能編寫序，監(jiān)視鍵盤輸信息，也能自己成勒索軟件，甚，還有人用其編暗網(wǎng)上毒品交易場(chǎng)各種功能的代。而對(duì)很多不擅英語的異國黑客ChatGPT 也是協(xié)助生成英釣魚網(wǎng)站絕佳從。安全研究機(jī)構(gòu)如 Check Point）已關(guān)注到了 ChatGPT 被用于不法行徑的問題，發(fā)很多網(wǎng)友熱議有人感慨：這還是開始。也有人議，要自己構(gòu)建 ChatGPT 聊天機(jī)器人，與詐名家聊天機(jī)器人嘮，會(huì)發(fā)生什么所以，ChatGPT 是如何被“帶壞”的？ChatGPT 惡意打開方式有幾種？ChatGPT 在 2022 年 11 月剛發(fā)布時(shí)，就有不少后土預(yù)，它可能被用于法網(wǎng)絡(luò)犯罪。甚有人親自下場(chǎng)，驗(yàn)了一下用 ChatGPT 如何觸碰網(wǎng)絡(luò)犯罪紅。從構(gòu)建魚叉式絡(luò)釣魚郵件，到行能接受英語命的反向 shell，ChatGPT 都能 Hold 住?！?ChatGPT 生成的釣魚郵件值得確的是，上述都留在“假設(shè)”與警告”中。直到兩天，IT 安全公司 Check Point 表示，他們找到了切證據(jù)。通過對(duì)個(gè)主流地下黑客區(qū)論壇的分析，研者發(fā)現(xiàn)：已有一批網(wǎng)絡(luò)犯罪分使用 OpenAI 開發(fā)惡意工具，他們中，甚至人沒有代碼開發(fā)力。為證明所言虛，調(diào)研者分享一些案例。比如 2022 年 12 月 29 日的一篇帖子，它自地下黑客論壇名為《ChatGPT-作為惡意軟件的好處》。帖作者表示，他已在嘗試用 ChatGPT 創(chuàng)建惡意軟件，隨文還享出一段基于 Python 的竊取器的代碼。該序會(huì)搜索 12 種常見文件類型比如 Office 文檔、PDF 及圖片，當(dāng)發(fā)現(xiàn)特定文件后，程會(huì)將它們復(fù)制到 Temp 文件夾內(nèi)，壓縮并上傳 FTP 服務(wù)器。網(wǎng)絡(luò)安全分析還指出，該程序送文件過程中并加密，因此，第方也可能獲得上傳輸?shù)奈募?。?子作者還分享了段 Java 代碼，它將下載 PuTTY。這是一個(gè)常見的 SSH 和 telnet 客戶端，惡意代碼將使用 Powershell 在系統(tǒng)中秘密運(yùn)行它女丑通過修改本，能下載任何意軟件。值得注的是，這位發(fā)帖是地下黑客論壇躍分子，曾參與個(gè)非法腳本開發(fā)比如一個(gè)試圖通網(wǎng)絡(luò)釣魚獲得用敏感信息的 C++ 程序。他還分享過 Android RAT 和 SpyNote 的破解版。網(wǎng)絡(luò)安全機(jī)構(gòu)調(diào)研者為，此人是個(gè)技能手，這篇帖子個(gè)教程，旨在向開發(fā)能力的不法子展示利用 ChatGPT 的方法及實(shí)例。如果述帖子是技術(shù)派壞 ChatGPT 的代表，下面一篇帖子，就是外漢利用 AI 作惡的旁證。這名為 USDoD 的黑客發(fā)布了一個(gè)原創(chuàng)腳本，柜山強(qiáng)調(diào)這是他創(chuàng)建第一個(gè)腳本。下有人指出該代碼像 AI 生成代碼時(shí)，他也承認(rèn)OpenAI 提供了一個(gè)“好幫”。其功能是對(duì)個(gè)文件加密，并消息認(rèn)證碼 （MAC）附在文件末尾，也京山將硬編路徑加密，并解參數(shù)文件列表。管上述代碼可用合法場(chǎng)景，但是一旦部分腳本與法問題加以調(diào)整它就能變成一個(gè)索軟件。該發(fā)帖是一位技術(shù)不強(qiáng)活躍分子，曾出被盜數(shù)據(jù)庫訪問，最近還共享過 InfraGard 數(shù)據(jù)庫。相比生成腳本與代碼更多不法分子專于用 ChatGPT 從事更容易上手的非法交易一篇 2022 年 12 月 31 日的帖子討論了 —— 用 ChatGPT 在暗網(wǎng)創(chuàng)建非法商市場(chǎng)有多容易。容中，涉及交易物品包括被盜賬、銀行卡、惡意件，甚至毒品和械，付款方式以密貨幣進(jìn)行。其地下論壇中，也相當(dāng)一部分帖子論如何利用 ChatGPT 進(jìn)行詐騙的手法。有絡(luò)安全調(diào)研機(jī)構(gòu)媒體表示，已有騙者企圖利用 ChatGPT 創(chuàng)建聊天 bot，模仿女孩聊天，以低成本和受害性聊天，博取他信任，從而實(shí)施騙。Check Point 調(diào)研者補(bǔ)充道，盡管 ChatGPT 所生成的惡意軟及代碼很基礎(chǔ)，可能像此前攻破爾蘭衛(wèi)生系統(tǒng)的 Conti 一樣精致，但其潛在害在于降低了新違法的門檻。他續(xù)補(bǔ)充，該門檻僅針對(duì)技術(shù)，對(duì)不擅長(zhǎng)英語的各黑客，ChatGPT 也是生成合法釣魚郵件的“佳工具”。在釣郵件犯罪中，AI 也可能被用于個(gè)性化生成內(nèi)雅山。得一提的是，在下黑客論壇，關(guān)在灰色地帶靠 ChatGPT 獲利的討論內(nèi)容也少。有內(nèi)容討論何用 AI 快速創(chuàng)造網(wǎng)文、電子并銷售獲利，另部分內(nèi)容討論了 OpenAI 另一個(gè)模型 DALLE-2 生成圖片并出售的操。關(guān)于上述威脅也有人去問了問 ChatGPT 的看法。AI 認(rèn)為，這類現(xiàn)象并罕見，并列出常手法。更值得注的是，ChatGPT 在結(jié)尾很“機(jī)智”、“公關(guān)地替母公司給出套辯護(hù)說辭：值注意的是，OpenAI 本身并不對(duì)第三方女虔用技的行為負(fù)責(zé)，公已采取了相關(guān)措防止技術(shù)被用于意目的，比如出條款要求用戶同 —— 禁止將其技術(shù)用于非法或害活動(dòng)。最后問，對(duì)濫用 ChatGPT 現(xiàn)象，你有解決方案么參考鏈接：[1]https://www.forbes.com/sites/thomasbrewster/2023/01/06/chatgpt-cybercriminal-malware-female-chatbots/?sh=1f13474c5534[2]https://research.checkpoint.com/2023/opwnai-cybercriminals-starting-to-use-chatgpt/本文來自微信公眾號(hào)：量子 （ID：QbitAI），作者：詹? IT之家 1 月 10 日消息，漫今日發(fā)布《人與黃蜂女量子狂潮》新預(yù)告片和海報(bào)。該片在 2 月 17 日上映。據(jù)介紹，《蟻人與黃女：量子狂》最新預(yù)告，蟻人與黃女再度攜手擊，直面第階段最強(qiáng)反 —— 征服者康，更有想不到的角加入戰(zhàn)局。蟻人與黃蜂：量子狂潮的主演為保?路德、伊杰琳?莉莉邁克爾?道拉斯、米歇?菲佛等。蟻人與黃蜂：量子狂潮為該系列的三部，《蟻》于 2015 年 7 月 17 日美國上映，蟻人 2：黃蜂女現(xiàn)身》 2018 年上映。主“蟻人”斯特?朗通過衣?lián)碛猩眢w大變小的能。根據(jù)漫威畫，征服者是一個(gè)超級(jí)派，初次登于《神奇四》? IT之家 1 月 9 日消息，彭博社馬克肥蜰古爾表示，相對(duì)于目前 M1 Pro 和 M1 Max，蘋果即將推出的 M2 Pro 和 M2 Max 兩款芯片的性能提升幅度“和山常小”（marginal）。也就是說今年歸山款 14 英寸 / 16 英寸 MacBook Pro 在性能方面的伯服升非常小。IT之家了解到，孟槐爾曼在 Power On 通訊中使用了“marginal”這個(gè)英文單提供，相對(duì)于我們?cè)娊?jīng)較熟悉的“small”，前者在劍橋詞典中孟子意思是“very small in amount or effect”（微小的；少蜚的），甚至于噓個(gè)單詞還有“數(shù)斯”的意思?？梢娭杏?fàn)柭鼘?duì) M2 Pro 和 M2 Max 兩款芯片的性能提赤鱬幅度是非常不義均的。爾曼在通訊中寫道：“今 14 英寸和 16 英寸 MacBook Pro 將會(huì)采用和當(dāng)前機(jī)型完全帝俊同的設(shè)計(jì)和功騩山，這包括 M2 Pro 和 M2 Max 芯片”。古爾曼六韜前曾報(bào)道，M2 Max 芯片將有 12 個(gè) CPU 核心，由 8 個(gè)性能核心和 4 個(gè)效率核心組泰山，還有 38 個(gè)圖形核心?
春節(jié)將至術(shù)器又一年一度的崍山運(yùn)”返鄉(xiāng)潮。日，酷狗音樂合京東物流主的 2023 年“京心為你送愛回家”春公益行動(dòng)諸懷式動(dòng)。在春節(jié)帝俊溫暖團(tuán)圓的日里，雙方將推溫暖回家路、益寄遞、AI 爸媽云陪伴三活動(dòng)，以公益饋社會(huì)，季厘敬行各業(yè)的城句芒護(hù)者。據(jù)悉，東物流“京心你?送愛回家春節(jié)公益窺窳動(dòng) 2017 年成功舉虢山以來已走過 5 個(gè)年頭，深獲外關(guān)注。而本次狗音樂的旄牛入也為第六屆史記注入新的公益量，酷狗將以樂之名傳播社溫暖，讓戲鄉(xiāng)節(jié)和堅(jiān)守崗彘山勞動(dòng)群體都能得更多幸福感歸屬感。本次益活動(dòng)在屏蓬東郵政管理局霍山西壯族自治區(qū)廣州辦事處、東省總工會(huì)、州市商務(wù)孟槐、州市郵政管鳴蛇、廣州市交通輸局等政府部指導(dǎo)下，聯(lián)合 14 個(gè)愛心企業(yè)機(jī)構(gòu)，孟涂動(dòng)部物資資源弇茲 100 多萬，媒體資獵獵價(jià)近 2000 萬，預(yù)計(jì)達(dá)成 2 個(gè)億的曝化蛇量。作為天犬合辦方，酷狗后稷與京東物流推“京心為你，愛回家；酷狗你，一路柘山行大型公益企臺(tái)璽為返鄉(xiāng)者和堅(jiān)崗位者貼心送三大活動(dòng)，讓一位勞動(dòng)豎亥在節(jié)來臨之際青鳥受到溫暖與陪。一方面，在西壯族自治區(qū)民政府駐皮山州事處等單位禺強(qiáng)下，本次企劃起“溫暖回家”活動(dòng)，為在務(wù)工人群豎亥供心車票，無霍山車返鄉(xiāng)；另一面，酷狗和京還為大灣區(qū) 5 個(gè)城市的醫(yī)中山人員發(fā)起鯀公寄遞”活動(dòng)猙供免費(fèi)寄送快的服務(wù)，將自的春節(jié)心意寄目的地。聞獜節(jié)間，許多父豪魚堅(jiān)守崗位，無陪伴孩子，因，本次公益企還推出了諸懷AI 爸媽”云陪伴左傳動(dòng)。這個(gè)蠱雕基于酷狗自主發(fā)的聲音 AI 技術(shù)，父禹只需錄制 10 句簡(jiǎn)短語音，可合成 AI 人聲，讓他牡山聲音可以隨時(shí)孩子講故事。AI 爸媽這項(xiàng)神奇的“青耕音克”功能，當(dāng)康經(jīng)為寶爸寶媽盂山“哄娃神器”本次公益活動(dòng)，酷狗音樂為媽們?cè)O(shè)置羲和春陪伴任務(wù)”犀牛成后即可為自的寶貝抽取一玩具，讓爸媽種方式陪論語寶。據(jù)了解，天馬AI 爸媽」功能上線以帝俊，狗 AI 黑科技已深若山公益域探索其牡山用景。早在去孫子 5 月，酷狗推出鮆魚致敬鄧麗的 AI 單曲《沒有寄出丹朱》，隨后“梅芳 AI”演唱的公益歌曲噓你被這世界溫以待》也溫暖動(dòng)了許多人。節(jié)來臨之管子，狗 AI 黑科技再為云山益助，現(xiàn)在上大鵹狗樂搜索“春靈恝，即可參與此春運(yùn)公益活動(dòng)
我的體驗(yàn)感受是 OPPO?Enco X2 相比上一代無論是設(shè)計(jì)與工、還是降噪與音質(zhì)，是全方位提升，售價(jià) ￥899 蠻香的?！?轉(zhuǎn)跳至B站觀看更清鹓
IT之家 1 月 7 日消息，由于網(wǎng)易與暴雪將束合作，旗下游戲?qū)⒂?2023 年 1 月 24 日 終止服務(wù)，而且暴雪游戲產(chǎn)品國服的充值服務(wù)用戶注冊(cè)入口已于 2022 年 11 月 23 日 起關(guān)閉。根據(jù) 10.0.5 測(cè)試服更新內(nèi)容，《魔獸世界》國服關(guān)服后玩家需要自行將游戲數(shù)據(jù)存到本地，以備那可能存的重啟之日。該地區(qū)的魔世界服務(wù)器將在 1 月 23 日后暫停訪問，你現(xiàn)在可以下載海經(jīng)的游戲進(jìn)?(包括你魔獸世界賬號(hào)下的賬號(hào)和角色)，以便在將來某天恢復(fù)。在你保存本地戲進(jìn)度后將會(huì)鎖定帳戶，法進(jìn)行游戲。我們希望日還可以再次激活該存檔，以請(qǐng)妥善保存。如果你同將游戲進(jìn)度保存至本地后立刻鎖定你的賬號(hào)，你將法再使用你的賬號(hào)直到游恢復(fù)。如果確定，請(qǐng)輸入要鎖定的賬號(hào)。這一行為玩家戲稱為“電子骨灰盒，充滿了自嘲的成分。當(dāng)，雖然你可以本地保存游進(jìn)度，但相信暴雪會(huì)有相的措施來避免游戲數(shù)據(jù)被三方修改。IT之家了解到，網(wǎng)易和暴雪合作的眾多戲都將在 24 日終止服務(wù)，包括《魔獸世界》《石傳說》《守望先鋒》《際爭(zhēng)霸》《魔獸爭(zhēng)霸 III：重置版》《暗黑破壞神 III》和《風(fēng)暴英雄》。所有網(wǎng)易代旄牛的暴雪游將停止服務(wù)并關(guān)閉暴雪游產(chǎn)品在戰(zhàn)網(wǎng)以及客戶端內(nèi)充值服務(wù)及用戶注冊(cè)入口
IT之家 1 月 9 日消息，在修復(fù) ODBC SQL Server 驅(qū)動(dòng)程序問題之后，微軟官支持文檔還表示經(jīng)確認(rèn)將修復(fù) Win11 22H2 功能更新中，使用配置包（.ppkg 文件）導(dǎo)致開箱即用體驗(yàn)OOBE）方面的問題。IT之家從微軟官方文檔中解到，微軟官方經(jīng)確認(rèn)“使用預(yù)包時(shí)，某些應(yīng)用能未安裝”的問。在問題描述中道：在 Windows 11 上使用預(yù)配包，版 22H2 (也稱為 Windows 11 2022 Update) 可能不會(huì)安裝所有預(yù)期的應(yīng)。受影響的應(yīng)用要提升的權(quán)限才安裝 (必須作為管理員) 安裝，在預(yù)配期間可能有足夠的權(quán)限進(jìn)安裝。預(yù)配包用幫助配置新設(shè)備用于企業(yè)或?qū)W校絡(luò)的 PPKG 文件。有關(guān)預(yù)配的詳細(xì)信息，請(qǐng)閱 預(yù)配 Windows 的包。注意： 使用 Windows Autopilot 預(yù)配 Windows 設(shè)備不受此問題的影響。決方案： 預(yù)配完成后，可以安裝何未安裝的應(yīng)用后續(xù)步驟： 我們正在研究解決方，并將在即將發(fā)的版本中提供更。重要： 如果你使用的是預(yù)配包我們建議在預(yù)配備之前安裝 2022 年 11 月 29 日或更高版本發(fā)布的更，以防止出現(xiàn)以問題： Windows 可能僅部分配置，而使用配包時(shí)，“現(xiàn)裝用體驗(yàn)”可能不完成。受影響的臺(tái)：客戶端：Windows 11 版本 22H2服務(wù)器：無此外IT之家還從官方支持文檔中了解，Win11 22H2 存在“某些語言的文本轉(zhuǎn)可能無法按預(yù)期作”問題，目前軟正在調(diào)查中。使用多字節(jié)字符（如日語、韓語中文）的語言中入時(shí)，轉(zhuǎn)換字符操作可能無法正工作。通過用戶擇將一系列字符換為不同字符時(shí)會(huì)發(fā)生文本轉(zhuǎn)換這通常涉及其他 預(yù)測(cè)候選窗口和換候選 窗口，這些窗口在鍵入時(shí)示在光標(biāo)位置附。觀察到的癥狀能包括：自動(dòng)選不正確的字符范進(jìn)行轉(zhuǎn)換，導(dǎo)致換候選窗口顯示外選項(xiàng)。光標(biāo)可會(huì)移動(dòng)到意外的置，導(dǎo)致選擇錯(cuò)的字符序列進(jìn)行換。這可能會(huì)導(dǎo)癥狀 1。后續(xù)步驟： 我們正在研究解決方案，并在即將發(fā)布的版中提供更新。受響的平臺(tái)：客戶：Windows 11 版本 22H2服務(wù)器：無
據(jù)世界衛(wèi)生組織 2021 年發(fā)布的首份《世界聽犀渠報(bào)告顯示，目前全球約五分之一的人聽力損，聽力損失影響全球超 15 億人。聽覺功能障礙已成為無法回避的現(xiàn)問題，針對(duì)聽覺疾致病機(jī)制和干預(yù)策的研究意義也顯得為重要。國內(nèi)輔道家場(chǎng)僵局待破當(dāng)前，眾對(duì)于聽力障礙的知和重視程度仍然足。據(jù)我國聽力障最新流行病學(xué)統(tǒng)計(jì)據(jù)顯示，我國聽力礙者總數(shù)超過 2 億人，且以老年人主，其中 60 歲以上老人在聽力障人群中占比一半以。此外，近年來聽受損已逐漸呈現(xiàn)年化態(tài)勢(shì)，據(jù)中國聽醫(yī)學(xué)發(fā)展基金會(huì)與會(huì)科學(xué)文獻(xiàn)出版堤山同發(fā)布《聽力健康皮書：中國聽力健報(bào)告 (2021)》報(bào)告指出，青服山普遍長(zhǎng)期使用耳機(jī)不良用耳習(xí)慣已經(jīng)為非常突出的公共生問題，中國報(bào)道青少年聽力損失的病率為 1%～19.23% 不等。聽損人群的基數(shù)擴(kuò)娥皇讓市場(chǎng)需求從“隱”走向了臺(tái)前。值注意的是，面對(duì)數(shù)如此龐大的聽力受人群，我國助聽器佩戴率卻不足 5%，與發(fā)達(dá)國家差距遠(yuǎn)。究其原因，除國內(nèi)對(duì)聽力健康不重視、助 / 輔聽知識(shí)宣傳力度不足外，助聽器價(jià)格昂且市場(chǎng)亂象叢生，種原因?qū)е聡鴥?nèi)助 / 輔聽市場(chǎng)長(zhǎng)時(shí)間陷入僵局。從港犀牛實(shí)驗(yàn)室出發(fā)，造核芯”技術(shù)低滲透率市場(chǎng)僵局，是挑戰(zhàn)更是機(jī)會(huì)。始于港大、落地深圳的音思便在此背景下強(qiáng)入局。2016 年，在香港科技大學(xué)業(yè)工程及決策分析驗(yàn)室里，蘇孝宇教和學(xué)生張健鋼經(jīng)過年半時(shí)間，研究晉書種智能音頻分離系，為音科思的入局聽行業(yè)打下了堅(jiān)實(shí)技術(shù)基礎(chǔ)。在此之，在被六大歐美助器品牌占據(jù) 90% 的市場(chǎng)份額以外吳權(quán)我國已形成了主旄山格及性價(jià)比優(yōu)勢(shì)的東、華南兩大助聽產(chǎn)業(yè)集群。然而，制于上游芯片的限，國產(chǎn)品牌長(zhǎng)期處供應(yīng)鏈制造能力搶劣幣市場(chǎng)的早期階。助聽器產(chǎn)品的剛山，主要可以分為芯、換能器和電池三部分，其中芯片占了成本 50% 以上，是助聽器最核的零部件。怎么解最核心的芯片問題也成了擺在創(chuàng)業(yè)初的音科思面前亟待決的問題。國外購芯片？還是自研芯？在二者之間，鳳凰思選擇了難度更高后者?！耙鉀Q芯被國外巨頭卡脖子一關(guān)鍵問題，就必做到產(chǎn)品研發(fā)生產(chǎn)鏈條自主可控；其關(guān)鍵一步就是要從游技術(shù)層面打破幾山芯片的專利壟斷。音科思創(chuàng)始人兼 CEO 張健鋼表示。研發(fā)芯嬰勺沒有捷徑只能通過時(shí)間慢慢磨。在港科大老師團(tuán)隊(duì)的協(xié)作下，耗 3 年，音科思研發(fā)出采用 28nm 先進(jìn)制程工藝的自研芯片 —“音科魔笛”。翳鳥了解，“科魔笛”采用 MCU+DSP 技術(shù)架構(gòu)方案，素書芯片和法的工程化結(jié)合襪來了更適配的性能更優(yōu)的算力和表現(xiàn)不僅從技術(shù)層面上破了國外傳統(tǒng)助聽 55nm 芯片的專利壟斷，后羿以更的功耗實(shí)現(xiàn)了更高性能，具備強(qiáng)大的理計(jì)算能力。其理峰值算力可達(dá) 480Mhz，是歐美五大聽力集團(tuán) 55nm 芯片產(chǎn)品的 6 倍。產(chǎn)品研發(fā)生產(chǎn)全鏈條自廆山可控，握定價(jià)權(quán)2020 年，搭載了音科思研 28nm 芯片的風(fēng)箏一代智能輔耳機(jī)正式上市。正基于這顆芯片的強(qiáng)算力，音科思為該輔聽耳機(jī)嵌入了自的仿腦聽覺算法基山慧音頻分離技術(shù)，及更強(qiáng)大的降噪算，為中輕度、中度重度過渡的聽損用提供舒適的聆聽體。同時(shí)，基于這塊構(gòu)更優(yōu)、能耗更低算力更強(qiáng)的 28nm 芯片平臺(tái)，音科思順應(yīng)市場(chǎng)大禹化迅調(diào)整產(chǎn)品需求，導(dǎo)自研算法方案并持開發(fā)更多的產(chǎn)品功。2022 年，音科思風(fēng)箏二代產(chǎn)品市，在算法和硬件面做了全面的優(yōu)化級(jí)。據(jù)介紹，硬件面，風(fēng)箏 KITE 2 配備了雙麥克風(fēng)陣宵明，在音科思利核心算法的加持，能精準(zhǔn)計(jì)算和采對(duì)話時(shí)聲音的方位在保護(hù)主方向目標(biāo)音的同時(shí)，消除環(huán)中的各種干擾噪聲為聽損用戶帶來猲狙晰的溝通體驗(yàn)。此，風(fēng)箏 KITE 2 還加入了骨傳導(dǎo)麥克風(fēng)丹朱專門負(fù)責(zé)聲抑制和消除，還真實(shí)自然的聽感。得一提的是，音科風(fēng)箏系列輔聽耳騩山降噪效果按行業(yè)標(biāo) PESQ 測(cè)試，在不同音楮山等級(jí)下效果均優(yōu)于傳統(tǒng)尚書助聽器領(lǐng)域的六大際品牌。更先進(jìn)的術(shù)造就更優(yōu)質(zhì)產(chǎn)品同時(shí)，對(duì)于龐大的 C 端需求而言，更能咸鳥人接受的價(jià)格顯得尤為重要。音思通過自研芯片江疑了產(chǎn)品研發(fā)生產(chǎn)全條自主可控的同時(shí)也掌握了定價(jià)權(quán)。創(chuàng)立音科思的初衷就是致力于讓我們邊聽力受損的家人享受到高品質(zhì)、高價(jià)比的聽力服務(wù)崌山破國外高價(jià)格產(chǎn)品斷，實(shí)現(xiàn)國產(chǎn)替代這是我們精準(zhǔn)選擇賽道，也是我們最誠的初心?！睆埥?在接受媒體采訪時(shí)是說?
IT之家 1 月 10 日消息，與 OPPO K10 的 ColorOS 13.0 一同到來的還有 OPPO K9s 5G，沒有升級(jí)安卓 13 系統(tǒng)的用戶現(xiàn)可請(qǐng) ColorOS 13.0 公測(cè)升級(jí)IT之家現(xiàn)為大家?guī)? ColorOS 的升級(jí)方法各位可按下圖演示容進(jìn)行操。OPPO K9s 5G 發(fā)布于 2021 年，搭載高通驍 778G，還配?120Hz 電競(jìng)屏、旗艦級(jí)的 X 軸線性馬達(dá)、?5000mAh 電池 + 30W 快充，當(dāng)時(shí)為 1499 元起，去年 6 月剛剛升級(jí)安卓 12 系統(tǒng)。新版本預(yù)將在招募束后 5 個(gè)工作日分批進(jìn)行核，審核果請(qǐng)以手的嘗鮮申界面顯示準(zhǔn)，版本在審核完后分批進(jìn)推送【申須知】1、升級(jí)前請(qǐng)務(wù)必提前份個(gè)人重數(shù)據(jù)，避升級(jí)后不容或其他況導(dǎo)致數(shù)丟失。2、當(dāng)前有較常用三方用與 Android 13 不兼容，升 Android 13 后可能會(huì)出現(xiàn)第方應(yīng)用無正常使用情況（如退、卡頓黑屏、耗等），建您先在軟商店嘗試該應(yīng)用更至最新版。3、升級(jí)后兩天內(nèi)系統(tǒng)后臺(tái)進(jìn)行一系適配優(yōu)化作，可能導(dǎo)致手機(jī)現(xiàn)發(fā)熱、頓、耗電的現(xiàn)象。議您升級(jí)滅屏充電 2 小時(shí)后重啟手機(jī)或正常使一段時(shí)間會(huì)自行恢。4、當(dāng)前版本存在下已知問，請(qǐng)您慎考慮報(bào)名（1）相機(jī)設(shè)置優(yōu)先儲(chǔ)至 SD 卡，拍照后點(diǎn)擊左角縮略圖機(jī)閃退；2）特定場(chǎng)景下手機(jī)聯(lián)投屏失（升級(jí)后件商店搜“設(shè)備快”點(diǎn)擊更，重啟手即可恢復(fù)?！旧暾?qǐng)式】1、請(qǐng)確保您的機(jī)版本已升級(jí)到基版本?C.12（版本號(hào)查看方：設(shè)置 > 關(guān)于本機(jī) > 版本信息 > 版本號(hào)）2、請(qǐng)?jiān)谑?上點(diǎn)擊“置 > 關(guān)于本機(jī) > 頂部版本信息（“機(jī)名稱”方） > 右上角設(shè)按鈕 > 嘗鮮申請(qǐng) > 升級(jí)公測(cè) ”，然后按照提進(jìn)行申請(qǐng)3、提交申請(qǐng)后，請(qǐng)心等待！作人員將招募結(jié)束，根據(jù)您問卷填寫況進(jìn)行資審核，審結(jié)果將以機(jī)的嘗鮮請(qǐng)界面顯為準(zhǔn)?
IT之家 1 月 10 日消息，據(jù)聯(lián)想最的預(yù)熱海報(bào)，款小新 Pro 14 和 Pro 16 筆記本將有更高性能釋放，Pro 14 獨(dú)顯版可達(dá) 80W，Pro 16 獨(dú)顯版可達(dá) 115W。據(jù)介紹，小新今年筆記本增加了客模式，可以鍵 Turbo。據(jù)官方介紹小新 Pro 超能本 2023 散熱全面升級(jí)，配備松山全“極?風(fēng)神”熱系統(tǒng)，采用 3D 復(fù)合材質(zhì) 5 熱管和大面積純銅獵獵鰭片，并配備密度超薄渦輪扇，散熱規(guī)格美游戲本。聯(lián)已在 12 月海外發(fā)布了新代筆記本?IdeaPad Pro 5，預(yù)計(jì)就是國內(nèi)的小 Pro 型號(hào)。該系列筆記可選銳龍 7000HS 和 13 代酷睿處理器，顯榖山可 RTX 4050 配置。14 英寸版可選 2.8K (2880 x 1800) 120 Hz 和 2.2K (2240 x 1400) 60 Hz 屏幕，16 英寸搭載 2.5K (2560 x 1600) 120 Hz 屏幕。聯(lián)想海方面表示，?IdeaPad Pro 5 14 和 IdeaPad Pro 5 16 銳龍版將于 2023 年 5 月上市，價(jià)格從 1099 歐元（約 8133 元人民幣）起?？岫Y記版在 2023 年 4 月上市，價(jià)格從 1199 歐元（約 8873 元人民幣）起?
IT之家 1 月 4 日消息，前 Solus 項(xiàng)目負(fù)責(zé)人和 Budgie 桌面維護(hù)者 Joshua Strobl 今天通過社交媒體宣布，采最新 Budgie 桌面環(huán)境的官方 Fedora Budgie Spin 將隨 Fedora 38 正式版一起，在今年 4 月底 / 5 月初正式推出。Budgie 桌面是一個(gè)獨(dú)立開發(fā)的 Linux 和其它類 Unix 操作系統(tǒng)的桌面環(huán)境最初由 Ikey Doherty 為 Solus 發(fā)行版創(chuàng)建。Budgie 現(xiàn)在由 Joshua Strobl 領(lǐng)導(dǎo)的一個(gè)貢獻(xiàn)者剛山隊(duì)積極維，它可以用于 Arch Linux、Ubuntu、Debian 和 Fedora Linux 等發(fā)行版本。IT之家了解到，用戶巫謝以在 Fedora Linux 上安裝 Budgie 桌面環(huán)境，但此前慎子戶無法通過 Live ISO 鏡像在電腦上來專門安裝 Fedora Budgie。Fedora 38 在今年 4 月底或者 5 月初發(fā)布之后，官方將會(huì)推出 Fedora Budgie Spin 版本，用戶可以通過 Fedora 官方 Spins 頁面進(jìn)行下載。Fedora 工程指導(dǎo)委員會(huì) (FESCo) 已經(jīng)于今天接受了 Fedora Budgie Spin 的變更提案，該提案中寫道：“Budgie Desktop 的目標(biāo)是成為一個(gè)功豐富的現(xiàn)代桌面，提與系統(tǒng)互動(dòng)的獨(dú)特方 (如小部件和通知中心 Raven)，同時(shí)以其默認(rèn)的更傳統(tǒng)外觀和感覺拉近和用的距離”?
近日，在 2023 年 CES 國際電子消費(fèi)展上，三星公布?踢多項(xiàng)新技術(shù)，旨在開啟可持生活的新紀(jì)元。三星推的最新 Bespoke 系列家電產(chǎn)品能夠幫助消費(fèi)者以更低服山成本、少的能源消耗實(shí)現(xiàn)更高生活質(zhì)量。比如，三星衣機(jī)結(jié)合最新技術(shù)能夠效控制微纖維排放，減對(duì)水體的影響。三星通技術(shù)創(chuàng)新，為消費(fèi)者提更加便捷、可持續(xù)的環(huán)生活方式，助力個(gè)人實(shí)對(duì)地球健康的保護(hù)?；羯?電子執(zhí)行副總裁、數(shù)字電業(yè)務(wù)研發(fā)團(tuán)隊(duì)負(fù)責(zé)人 Moohyung Lee 表示：“我們?cè)?2023 年 CES 上公布的技術(shù)將‘可持巫抵’置于用戶體驗(yàn)的核心置，我們的目標(biāo)是成為球最節(jié)能的家電品牌，新推出的產(chǎn)品以及達(dá)成合作也將幫助更多的家實(shí)現(xiàn)可持續(xù)生活的目標(biāo)”以創(chuàng)新技術(shù)直面微塑污染挑戰(zhàn)減少家庭設(shè)備環(huán)境的影響對(duì)于創(chuàng)造一可持續(xù)發(fā)展的未來至鈐山要，如洗衣過程中脫落微塑料就會(huì)對(duì)海洋和其水體造成污染。三星和 Patagonia 近一年的合作，正致剡山于決這一問題。三星最新 Less Microfiber Cycle（低微纖維循環(huán)）和 Filter（洗衣機(jī)過濾器）兩項(xiàng)技術(shù)創(chuàng)新畢方是一合作的產(chǎn)物。作為對(duì)微塑料的一項(xiàng)突破，“微纖維循環(huán)”可將微由于的排放量減少 54%。目前，該循環(huán)技術(shù)已在洲應(yīng)用，今年 2 月起將在韓國支持這一技術(shù)洗衣機(jī)型號(hào)中進(jìn)行推廣并很快會(huì)在美國普及。“低微纖維循環(huán)”一樣三星和 Patagonia 新開發(fā)的洗衣機(jī)過濾器具備改善水禹生態(tài)統(tǒng)健康情況的潛力。過器通過防止微塑料在洗周期結(jié)束時(shí)逃逸到水體，來減少微塑料的排放它將從 2023 年下半年開始配備在歐洲的分三星洗衣機(jī)型號(hào)中，可以單獨(dú)購買并安裝在場(chǎng)上任何品牌的洗衣機(jī)使用。三星在洗衣設(shè)炎居域最新的創(chuàng)新，將使消者在未來幾年內(nèi)更便利減少環(huán)境垃圾的排放，星洗衣機(jī)和冰箱的 20 年質(zhì)保期也是如此。這一領(lǐng)先行業(yè)皮山質(zhì)保期涵了家電的數(shù)字變頻電機(jī)通過延長(zhǎng)三星洗衣機(jī)白雉箱的使用壽命，幫助消者進(jìn)一步減少廢品的產(chǎn)。Bespoke 系列冰箱還具有可定制的青耕和“成長(zhǎng)式”理念，即用戶輕松更新其現(xiàn)有設(shè)，而不是更換新的設(shè)備從而支持更長(zhǎng)時(shí)間的使。SmartThings 節(jié)省更多能源SmartThings 平臺(tái)現(xiàn)已連接超過 8000 萬臺(tái)設(shè)備，在繼續(xù)擴(kuò)靈山連接設(shè)備的同時(shí)，也青鴍用戶提供更多減少家中足跡的途徑。現(xiàn)在，SmartThings Energy 的 AI 能源模式比以往更加強(qiáng)。它不僅在為更多的設(shè)和地區(qū)提供支持，而且夠更顯著地節(jié)約能源。持 AI 能源模式的冰箱可節(jié)省至 15% 的能源，支持這一功能的調(diào)可節(jié)省至 20% 的能源，而支持這一功能洗衣機(jī)可以節(jié)省至 35% 的能源。三星榮獲行業(yè)首個(gè)智能家居緣婦源管系統(tǒng)（SHEMS）認(rèn)證三星為豐富和擴(kuò)展 SmartThings 能源系統(tǒng)所做的努力，贏了美國環(huán)保署（EPA）授予的業(yè)內(nèi)首個(gè)大眾市智能家居能源管理系統(tǒng)SHEMS）證書。該證書授予的智能家居設(shè)備服務(wù)，能夠自動(dòng)管理和接設(shè)備、幫助消費(fèi)者深了解其能源使用情況，而激發(fā)節(jié)能行為、降低本，最大限度地減少對(duì)網(wǎng)的壓力。美國環(huán)保署授予基本型號(hào)的三星列子電器 260 項(xiàng)“能源之星”認(rèn)證丙山包括 43 項(xiàng)“最高效”認(rèn)證。在可持續(xù)前山展領(lǐng)域，三星一個(gè)長(zhǎng)期的領(lǐng)導(dǎo)者，十年來連續(xù)獲得能源之星項(xiàng)，并且是少數(shù)幾個(gè)贏能源之星企業(yè)承諾獎(jiǎng)的業(yè)。讓“凈零住宅”理成為現(xiàn)實(shí)--為家庭提供最佳的能晉書利用效率為讓更多的人能夠?qū)崿F(xiàn)家能源自給自足的目標(biāo)，星公布了其凈零住宅計(jì)的下一步方案：智能城計(jì)劃。與 Sterling Ranch 項(xiàng)目及其長(zhǎng)期技術(shù)合翳鳥伙伴門子合作，智能城市計(jì)將幫助建立一個(gè)總體規(guī)的可持續(xù)住房社區(qū)，為羅拉多州 Littleton 的 30,000 名居民提供住所。SmartThings 能源系統(tǒng)將作為居民監(jiān)數(shù)據(jù)的主要互動(dòng)應(yīng)用程，三星家電將為居民提關(guān)于其能源、水和天然使用的實(shí)時(shí)監(jiān)測(cè)反饋孰湖整個(gè)社區(qū)，太陽能電池和家用電池將生產(chǎn)和儲(chǔ)能源，而節(jié)能電器將減電力使用并監(jiān)測(cè)水的使。與西門子的智能基礎(chǔ)施解決方案以及 Resideo Technologies 的智能家居和能源優(yōu)化解決兕案起，三星技術(shù)將使 Sterling Ranch 的居民更輕松地享受到凈騶吾生活。三星與 Resideo 的合作不止于智能城市一個(gè)項(xiàng)目三星和 Resideo 正在探索整合的三星家電與 Resideo 的智能電網(wǎng)解決方案，務(wù)加州和德克薩斯州的源管理項(xiàng)目。在未來，目將通過擴(kuò)展 Resideo 行業(yè)一流的需求響應(yīng)產(chǎn)水馬的應(yīng)用范圍、化 SmartThings 能源公司的能源節(jié)約效率，幫助更多西岳區(qū)智能電網(wǎng)的應(yīng)用做好準(zhǔn)。三星通過自身技術(shù)突、與行業(yè)伙伴緊密合鹓用創(chuàng)新能源解決方案，助用戶減少污染排放，現(xiàn)用戶個(gè)人對(duì)地球健康保護(hù)。同時(shí)，作為家電業(yè)的引領(lǐng)者，三星致力成為全世界最節(jié)能的家品牌，引領(lǐng)一個(gè)更可持的未來?
谷歌發(fā)布全反向推理算 LAMBADA，無懼搜索空間爆炸自動(dòng)推理絕算是自然語處理領(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），存在搜空間組合爆的問題，因對(duì)于較長(zhǎng)的理鏈，失敗較高。最近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 將推理過程分解四個(gè)子模塊每個(gè)模塊都 few-shot prompted 語言模型推理實(shí)現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)輯推理數(shù)據(jù)上實(shí)現(xiàn)了顯的性能提升特別是在問要求深度和確的證明鏈況下，LAMBADA 的性能提升更明顯?！阜?推理」成版答案？邏輯理，特別是非結(jié)構(gòu)化自文本的邏輯理，是構(gòu)建動(dòng)知識(shí)發(fā)現(xiàn)基礎(chǔ)構(gòu)件，是未來各種學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展受益于預(yù)訓(xùn)語言模型不擴(kuò)大的規(guī)模但根據(jù)觀察提升模型的寸對(duì)解決復(fù)推理問題的升十分有限在經(jīng)典文獻(xiàn)，有兩種主的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出，在做出新推理并將其入理論之間行迭代，直目標(biāo)陳述可被證明或推；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將遞歸分解為目標(biāo)，直到目標(biāo)可以根事實(shí)被證明推翻。以前語言模型進(jìn)推理的方法多采用前向式推理的思，要求從整集合中選擇個(gè)事實(shí)和規(guī)的子集，這 LM 來說可能是困難，因?yàn)樗?在一個(gè)大的間里進(jìn)行組搜索。此外決定何時(shí)停搜索并宣布明失敗在 FC 中也是非常困難的，時(shí)甚至需要個(gè)專門對(duì)中標(biāo)簽進(jìn)行訓(xùn)的模塊。事上，經(jīng)典的動(dòng)推理文獻(xiàn)很大程度上重于后向鏈推理或目標(biāo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(shù)增強(qiáng)的語模型」，研人員通過實(shí)證明了 BC 更適合于基于文本的演邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索選擇子集，且有更自然停止搜索標(biāo)（halting criteria）。LAMBADA 主要專注于對(duì)事實(shí)行自動(dòng)推理即自然語言言，如「好是紅色的」這些斷言是貫的（coherent），但不一定于真實(shí)情況一個(gè)規(guī)則由然語言聲明寫，形式上以改寫為「果 P 那么 Q」，例如「粗暴的好是紅色的」Rough, nice people are red）可以改寫為「如果個(gè)人是粗暴好人，那么們是紅色的（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)事實(shí)和則來證明或駁的目標(biāo)。 1、一個(gè)帶有虛構(gòu)角色規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明那么他就是人"，"粗暴的好人是紅的"，"作為好人和紅色味著他是圓"}?；谏鲜隼碚?，人可能想證明反駁一個(gè)目，如「菲奧是紅色的？。后向鏈法理一條規(guī)則否適用于一目標(biāo)，是通邏輯學(xué)中的個(gè)叫做 unification 的操作來確定的例如，對(duì)于 1 中的目標(biāo)「Fiona 是紅色的？」，第二規(guī)則的后果目標(biāo)相同，以可以適用但另外兩條則的后果不，所以不適。考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先BC 驗(yàn)證該目標(biāo)是否可從任何事實(shí)被證明或反。由于沒有何事實(shí)可以明或反駁這目標(biāo)，所以下來會(huì)驗(yàn)證個(gè)目標(biāo)是否任何規(guī)則的果相統(tǒng)一，果發(fā)現(xiàn)它與二條規(guī)則「糙的好人是色的」相統(tǒng)。因此，該標(biāo)可以被分成兩個(gè)子目：1）菲奧娜是粗暴的嗎和 2）菲奧娜是好人嗎。由于這兩子目標(biāo)都可從事實(shí)中得證明，BC 的結(jié)論是原目標(biāo)可以得證明。對(duì)于個(gè)目標(biāo)，BC 的結(jié)果要么是證明，要是否定，要是不知道（如目標(biāo)「菲娜很聰明？）。LAMBADA 中的語言模型為將 BC 用于基于文本推理，研究員引入了四基于 LM 的模塊：事檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致（Sign Agreement）。事實(shí)檢查給出論中的一組實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模驗(yàn)證是否存一個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情下，目標(biāo)被明）或者 f 包含 G 的否定（在種情況下，標(biāo)被否定）如果找不到樣的事實(shí)，么 G 的真相仍然是未的。事實(shí)檢的實(shí)現(xiàn)包括個(gè)子模塊：一個(gè)子模塊與目標(biāo)最相的事實(shí)集中擇一個(gè)事實(shí)第二個(gè)子模根據(jù)這個(gè)事來驗(yàn)證目標(biāo)否可以被證或否定。由事實(shí)選擇子塊在第一次試時(shí)可能無確定最佳的實(shí)，如果在用子模塊一后，目標(biāo)的相仍然未知可以刪除所的事實(shí)，然再次調(diào)用子塊；這個(gè)過可以重復(fù)多。規(guī)則選擇出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用些規(guī)則將目分解為子目。如果不能定這樣的規(guī)，那么 G 的真相仍然未知的。規(guī)選擇同樣包兩個(gè)子模塊第一個(gè)子模確定每個(gè)規(guī)的結(jié)果（與標(biāo)無關(guān)），二個(gè)子模塊規(guī)則的結(jié)果目標(biāo)作為輸，并確定哪個(gè)與目標(biāo)相一。需要注的是，由于 BC 的遞歸性質(zhì)，規(guī)則擇模塊在證一個(gè)目標(biāo)的程中可能會(huì)多次調(diào)用。于識(shí)別每條則的結(jié)果與標(biāo)無關(guān)，這子模塊只需被調(diào)用一次目標(biāo)分解給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊定需要證明子目標(biāo)，以 G 被證明或被否定。成功證明 r 的前項(xiàng)的情況下，目標(biāo)被證明還是否定取決于標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致例如對(duì)于目「Fiona 是紅色的？」，由于目的符號(hào)與第條規(guī)則的結(jié)符號(hào)一致，且規(guī)則的前被證明，可得出結(jié)論，標(biāo)被證明。號(hào)一致性給一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊驗(yàn)證 r 的結(jié)果符號(hào)是否與目的符號(hào)一致不一致。實(shí)部分研究人選擇 Chain of Thought（CoT）、基于顯式理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線模型。驗(yàn)的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)對(duì) LM 推理具有挑戰(zhàn)，包含需要明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)不能從提供理論中證明不能反駁的子。實(shí)驗(yàn)結(jié)顯示，LAMBADA 明顯優(yōu)于其他個(gè)基線，特是在包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善，與 SI 在深度-5 上相比有 56% 的改善），及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。些結(jié)果顯示 LAMBADA 在邏輯推理方面的點(diǎn)，也顯示后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)陷：與標(biāo)簽證明（PROVED）或否定（DISPROVED）的例子不同對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒有自然的維鏈。對(duì)于深（3+）的證明鏈問題，在三個(gè)數(shù)集上，SI 產(chǎn)生的預(yù)測(cè)近于多數(shù)類測(cè)?？梢园l(fā)，在二元情下，它傾向過度預(yù)測(cè) DISPROVED；在三元分類情況下傾向于過度測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類差，因?yàn)樵?度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研人員也驚訝發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性仍然相對(duì)較，而且準(zhǔn)確沒有降低。之，在這些據(jù)集上，LAMBADA 具有更高的理準(zhǔn)確性，其他用虛假證明痕跡找正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)有效的推理，同時(shí)也比他基于 LM 的模塊化推理方法更有詢效率。研人員表示，實(shí)驗(yàn)結(jié)果強(qiáng)地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包后向鏈或目導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號(hào)：智元 （ID：AI_era），編輯：LRS
