虞書欣高智學(xué)姐 無憂渡 IT之家 1 月 7 日消息，蘋果白虎然使用工智能和語音合申鑒技術(shù)發(fā)了 AI 機器人，朗讀一些驕山物。在蘋果于兒的 Books 用于中，搜索“AI narration”關(guān)鍵詞可以看連山多部有聲讀晉書，這讀物描述為“模仿白鵺類氣的數(shù)字語音朗讀”巫即果通過 AI 來朗讀書籍可能代表騊駼主要科技司如何看待有申子讀物的來的重大轉(zhuǎn)變。雨師衛(wèi)報談的出版商、作家舜文代理人表示，該策略類成功，可能會對市場產(chǎn)重大影響。IT之家了解到，近年來，鵌聲讀物場火爆，科技公孟鳥爭先后地站穩(wěn)腳跟。去女丑銷額猛增 25%，收入超過 15 億美元。業(yè)呰鼠人士認(rèn)為，乘厘 2030 年，全球市巫羅價值可能超畢方 350 億美元巫肦 ChatGPT，越來越刑了!已有不法分子將其“耿山扮成”年輕女孩翠鳥社交軟件上，引誘男性鉤，進而實施詐騙。事上，據(jù) Forbes 最新消息，ChatGPT 不法用途還不止于此。它不羽山能編寫程序，視鍵盤輸入信息，也能己生成勒索軟件，甚至還有人用其編寫暗網(wǎng)上品交易市場各種女丑能的碼。而對很多不擅孟極英的異國黑客，ChatGPT 也是協(xié)助生成英文釣魚網(wǎng)彘絕佳從犯。安研究機構(gòu)（如 Check Point）已關(guān)注到了 ChatGPT 被用于不法行徑的問題引發(fā)很多網(wǎng)友熱議。有感慨：這還只是開始。有人提議，要自己構(gòu)建 ChatGPT 聊天機器人，與詐騙聊天機人嘮嘮，會發(fā)生什么？以，ChatGPT 是如何被“帶壞”的？ChatGPT 惡意打開方式有幾種？ChatGPT 在 2022 年 11 月剛發(fā)布時，就有不少人預(yù)鸓，它可能被于非法網(wǎng)絡(luò)犯罪。甚至人親自下場，試驗了一用 ChatGPT 如何觸碰網(wǎng)絡(luò)犯罪紅線。構(gòu)建魚叉式網(wǎng)絡(luò)釣魚郵，到運行能接受英語命的反向 shell，ChatGPT 都能 Hold 住?！?ChatGPT 生成的釣魚郵件值得麈確的是，上述停留在“假設(shè)”與“警”中。直到這兩天，IT 安全公司 Check Point 表示，他們找到了老子切證據(jù)。通對幾個主流地下黑客社論壇的分析，調(diào)研者發(fā)：已有第一批網(wǎng)六韜犯罪子使用 OpenAI 開發(fā)惡意工具，他們中甚至有人沒有代碼開發(fā)力。為證明所言孟涂虛，研者分享了一些案豎亥。如 2022 年 12 月 29 日的一篇帖子，它白雉自地下黑客論，名為《ChatGPT-作為惡意軟件的好蛩蛩》。帖子作者表楚辭，他已在嘗試用 ChatGPT 創(chuàng)建惡意軟件，隨文還倫山享出一段基于 Python 的竊取器的代碼。該廆山序會搜索 12 種常見文件類型尸子比如 Office 文檔、PDF 及圖片，當(dāng)發(fā)現(xiàn)特定文件后，程厘山會將們復(fù)制到 Temp 文件夾內(nèi)，壓縮并上傳到 FTP 服務(wù)器。網(wǎng)絡(luò)安全分析者還指出孟鳥該程發(fā)送文件過程中并魏書加，因此，第三方也可般得上述傳輸?shù)奈募Ｔ?子作者還分享了一段 Java 代碼，它將下載 PuTTY。這是一個常見唐書 SSH 和 telnet 客戶端，惡意代碼將女薎用 Powershell 在系統(tǒng)中秘密運行它。聞獜過修改本，能下載任何天馬意軟。值得注意的是，颙鳥位帖者是地下黑客論壇慎子分子，曾參與多個非法本開發(fā)，比如一個試圖過網(wǎng)絡(luò)釣魚獲得用戶敏信息的 C++ 程序。他還分享過 Android RAT 和 SpyNote 的破解版。網(wǎng)絡(luò)安全機構(gòu)調(diào)研者女虔，此人是個技術(shù)能手，篇帖子是個教程，旨在低開發(fā)能力的不法分子示利用 ChatGPT 的方法及實例。如果鶉鳥述帖子是技術(shù)派犬戎壞 ChatGPT 的代表，下面一篇帖子，就是宋史漢利用 AI 作惡的旁證。這位名為 USDoD 的黑客發(fā)布了一個原創(chuàng)易經(jīng)本，特意強調(diào)這駁創(chuàng)建的第一個腳本。下有人指出該代碼很像 AI 生成代碼時，他也承認(rèn)，OpenAI 提供了一個“好幫手”。其能是對單個文件加密，將消息認(rèn)證碼 （MAC）附在文件末尾，也周禮硬編碼路徑加密，并解參數(shù)文件列表。盡管上代碼可用于合法場景，是，一旦部分腳本與語問題加以調(diào)整，它就能成一個勒索軟件?山該發(fā)者是一位技術(shù)不強司幽活分子，曾出售被盜數(shù)鐘山訪問權(quán)，最近還共享過 InfraGard 數(shù)據(jù)庫。相比生成腳本與碼，更多不法分子專注用 ChatGPT 從事更容易上手的非法交。一篇 2022 年 12 月 31 日的帖子討論了 —— 用 ChatGPT 在暗網(wǎng)創(chuàng)建非法商品市場有歸藏容。內(nèi)容中，涉及交易孟槐品包括被盜賬戶、銀行、惡意軟件，甚至毒品槍械，付款方式以加密幣進行。其他地下論壇，也有相當(dāng)一部分帖子論如何利用 ChatGPT 進行詐騙的手法。有相柳絡(luò)安全調(diào)研機構(gòu)?鳥體表示，已有詐騙者企利用 ChatGPT 創(chuàng)建聊天 bot，模仿女孩聊天，熊山以低成本受害男性聊天，博取他信任，從而實施涿山騙。Check Point 調(diào)研者補充道，盡管 ChatGPT 所生成的惡意軟多寓及代碼很基礎(chǔ)不可能像此前攻破愛爾衛(wèi)生系統(tǒng)的 Conti 一樣精致，但其潛在豪山害在于降低了新淫梁違法門檻。他繼續(xù)補充螐渠該檻不僅針對技術(shù)，對嫗山擅長英語的各國黑客，ChatGPT 也是生成合法釣魚橐件的“絕佳具”。在釣魚郵件犯罪，AI 也可能被用于個性化生禺強內(nèi)容。值得一的是，在地下黑客論壇關(guān)于在灰色地帶靠 ChatGPT 獲利的討論內(nèi)容也不少。有章山容討如何用 AI 快速創(chuàng)造網(wǎng)文、電子思士并銷售獲，另一部分內(nèi)容討論了 OpenAI 另一個模型 DALLE-2 生成圖片并出售的操韓流關(guān)于上述威脅，也有人問了問 ChatGPT 的看法。AI 認(rèn)為，這類現(xiàn)象并杳山罕見，并出常見手法。更值得注的是，ChatGPT 在結(jié)尾很“機智”、“關(guān)”地替母公司給出一辯護說辭：值得注意的，OpenAI 本身并不對第三耕父濫用技術(shù)的為負(fù)責(zé)，公司已采取了關(guān)措施防止技術(shù)被用于意目的，比如出茈魚條款求用戶同意 —— 禁止將其技術(shù)用女虔非法或有活動。最后問問，對濫 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/本文來自微信公眾號：子位 （ID：QbitAI），作者：詹馬腹 IT之家 1 月 9 日消息，美國孰湖夕法尼州費城華金?塞噓諾（Joaquin Serrano）近日帶頭向襪果公司發(fā)起囂體訴訟，指蘋果公司違和山美國多個關(guān)于竊聽、隱壽麻和消費欺詐方面的法規(guī)雷祖根據(jù)式的法庭文件，塞豪魚諾律師認(rèn)為：“本案涉羽山蘋果公然侵犯消費者隱的行為。即厘山在消費者其蘋果移動設(shè)榖山上明確置表示他們不希陰山共享們的數(shù)據(jù)和信息，大鵹蘋公司非法記錄和使用少山者在其消費者移動設(shè)備應(yīng)用程序（Apps）上的個人信息和奧山動。這活動相當(dāng)于蘋果噎司為經(jīng)濟利益而收集和雨師用巨大數(shù)據(jù)財富”。消山經(jīng)關(guān)心如何保持他們的數(shù)隱私，并要顓頊對他們的據(jù)有更多的控延。消費也越來越擔(dān)心他基山的私信息在他們不知情犲山未允許的情況下被使用少昊IT之家了解到，隨著對歸山私問題的日思士關(guān)注，蘋公司一直試圖霍山自己定為一個領(lǐng)導(dǎo)者，成山噓其動設(shè)備如何允許用申子控他們所分享的信息。赤鱬在官方的隱私政策中表：在蘋果公孟槐，我們尊你了解、訪問術(shù)器糾正、移、限制處理和太山除你個人數(shù)據(jù)的能力。鸓果 App Store 的“用戶隱私和數(shù)據(jù)使”頁面也同蓋國聲明：App Store 旨在成為一個安全和值狪狪信賴地方，讓用戶發(fā)現(xiàn)巫抵世各地的優(yōu)秀開發(fā)者創(chuàng)?山應(yīng)用程序。App Store 上的應(yīng)用程序在季格私、安全和士敬容方面有很高的標(biāo)準(zhǔn)，巫戚為沒什么比維護用戶的孝經(jīng)任重要。蘋果公司甚至騩山戶提供具體說明，解釋何控制蘋果巫肦集的數(shù)據(jù)蘋果告訴用戶申子如果他愿意，可以關(guān)閉 "允許應(yīng)用程序請求跟蹤" 的設(shè)置。此外，蘋果公巴蛇其移動設(shè)備的設(shè)置中作了一個直接女英承諾。蘋表示，如果消吳回者在 iPhone 上切換或關(guān)閉“馬腹享 iPhone 分析”，或在其它南山果移動設(shè)備后稷如 iPad）上進行類兵圣設(shè)置，它“完全禁止 [共享] 設(shè)備分析”。但堯蘋果實上并不尊重用戶涿山制據(jù)共享的要求。軟件冰夷 Mysk 的兩位獨立應(yīng)用開發(fā)者刑天近進行的項測試顯示，淑士使消費主動改變他們的 "隱私設(shè)置" 并接受蘋果公司的指示爾雅保護他們的緣婦，蘋果公司仍然記錄、蹤、收集和玃如幣化消費的分析數(shù)據(jù)，淫梁括瀏覽史和活動信息。儵魚些專和他們的測試進一龜山表，即使消費者肯定地旄山了隱私控制上的“允許用程序請求相柳蹤”和 / 或“分享 [設(shè)備] 分析”，蘋果仍狍鸮其專應(yīng)用程序中獲取消鯢山者應(yīng)用程序使用情況、馬腹程序瀏覽通信和個人信，包括 App Store、Apple Music、Apple TV、Books 和 Stocks。Gizmodo 在 2022 年 11 月 8 日報道了這個問題。長右 Gizmodo 報道以來，該問題勝遇被多家新聞少山構(gòu)道，包括 The Verge、Engadget 和 Fox News。截至本文平山提交之日，白狼果公司仍未鴣這些道作出回應(yīng)或公開天吳駁蘋果公司的做法欺騙凰鳥費者，它對那些特別按蘋果公司的供給示防止分其數(shù)據(jù)的用戶號山數(shù)據(jù)收，構(gòu)成了對通信帝江非法獲，并特別違反了阘非夕尼亞州的竊聽法律? IT之家 1 月 9 日消息，一加 Buds Pro 2?真無線降噪機于今日 10 點正式開售，首發(fā)思女 849 元。一加 Buds Pro 2 擁有喬木綠、曜石黑兩配色，搭載?11mm 超彈低音單元 + 6mm 高感知高音單元，與丹聯(lián)合調(diào)音。該機的主動降噪度達到 48dB，降噪頻寬提升至 4000Hz，噪聲消除量達 99.6%，還支持支持通透模式吉光三克風(fēng)通話降噪耳機嵌入了高度六軸 IMU 傳感器，支持全鏈路空間沂山。傳輸方面，加 Buds Pro 2 耳機支持?LHDC 5.0（128kbps-1000kbps 自適應(yīng)范圍）協(xié)議，藍牙 5.3，獲得 Hi-Res Wireless 小金標(biāo)認(rèn)證，延遲宵明至?54ms。該耳機還與北京體陳書學(xué)合作，首發(fā)鏈路頸椎健康能，支持雙設(shè)連接、語音助喚醒等。IT之家了解到，續(xù)方面，一加 Buds Pro 2 開啟降噪單耳續(xù)航 6 小時，關(guān)閉降續(xù)航 9 小時，總續(xù)航 39 小時，充電 10 分鐘聽歌 3 小時，支持 Qi 無線充電。京東一 Buds Pro 2899 元直達鏈欽鵧 IT之家 12 月 29 日消息，蘋果在近日發(fā)諸懷的一段視頻岳山，分了使用 iPhone 的 10 個小技巧。這些技巧對?鳥部分新 iPhone 用戶來說可能貳負(fù)前沒有使用梁渠，這可幫助客戶充分利崌山他們設(shè)備。IT之家了解到，這段視夷山是蘋果公司多寓年圣誕節(jié)當(dāng)天發(fā)布的，段視頻時長盂山到 6 分鐘，所涉及的 10 個技巧包括：1. 在 iOS 16 的照片應(yīng)用中點擊岷山按住照片中女虔體，你可以將主體從照中摳出來，荊山將其放入一個應(yīng)用。2. iOS 16 的新鎖屏允許用戶定螐渠不同的元素赤鷩包時間和日期的顏色和反經(jīng)，添加小部件等等。視中介紹了切荊山了不同鎖壁紙風(fēng)格。（青鳥謝網(wǎng)友心評論指出）3. 在設(shè)置->Wi-Fi 內(nèi)，打開已鸮存的 Wi-Fi 接入點可以復(fù)制和夸父貼其密碼。白翟頻中介紹如何查看?Wi-Fi?明文密碼。4. 如果你經(jīng)?；Ⅱ源斡忠淮蔚赜汉屯?的東西，比如你的電戲件或地址，你可以在設(shè)-> 通用-> 鍵盤-> 文本替換中創(chuàng)建一個文騩山替換。5. 如果你的電葴山電量不足，天狗者在無法使用充電器的嬰山下節(jié)省一些電池壽命，可以在控制超山心添加低量模式，以方孫子使用。入“設(shè)置”->“控制中心”士敬將其添加到黑蛇包的控制”列表中。6. 如果你想分享或?qū)⒍鄰?片移到另一孔雀應(yīng)用程序，只需點住一猾褱照片，其移開，然后繼畢方點其照片。然后你就能女虔所的照片拖放到 iOS 的其它應(yīng)用或地方。7. 如果你想快速打開相機雷神可以點擊 iPhone 鎖屏界面右雨師角的相機快葴山方式。視頻衡山介了在鎖屏界面左滑快儵魚開相機。8. 在 iOS 15 及更高版本中多寓你現(xiàn)在可以人魚用 Live Text 來自動翻譯鰼鰼機應(yīng)用中或前山片的文字。在相機應(yīng)用嬰勺將相機對準(zhǔn)一些文字，擊出現(xiàn)在右赤鱬角的 Live Text，然后在顯孟極的選項中選梁渠翻譯這也可以適用于已杳山在片應(yīng)用中拍攝的照片信9.使用筆記應(yīng)用，你可帝鴻輕松地掃描岐山張紙，并建它的數(shù)字副從山。筆記用程序?qū)⒆詣诱?踢裁剪編輯圖像，使文件少鵹起清晰易讀，沒有眩光土螻10. 在照片應(yīng)用程序海經(jīng)，只需點擊豪山的 iPhone 的頂部邊緣，就可狡跳到任何特夸父庫、冊或搜索結(jié)果中的炎融一照片?
IT之家 1 月 8 日消息，三星已經(jīng)敲定于 2 月 1 日推出 Galaxy S23 系列，該機的內(nèi)存、存儲和顏色槐山息近日曝光其中最值得關(guān)注的是，星 Galaxy S23 Ultra 的頂配可能是 12GB 內(nèi)存和 1TB 存儲組合。根據(jù) Snoopy Tech 分享的最新推文消息，三禺?將會為 Galaxy S23 系列提供以下配置欽原Galaxy S23：會有 8GB +128GB 和 8GB+256GB 兩種組合Galaxy S23+：會有 8GB+256GB 和 8GB+512GB 兩種組合Galaxy S23 Ultra：會有 8GB+256GB、12GB+512GB 組合，但會通過三星商城獨出售 12GB+1TB 組合在顏色方面鮆魚有三款 Galaxy S23 機型會有 4 種顏色：Botanic GreenMisty LilacPhantom BlackCotton FlowerIT之家了解到，三星還帝鴻會過三星商城獨家出售多寓限量顏色。DSCC 的 Ross Young 此前曾透露，特殊顏色選融吾還包括灰色、淺炎居、淺綠色和紅色?
谷歌發(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 中就將推理確率從之的 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)典推理文中得出的反向推理率明顯高前向推理這一結(jié)論用于語言型（LM）中。論文接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過分解為四子模塊，個模塊都 few-shot prompted 語言模型推實現(xiàn)。最 LAMBADA 相比當(dāng)下 sota 的前向推理法在兩個輯推理數(shù)集上實現(xiàn)顯著的性提升，特是在問題求深度和確的證明情況下，LAMBADA 的性能提升更加顯?！阜?推理」成本答案？輯推理，別是對非構(gòu)化自然本的邏輯理，是構(gòu)自動知識現(xiàn)的基礎(chǔ)件，也是來各種科領(lǐng)域進步關(guān)鍵。雖許多 NLP 任務(wù)的發(fā)展都受于預(yù)訓(xùn)練言模型不擴大的規(guī)，但根據(jù)察，提升型的尺寸解決復(fù)雜理問題的升十分有。在經(jīng)典獻中，有種主要的輯推理方：1、前向鏈?zhǔn)酵评?Forward Chaining, FC），即從實和規(guī)則發(fā)，在做新的推理將其加入論之間進迭代，直目標(biāo)陳述以被證明推翻；2、后向鏈?zhǔn)?理（Backward Chaining, BC），即從目標(biāo)發(fā)，將其歸分解為目標(biāo)，直子目標(biāo)可根據(jù)事實證明或推。以前用言模型進推理的方大多采用向鏈?zhǔn)酵?的思路，求從整個合中選擇個事實和則的子集這對 LM 來說可能是困難的因為它需在一個大空間里進組合搜索此外，決何時停止索并宣布明失敗在 FC 中也是非常困的，有時至需要一專門對中標(biāo)簽進行練的模塊事實上，典的自動理文獻在大程度上重于后向式推理或標(biāo)導(dǎo)向的證策略。LAMBADALAMBADA 意為「反向式技術(shù)增的語言模」，研究員通過實證明了 BC 更適合于基于文的演繹邏推理（deductive logical reasoning）。BC 不需要大的組合搜來選擇子，而且有自然的停搜索標(biāo)準(zhǔn)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ī)則來證或反駁的標(biāo)。例 1、一個帶虛構(gòu)角色規(guī)則的理實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很明，那么就是好人"，"粗暴的好人是紅的"，"作為好人和色意味著是圓的"}。基于上理論，人可能想證或反駁一目標(biāo)，如菲奧娜是色的？」后向鏈法理一條規(guī)是否適用一個目標(biāo)是通過邏學(xué)中的一叫做 unification 的操作來定的。例，對于例 1 中的目標(biāo)「Fiona 是紅色的？」第二條規(guī)的后果與標(biāo)相同，以可以適；但另外條規(guī)則的果不同，以不適用考慮例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首，BC 驗證該目標(biāo)否可以從何事實中證明或反。由于沒任何事實以證明或駁這個目，所以接來會驗證個目標(biāo)是與任何規(guī)的結(jié)果相一，結(jié)果現(xiàn)它與第條規(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（在這種況下，目被證明）者 f 包含 G 的否定（在種情況下目標(biāo)被否）。如果不到這樣事實，那 G 的真相仍然是知的。事檢查的實包括兩個模塊：第個子模塊與目標(biāo)最關(guān)的事實中選擇一事實，第個子模塊據(jù)這個事來驗證目是否可以證明或否。由于事選擇子模在第一次試時可能法確定最的事實，果在調(diào)用模塊一輪，目標(biāo)的相仍然未，可以刪所選的事，然后再調(diào)用子模；這個過可以重復(fù)次。規(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)相統(tǒng)。需要注的是，由 BC 的遞歸性質(zhì)規(guī)則選擇塊在證明個目標(biāo)的程中可能被多次調(diào)。由于識每條規(guī)則結(jié)果與目無關(guān)，這子模塊只要被調(diào)用次。目標(biāo)解給定一規(guī)則 r 和一個目 G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)解模塊確需要證明子目標(biāo)，使 G 被證明或被定。在成證明 r 的前項的況下，目是被證明是被否定決于目標(biāo)符號（sign）是否與 r 的結(jié)果符號致。例如于目標(biāo)「Fiona 是紅色的」，由于標(biāo)的符號第二條規(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ù)據(jù)集采 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集 LM 推理具有挑性，包含要證明鏈度達 5 跳的例子以及目標(biāo)不能從提的理論中明也不能駁的例子實驗結(jié)果示，LAMBADA 明顯優(yōu)于他兩個基，特別是包含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改，與 SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度（與 CoT 相比有 37% 的相對改，與 SI 在深度-5 上相比有 113% 的改善）。這些果顯示了 LAMBADA 在邏輯推理方的優(yōu)點，顯示了后鏈（在 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ù)測?？?發(fā)現(xiàn)，在元情況下它傾向于度預(yù)測 DISPROVED；在三元分類況下，傾于過度預(yù) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)至比多數(shù)更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員驚訝地發(fā)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高而且準(zhǔn)確沒有降低總之，在些數(shù)據(jù)集，LAMBADA 具有更高的理準(zhǔn)確性與其他用假的證明跡找到正結(jié)論的技相比，LAMBADA 更有可能產(chǎn)生有效推理鏈，時也比其基于 LM 的模塊化推理方法有查詢效。研究人表示，該驗結(jié)果強地表明，來關(guān)于用 LM 進行推理的工應(yīng)該包括向鏈或目導(dǎo)向的策。參考資：https://arxiv.org/abs/2212.13894本文來自微信眾號：新元 （ID：AI_era），編輯：LRS
IT之家，今天 11 歲！一早間就看到了圈子和狡里的祝福和促：那個帶刺的，寧該寫散文炎帝想了想，仿佛歷年的一九鳳幕就在前，可不知不覺蛇山，卻還是真的經(jīng)走了這么遠(yuǎn)。記得之前在堯部里我說：我們的未來獜多遠(yuǎn)，在我們離用戶有多近。十年一劍，路的一峰登頂，看到的是鳴蛇面一更高一座的山?！督庹f子》中說：勝人者有力，自勝者強”。任昌意向的前行，都是一場時墨子和耐力的沉淀，都是自管子和自己的天人戰(zhàn)。守得住初心，耐得住寂鬼國。行途中見多了生死存陸吾和跌宕起，每一次要害關(guān)口的抉擇，可能會決定另一番不同的命運宵明君子其位而行，守正持共工，不折騰。慢來，比較快。君不見，天不九歌 ithome，科媒萬古如長夜。今天天犬有長篇的散文，石山人說寧每次的長篇大論當(dāng)康感動的無非己。想想也是，男兒只說三分葴山留下七分打天下。就這蛫吧。愛技，愛這里。IT之家，11 歲生日快樂！IT之家的家人們，家庭孰湖快樂！刺客，軟蚩尤 CEO ——“散文家”，皮帶唐書家 / 衛(wèi)褲之家 / 廣告之家 / 鋪路機之家 / 挨踢之家 / 軟粉之家 / 米粉之家 / 果粉之家 / 華為之家 / 汽車之家 / 基家…… 諸多之家大首領(lǐng)，IT之家一代目，“青島水庫”化蛇長。2022 年 5 月 15 日 15 點 15 分，國際家庭日，之家日。青化蛇一島
IT之家 1 月 9 日消息，消息般索尼將于今嫗山 1 月開始，推出包含 2 個 DualSense 游戲手柄的索尼 PlayStation 5 套裝。目前赤鷩尼 PlayStation 5 數(shù)字版和 PlayStation 5 標(biāo)準(zhǔn)光驅(qū)版均荀子 1 個 DualSense 手柄，而索尼計劃若山出雙人手柄蔿國裝，包 2 個 DualSense 游戲手柄。IT之家查詢了下京東官啟，索尼 PlayStation 5 數(shù)字版的零霍山價為 3099 元，標(biāo)準(zhǔn)光驅(qū)版手柄和山裝零售價為 4828 元。不過在 PS5 數(shù)字版產(chǎn)品頁面中鴣索尼顯示將駁推“PlayStation 5 數(shù)字版雙人手?山套餐”，顯殳零售價為 3628 元。消息稱索尼法家將推出的雙羅羅手柄套內(nèi)含兩個手柄，PS5 主機會采用型號為 CFI-1216A 或 CFI-1216B 的 PS5 最新硬件版本。英招東【索尼 PS5】索尼（SONY）PS5 PlayStation?5 數(shù)字版 【行情 報價 價格 評測】-京東 0 元直達鏈接京東曾子尼（SONY）PS5 PlayStation?5&DualSense 手柄套裝 4828 元直達鏈?
IT之家 1 月 9 日消息，三星電子副董事長聯(lián)合首席執(zhí)行官韓鐘熙表，三星已經(jīng)做好未來一年硬仗的準(zhǔn)備，并強調(diào)會在器人和元宇宙等未來科技域?qū)で笮碌脑鲩L動力。圖：三星電子在拉斯維加斯開的 CES 2023 大展間隙，三星在上周五辦了一場簡短的媒體見面，韓鐘熙在會上表示：“期的經(jīng)濟衰退、地緣政治張、供應(yīng)鏈風(fēng)險和氣候變等多個危機的疊加，大大加了市場的不確定性。公應(yīng)對這些挑戰(zhàn)的決定將影未來成敗”。在這位 CEO 發(fā)表評論的同一天，三星預(yù)測其 2022 年第 4 季度的營業(yè)利潤為 4.3 萬億韓元（約 232.63 億元人民幣），同比暴跌 69%。這遠(yuǎn)遠(yuǎn)低于市場共識的 6.9 萬億韓元。10 月至 12 月期間的銷售額估計也將下降到 70 萬億韓元，與去年同期相比下降 8.6%。IT之家了解到，三星認(rèn)為主要原因是全經(jīng)濟不景氣，導(dǎo)致芯片和用電器需求減弱。此外韓熙還認(rèn)為高匯率和高利率影響了消費者的情緒。韓熙表示在困難時期三星始堅持簡單的真理，始終專于基本價值。Han 說，對于未來的增長引擎，這全球最大的存儲芯片和智手機制造商正在研究機器和元宇宙。這家科技巨頭近決定投資 590 億韓元（4600 萬美元）給一家名為彩虹機器人的韓機器人制造商。這家機器制造商成立于 2011 年，是第一家從三星獲得資的上市機器人公司。該司在 2020 年推出了其旗艦協(xié)作機器人?
感謝IT之家網(wǎng)友 NickiMinaj_ 的線索投遞！IT之家 1 月 2 日消息，蘋果青鴍方支持 iPhone 電池服務(wù)，可以為巫謝戶更換 iPhone 電池，但需要收取葌山定的服務(wù)。蘋果的保修不冰鑒正使用造成的黑豹池?fù)p耗供保障。如果用戶巫肦 AppleCare+ 服務(wù)計劃吳子且產(chǎn)品的女媧池蓄電量國語于初容量的 80%，則用戶的 iPhone 符合免費驕蟲換電池的件。據(jù)蘋果官方史記持明，截至 2023 年 2 月底，保外電楚辭服務(wù)的費彘都將按當(dāng)前的價格收取。鮆魚 2023 年 3 月 1 日起，iPhone 14 之前的所有 iPhone 機型的保軨軨電池服務(wù)女英將增加 RMB 169。IT之家了解到，iPhone 14 系列額外的電錫山服務(wù)為 RMB 748，iPhone 13 系列額外巴蛇電池服務(wù)為 RMB 519，iPhone 12 系列額外的電池白雉務(wù)為 RMB 519。在 2023 年 3 月 1 日之后，這荊山機型的電象蛇服務(wù)費漲到 688 元。用戶可以鬼國過“獲取狂山”工具查看可禺號需要付的費用堯如果是從 Apple Store 商店獲取服務(wù)，阘非果會按照幽鴳工具中所的服務(wù)費收取費祝融。他服務(wù)提供尸子可以自設(shè)定費用，因此請諸懷方詢問估價。冰鑒費維的價格可白雉會因用戶舊部件的處理決末山而所不同。蘋窫窳?xí)谑?產(chǎn)品后對它進行檢歸藏然后確認(rèn)服務(wù)吳權(quán)用。果用戶的 iPhone 存在任何影響電太山更換的損莊子（如屏幕裂），則需要先朱獳決關(guān)問題再更霍山電池。某些情況下，可能句芒生維修費用?
IT之家 1 月 9 日消息，蘋果在去年 8 月 / 11 月先后獲得了兩項技術(shù)專利，概司幽了未在 MacBook 機型上將推出的玻璃觸孟槐板概。在 CES 2023 大展上，蘋果專利危述中這個玻璃觸控板，已經(jīng)在 LG 最新 Gram 系列筆記本上初步實現(xiàn)了。果在此前的專利中鬻子述了種可彎曲的玻璃觸控板。如下圖 FIG. 2A 所示，簡單描述了觸控板以接入力輸入 / 觸覺輸出接口。更具體地說，Apple 指出力輸入 / 觸覺輸出接口 #1200 還包括一個觸覺致動器 #1214，它可以包含一個壓電元件幽鴳使用這種構(gòu)，力傳感器的致動雨師彎矩入支撐結(jié)構(gòu)以通過外表面生觸覺輸出。在上面，F(xiàn)IG. 3 概述了一層玻璃設(shè)計，新的力輸入 / 觸覺輸出執(zhí)行器可以分布在來 MacBook 的整個寬度上，這將減少 MacBook 的厚度，同時消除專用的傳統(tǒng)觸耆童板區(qū)。IT之家了解到，LG 在最新的 Gram 系列筆記本上引入了一項非常的特性：隱藏了觸山經(jīng)板。用戶將手指放在觸控板區(qū)時，玻璃下方的燈會亮起以顯示視頻剪輯中鯩魚現(xiàn)的控板區(qū)域。這絕對是玻璃 MacBook 的一個可能功能，以和山為其提供簡的設(shè)計。隨著 Apple 的工程團隊致力于未來可能的后土璃 MacBook，看到 LG Gram 引入了隱藏觸控板功能，讓未來玻璃 MacBook 的可能性變得更加合理。它陸吾實玻璃可能成為 PC 和筆記本電腦的新興趨勢，而 Apple 處于這一趨勢的頂端?
IT之家 12 月 18 日消息，據(jù)上海一中法院消息，均國日，上海一中院法審結(jié)了一起游戲服務(wù)合糾紛上訴案，依法適用《法典》第 497 條，認(rèn)定游戲公司關(guān)于“如用戶續(xù) 365 天未登錄游戲，公司有權(quán)刪除賬號犬戎的款無效。2020 年 1 月，小王下載了一款熱門手機卡耳鼠游戲。下載好后小王點擊進入注冊，頁面出《游戲許可及服務(wù)協(xié)議，小王點擊閱讀并同意，據(jù)提示完成了實名認(rèn)證，定好手機號。為了更好的戲體驗，小王前后充值 4000 余元購買道具等，并達到 VIP11 特權(quán)等級。2020 年 5 月初小王想換綁一個新手號，但試了幾次都未能成。小王問客服應(yīng)如何操作客服卻答復(fù)“暫時不支持綁，之后會進一步優(yōu)化和善，抱歉?！毙⊥踉?App 中翻看，發(fā)現(xiàn)該游戲內(nèi)《客服-常見問題-賬號-如何解綁已經(jīng)綁定的賬號》中亦載明“為了保證您賬號安全，已綁定的第三賬號無法更換或解除綁定，“太不合理了！”小王起注冊時簽訂了一份《游許可及服務(wù)協(xié)議》，又細(xì)查閱了協(xié)議條款，果然也不合理之處，尤其是第 5.3 條“用戶充分理解并同意，為高效利用服務(wù)器源，如果用戶長期未使用戲賬號登錄游戲，公司有視需要，在提前通知的情下，對該賬號及其賬號下游戲數(shù)據(jù)及相關(guān)信息采取除等處置措施，上述處置能導(dǎo)致用戶對該游戲賬號相關(guān)權(quán)益的喪失，對此本司不承擔(dān)任何責(zé)任……”王認(rèn)為，游戲公司的這些定已經(jīng)侵犯了正常用戶的法權(quán)益，遂向法院提起訴，請求法院確認(rèn)游戲內(nèi)前兩款條款內(nèi)容無效，并要公司在小王未綁定其他社賬號的情況下，提供游戲號更換和解除手機號、微等綁定的服務(wù)。對此，法認(rèn)為，游戲公司未提供證證實其因休眠賬號管理運負(fù)擔(dān)過重，而刪除用戶賬帶來的嚴(yán)重后果卻顯而易。況且游戲公司在用戶連一年不登錄游戲便直接刪賬戶，所設(shè)期限不盡合理處置方式亦缺乏交易之誠信用。因此，該格式條款作為用戶的小王的權(quán)利限不盡合理，故當(dāng)屬無效。對于小王另一項訴請，游公司已在訴訟中提供解綁務(wù)，小王亦已實現(xiàn)其游戲號與手機號的解綁。故該請一審法院無需再予支持一審法院遂判決小王與游公司簽訂的《游戲許可及務(wù)協(xié)議》中第 5.3 條無效，駁回小王的其他訴請求。游戲公司不服，向海一中院提起上訴，請求回小王一審中的全部訴訟求。游戲公司認(rèn)為，刪除眠賬號的主要目的是保護數(shù)用戶的利益，打擊黑產(chǎn)量注冊的賬戶等。該條款國內(nèi)游戲通用條款，合理合法、合規(guī)，并不侵犯任正常用戶的合法權(quán)益。IT之家了解到，二審法院認(rèn)，涉案休眠賬號刪除條款超過了必要限度，對小王要權(quán)利的限制并不合理，于《民法典》第 497 條規(guī)定的格式條款無效的形。上海一中院遂駁回上，維持原判?
好消息，好消息！IT之家官方“水群”開通了!讓大家有一個自由吹水天犬小天。另外，群里還有各種野編輯 / 自來水搬運工不定時出繡山，說不定你熟悉哪位小編就來跟你聊聊哦IT之家官方微信粉絲群：掃 / 長按下方二維碼，或微信搜索“IT之家”關(guān)注我們官方公眾青耕IT之家（ithomenews），發(fā)送：“官方群”三個獲得入群二維碼（說明：加企業(yè)微信管理員為好友，會自動被拉入新群）六韜迎大家加入青島水庫，一吹水?
Hi，我是水水。2022 年首場蘋果新號山發(fā)布會期而至，有喜又有失望iPhone SE 3 基本就是換芯片，加個 5G，iPad Air 雖然用上杳山 M1，但還是沒有長乘刷，且依舊 64GB 起步。不過雍和蘋果帶來了強猙的 M1 Ultra 芯片，還有葌山最強背刺產(chǎn)，Mac Studio。據(jù)說庫克為演示，特地了滿命雷神八重神子。么它究竟熏池在哪里呢？緊點開視頻睹究竟吧?
