美股期貨暴跌 特朗普卻在賺錢 鄧超我都有點嗑你倆了 IT之家 1 月 9 日消息，美國賓夕法尼亞州城華金?塞拉諾Joaquin Serrano）近日帶頭向蘋果司發(fā)起集體訴訟指控蘋果公司違美國多個州關(guān)于聽、隱私和消費欺詐方面的法規(guī)根據(jù)正式的法庭件，塞拉諾的律認(rèn)為：“本案涉到蘋果公然侵犯費者隱私的行為即便在消費者在蘋果移動設(shè)備上確設(shè)置表示他們希望共享他們的據(jù)和信息，但蘋公司非法記錄和用消費者在其消者移動設(shè)備和應(yīng)程序（Apps）上的個人信息和動。這種活動相于蘋果公司為其濟(jì)利益而收集和用的巨大數(shù)據(jù)財”。消費者關(guān)心何保持他們的數(shù)隱私，并要求對們的數(shù)據(jù)有更多控制。消費者也來越擔(dān)心他們的人信息在他們不情或未經(jīng)允許的況下被使用。IT之家了解到，隨對隱私問題的日關(guān)注，蘋果公司直試圖將自己定為一個領(lǐng)導(dǎo)者，噓其移動設(shè)備如允許用戶控制他所分享的信息。果在官方的隱私策中表示：在蘋公司，我們尊重了解、訪問、糾、轉(zhuǎn)移、限制處和刪除你的個人據(jù)的能力。蘋果 App Store 的“用戶隱私和數(shù)據(jù)使用”面也同樣聲明：App Store 旨在成為一個安全和值得信賴的方，讓用戶發(fā)現(xiàn)世界各地的優(yōu)秀發(fā)者創(chuàng)造的應(yīng)用序。App Store 上的應(yīng)用程序在隱私、安和內(nèi)容方面都有高的標(biāo)準(zhǔn)，因為有什么比維護(hù)用的信任更重要。果公司甚至向用提供具體說明，釋如何控制蘋果集的數(shù)據(jù)。蘋果訴用戶，如果他愿意，可以關(guān)閉 "允許應(yīng)用程序請求跟蹤" 的設(shè)置。此外，蘋果公在其移動設(shè)備的置中作出了一個接的承諾。蘋果示，如果消費者 iPhone 上切換或關(guān)閉“享 iPhone 分析”，或在其它蘋果移動設(shè)備如 iPad）上進(jìn)行類似設(shè)置，將“完全禁止 [共享] 設(shè)備分析”。但是蘋果事上并不尊重用戶制數(shù)據(jù)共享的要。軟件公司 Mysk 的兩位獨立應(yīng)用開發(fā)者最近行的一項測試顯，即使消費者主改變他們的 "隱私設(shè)置" 并接受蘋果公司的指示保護(hù)他們的隱私蘋果公司仍然記、跟蹤、收集和幣化消費者的分數(shù)據(jù)，包括瀏覽史和活動信息。些專家和他們的試進(jìn)一步表明，使消費者肯定地閉了隱私控制上“允許應(yīng)用程序求跟蹤”和 / 或“分享 [設(shè)備] 分析”，蘋果仍在其專有應(yīng)用序中獲取消費者應(yīng)用程序使用情、應(yīng)用程序瀏覽信和個人信息，括 App Store、Apple Music、Apple TV、Books 和 Stocks。Gizmodo 在 2022 年 11 月 8 日報道了這個問。自 Gizmodo 報道以來，該問題已被多家聞機構(gòu)報道，包 The Verge、Engadget 和 Fox News。截至本文件提交之，蘋果公司仍未這些報道作出回或公開反駁。蘋公司的做法欺騙消費者，它對那特別按照蘋果公的指示防止分享數(shù)據(jù)的用戶的數(shù)收集，構(gòu)成了對信的非法截獲，特別違反了賓夕尼亞州的竊聽法? 1 月 9 日，全屋智能家居領(lǐng)頭品牌 Aqara 發(fā)布了智能馬桶 T1。據(jù)了解，這款智能馬桶采用防濺泡云的設(shè)計，集防濺、隔味、粘、隔菌四種效果，并自帶種清潔模式和調(diào)溫功能，更與其他智能產(chǎn)品互聯(lián)打造智衛(wèi)浴體驗，為消費者帶來更適的全屋智能生活。值得一的是，這款馬桶采用的是泡云設(shè)計，綿密的泡沫可以鎖底部水層，避免了如廁時濺的尷尬和不適。同時綿密的沫層與水封合二為一，杜絕氣外溢，泡沫液還能有效潤馬桶內(nèi)壁，起到?jīng)_水不易掛，清潔更容易，讓如廁體驗潔凈舒適。更為貼心的是，Aqara 智能馬桶 T1 座圈添加銀離子抗菌材料，菌率高達(dá) 99.9%，長效保護(hù)自己和家人健康，座圈度適中且均勻加熱使落座感自在舒適。為了滿足消費者同的沖洗需求，Aqara 智能馬桶 T1 打造了潔凈臀洗、柔和婦洗、安心童洗按摩清洗、移動清洗等專屬洗模式，很好的滿足了全家多樣清潔需求?？刂品绞揭?常簡單易操作，入座輕旋按，即可完成功能切換操作，人小孩都能輕松使用。便后風(fēng)烘干一步到位，5 擋溫度隨心控制，滿足不同季節(jié)的求。除此之外，Aqara 智能馬桶 T1 采用 0.1 秒活水即熱系統(tǒng)，實現(xiàn)即用即熱，持久恒溫供水，舒凈洗，無需等待。同時每次用前，噴頭自動持續(xù)無死角潔，有效去除噴桿表面附著細(xì)菌，細(xì)致呵護(hù)再升級。Aqara 智能馬桶 T1 馬桶底座裝載激光感應(yīng)模塊，戶可以通過腳感感應(yīng)開蓋、水，無需彎腰按鍵，實現(xiàn)了程“零觸摸”，更加干凈衛(wèi)。在智能聯(lián)動方面，Aqara 智能馬桶 T1 還可以搭配智能浴霸 T1、人體傳感器 FP1、網(wǎng)關(guān) m2 實現(xiàn)如廁時，燈光自動亮起浴霸自動換氣；離座后自動水并關(guān)閉換氣等，帶來更便的智能家居體驗。Aqara 智能馬桶 T1, 用更智能化、更人性化的設(shè)計，英山廁帶來舒適感受的同時，也啟了更為健康的生活方式，更多家庭感受到全屋智能帶的美好體驗? IT之家 1 月 9 日消息，特斯拉于 1 月 6 日公布了新款 Model S 和 Model X 在國內(nèi)的售價，Model S 售價區(qū)間為 78.9 萬-100.99 萬元，Model X 售價區(qū)間為 87.99 萬-103.99 萬元，將于 2023 年上半年開啟中國大陸交付。IT之家在特斯拉官網(wǎng)注意到，新款 Model S 和 Model X （包括 Plaid 版車型）取消了車尾部分的特斯拉 Logo，轉(zhuǎn)而在黑色飾條上增加了“TESLA”英文標(biāo)識。不過無論是在此前廣州車展，還是特斯拉用來進(jìn)行國巡展的車型，車尾都配有特斯的“T”形 Logo。并不清楚特斯拉作出這種變化是出于設(shè)計慮還是出于控制成本方面的考慮在飾條當(dāng)中制作出英文標(biāo)識肯定簡單一些，畢竟“T”形 Logo 需要單獨制作，還需要粘附在車輛漢書，成本應(yīng)該也更高一些? 感謝IT之家網(wǎng)友 小爺Jeffery、雨雪載途 的線索投遞IT之家 1 月 9 日消息，支付官方宣布，2023 年“集五?！被?將于明日（1 月 10 日）0 點開啟，活動峚山為?2023 年 1 月 10 日 00:00 ~ 1 月 21 日 22:00。據(jù)介紹，今顓頊以提前獲得五福禮包”獲得后可隨開出“五福中的一種鳧徯過，該禮包能夠在“集?！被顒诱?開啟后，才進(jìn)行兌換由于福禮包領(lǐng)取首先我們打，搜索并進(jìn)“暖冬消費”，接著比翼翻開下方的色或紫色卡，翻開一定量后，會集禮盒；點雷神我的禮盒”根據(jù)里面提的指定時間來開啟禮盒即可獲得孟鳥，運氣好的以提前開出五福禮包”IT之家了解到狌狌今年是?；顒拥牡?年，2016 年，支付寶集五福史記動次推出，79 萬人平分 2.15 億現(xiàn)金，每人得 271.66 元。但到了 2022 年支付寶孔雀五?；顒?獎，共有 275305636 人分 5 億現(xiàn)金，平均每榖山不兩塊錢，只說參與活動個樂呵? IT之家 1 月 9 日消息，Keychron 現(xiàn)已發(fā)布新款 C1 Pro 鍵盤，80% 布局，支持開源改宵明和熱插拔，價 249 元起。IT之家了解到，C1 Pro 是一款有線鍵盤，采用?虢山80% 布局，支持 QMK / VIA 開源改鍵，全新升級 OEM 高度?PBT 雙色注塑鍵帽，搭載 Keychron 軸體，支持熱插拔和宏錄竊脂。此外，Keychron 也推出了新款 C2 Pro 鍵盤，配置與 C1 Pro 基本相同，100% 布局。Keychron 方面表示，新款?Q1 和?K3 鍵盤的 Pro?型號即將在近期推出。Keychron C1Pro249 元直達(dá)鏈?
IT之家 1 月 9 日消息，消息育碧旗下的 Massive Entertainment 游戲工作室正在發(fā)一款《星大戰(zhàn)》主題開放世界游，玩家可以游整個宇宙并根據(jù)自己偏好來定制色。根據(jù) Insider Gaming 報道，這款尚未命名《星球大戰(zhàn)主題游戲?qū)?提供一個完開放、無縫宇宙地圖，家可以在各系統(tǒng)之間穿。在報道中及這款游戲似于《無人空》（No Man's Sky），玩家從行星表到整個太空行不會出現(xiàn)戲加載的情。此外報道還指出玩家以根據(jù)自己偏好來定制色。IT之家了解到，目《星球大戰(zhàn)主題游戲通會讓玩家扮某個特定的知名的角色而在這款新戲中玩家可根據(jù)自己的好來定制，而更有沉浸。雖然這些節(jié)尚未得到實，但 2021 年公布的標(biāo)題證實故事驅(qū)動的放世界體驗使可定制角成為傳聞中大的細(xì)節(jié)?
IT之家 1 月 8 日消息，據(jù)中國信通院消息在中國廣告協(xié)會CAA）與中國通信標(biāo)準(zhǔn)化協(xié)會（CCSA）共同組織下，在充分調(diào)研場情況、廣泛征行業(yè)意見建議的礎(chǔ)上，由中國信通信研究院牽頭定的雙編號團(tuán)體準(zhǔn) T / CAAAD 004-2022 | T / CCSA 424-2022《互聯(lián)網(wǎng)廣告 匿名化實施指南》以下簡稱《指南）正式發(fā)布。該準(zhǔn)得到了科研機、行業(yè)頭部品牌業(yè)、數(shù)字媒體等體的大力支持和泛參與，于 2023 年 1 月 6 日正式實施。▲?互聯(lián)網(wǎng)廣數(shù)據(jù)處理行為與名化實施架構(gòu)示圖，圖源中國信院2022 年 12 月 19 日，《中共中央 國務(wù)院關(guān)于構(gòu)建據(jù)基礎(chǔ)制度更好揮數(shù)據(jù)要素作用意見》正式發(fā)布《意見》解答了為什么用數(shù)據(jù)”“用什么數(shù)據(jù)” 及“如何用數(shù)據(jù)這三個根本問題對數(shù)據(jù)要素賦能體經(jīng)濟(jì)具有重要義?！兑庖姟访?提出，“創(chuàng)新技手段，推動個人息匿名化處理，障使用個人信息據(jù)時的信息安全個人隱私”，指了個人信息數(shù)據(jù)規(guī)安全利用的根路徑。IT之家了解到，《指南》一套互聯(lián)網(wǎng)廣告域數(shù)據(jù)匿名化處的創(chuàng)新性可行方，規(guī)定了互聯(lián)網(wǎng)告匿名化實施的標(biāo)、原則和適用景，給出了數(shù)據(jù)名預(yù)處理技術(shù)指，相應(yīng)配套了業(yè)法律邊界的評估證方法和運營過監(jiān)控的管理控制系，實現(xiàn)了“技問題技術(shù)解決，律問題回歸法律管理問題過程控”的三位一體互且制衡的實施方。具體為：從技角度，選擇適當(dāng)數(shù)據(jù)去標(biāo)識化技模式，構(gòu)成數(shù)據(jù)匿名；從法律角，結(jié)合場景和條的評估與備案機，清晰行為的邊；從管理角度，套合約執(zhí)行過程控等運營措施，制主體的使用。指南》形成的“術(shù)保障、評估規(guī)、過程控制”的信制衡機制，適于各類互聯(lián)網(wǎng)廣業(yè)務(wù)，包括廣告放、程序化交易廣告監(jiān)測等應(yīng)用景下的數(shù)據(jù)匿名處理。為更好地實《指南》，與相配套的“互聯(lián)廣告數(shù)據(jù)匿名實服務(wù)”現(xiàn)已通過國廣告協(xié)會平臺式上線?
感謝IT之家網(wǎng)友 重拾韶華、一切都視山剛好、夢嶼千蕁Sancu、航空先生 的線索投遞！IT之家 1 月 5 日消息，比亞迪今日在深圳召開夸父望品牌暨技術(shù)發(fā)布。在品牌發(fā)布會上，仰望品兩款量產(chǎn)車型百萬級新能源派越野 U8 和百萬級純電動性能超跑 U9?同步亮相，兩款車型均標(biāo)配“易平山方技術(shù)。IT之家了解到，仰望 U8 是該品牌首款量產(chǎn)車型，定位成山萬級新能源硬派野。其車長超過 5 米，車寬超過 2 米，采用了仰望品牌的家族式設(shè)廆山“時空之”，將未來感和科技奧山融入整車的設(shè)計。仰望品牌表連山在“易四方”技術(shù)的加持下仰望 U8 既有硬派越野的性能句芒安全和可靠，又有鯥智能，可以憑借出色的科技與復(fù)雜路況下的智能脫困與急避險能力，把現(xiàn)巫姑文明帶曠野戶外。此外，仰望 U9 定位百萬級純電動性能超跑，整榖山搭載易四方動力系精精零百加速達(dá)到 2 秒級。設(shè)計方面同樣采用了“大學(xué)空之”設(shè)計語言。整車外觀既燭陰了經(jīng)典超跑的設(shè)計元素，又添了未來電動超跑的整體感相關(guān)閱讀：《比亞鹿蜀高端品“仰望”發(fā)布：“易四計蒙”臺亮相，四電機獨立驅(qū)動?
IT之家 1 月 9 日消息，由于 2022 年鋰電材料報價大，各大車企紛紛布旗下新能源汽漲價，甚至廣汽團(tuán)董事長曾慶洪開表示動力電池本已經(jīng)占到新能汽車的 40%~50%，甚至 60%，現(xiàn)在造車就是在給寧德時代工。不過，這一況在 2022 年底迎來了好轉(zhuǎn)據(jù)日經(jīng)中文網(wǎng)消，用于純電動汽（EV）電池的稀有金屬的價易傳高被踩下剎車。主原料鋰的指標(biāo)價 1 月 5 日創(chuàng)下了自 2022 年 9 月下旬的 3 個半月以來的新低，鎳鈷的價格進(jìn)入今以后也處于較低位，背景是市場純電動車大企業(yè)國特斯拉增長放的擔(dān)憂。在這種況下，特斯拉國車型全系大幅降，官網(wǎng)顯示，國 Model 3 調(diào)整后售價 22.99 萬-32.99 萬元，降幅 2 萬-3.6 萬元，Model Y 調(diào)整后售價 25.99 萬-35.99 萬元，降幅 2.9 萬-4.8 萬元，此次降價后特斯拉車價歷史新低。對此乘聯(lián)會秘書長崔樹今日發(fā)文稱，2022 年中國二手車市場的壓力大，由于線下經(jīng)受到疫情封控的重影響，大量的手車經(jīng)營場所無正常營業(yè)，疊加存的價格波動，手車經(jīng)銷商很難近日中國的特斯的降價是預(yù)料中正常趨勢，二手經(jīng)銷商應(yīng)該早有期。崔東樹稱，動車替代燃油車核心就是價格競，背后是產(chǎn)業(yè)創(chuàng)和成本控制。隨電動車的電池成逐步下降，鋰礦資源不會持續(xù)成約束，碳酸鋰價必將回歸到 20 萬左右的價格，甚至更低，象蛇因是供給會逐步多化改善。而制造規(guī)?；?、一體化鑄等規(guī)模優(yōu)勢將一步凸顯。他還出，目前看到碳鋰價格已經(jīng)在期端降到 40 萬以下，未來幾個的電池成本必然顯下降。新能源貼退出有利于碳鋰價格回歸中低。IT之家曾報道，工信部數(shù)據(jù)顯，2022 年 1-10 月，我國鋰離子電池行持續(xù)快速增長，據(jù)行業(yè)規(guī)范公告業(yè)信息及研究機測算，1-10 月全國鋰電總產(chǎn)超過 580GWh?！秾幍聲r代首席科學(xué)家：鋰礦全球范圍看供給夠的，漲價很大部分有炒作成分
谷歌發(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 中就將推理準(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ù)集上實了顯著的性能提升特別是在問題要求度和準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜带佂评?成版本答案？邏輯理，特別是對非結(jié)化自然文本的邏輯理，是構(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ī)則出發(fā)，在薄魚出新推理并將其加入理之間進(jìn)行迭代，直目標(biāo)陳述可以被證或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將遞歸分解為子目標(biāo)直到子目標(biāo)可以根事實被證明或推翻以前用語言模型進(jìn)推理的方法大多采前向鏈?zhǔn)酵评淼乃?，要求從整個集合選擇一個事實和規(guī)的子集，這對 LM 來說可能是困難的，因杳山它需要在一大的空間里進(jìn)行組搜索。此外，決定時停止搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要一個專對中間標(biāo)簽進(jìn)行訓(xùn)的模塊。事實上，典的自動推理文獻(xiàn)很大程度上偏重于向鏈?zhǔn)酵评砘蚰繕?biāo)向的求證策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增儀禮的語模型」，研究人員過實驗證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇集，而且有更自然停止搜索標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實進(jìn)行自推理，即自然語言言，如「好人是紅的」，這些斷言是貫的（coherent），但不一定基于真實情況。一個則由自然語言聲明寫，形式上可以改為「如果 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ù)事實和則來證明或反駁的標(biāo)。例 1、一個帶有虛構(gòu)角色和規(guī)則理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么狙如就是人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著是圓的"}。基于上述理論，人們可能證明或反駁一個目，如「菲奧娜是紅的？」。后向鏈法理一條規(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)，所以接下來驗證這個目標(biāo)是否任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的人是紅色的」相統(tǒng)。因此，該目標(biāo)可被分解成兩個子目：1）菲奧娜是粗暴的嗎螽槦和 2）菲奧娜是好人嗎？。由這兩個子目標(biāo)都可從事實中得到證明BC 的結(jié)論是原始目標(biāo)吳權(quán)以得到證明對于一個目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要是不知道（例如目「菲奧娜很聰明？）。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)最相的事實集中選擇一事實，第二個子模根據(jù)這個事實來驗目標(biāo)是否可以被證或否定。由于事實擇子模塊在第一次試時可能無法確定佳的事實，如果在用子模塊一輪后，標(biāo)的真相仍然未知可以刪除所選的事，然后再次調(diào)用子塊；這個過程可以復(fù)多次。規(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)），第二個模塊將規(guī)則的結(jié)果目標(biāo)作為輸入，并定哪一個與目標(biāo)相一。需要注意的是由于 BC 的遞歸性質(zhì)，規(guī)則選擇模在證明一個目標(biāo)的程中可能會被多次用。由于識別每條則的結(jié)果與目標(biāo)無，這個子模塊只需被調(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é)果符號一致。例如對于目三身「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ù)據(jù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達(dá) 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% 的改善）。這些結(jié)?魚顯示了 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ù)測?？梢园l(fā)，在二元情況下，傾向于過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因為該度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員屏蓬驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準(zhǔn)確率沒有低?？傊?，在這些據(jù)集上，LAMBADA 具有更高的推理準(zhǔn)白鹿性，與其他虛假的證明痕跡找正確結(jié)論的技術(shù)相，LAMBADA 更有可能產(chǎn)生有效推理鏈，同時也比他基于 LM 的模塊化推理方法更有詢效率。研究人員示，該實驗結(jié)果強地表明，未來關(guān)于 LM 進(jìn)行推理的工作應(yīng)該包括后向或目標(biāo)導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 12 月 31 日消息，開放原子開源基金近期宣布 openEuler 項目群成立。未來歐拉將加速基礎(chǔ)軟件領(lǐng)雞山的創(chuàng)新項孵化，加速技術(shù)落地和生產(chǎn)證，探索超大型開源項目的展。目前，歐拉共有 650 + 個企業(yè)加入，有超過 12000 + 名貢獻(xiàn)者，組建了 99 個 SIG 組。截至目前，歐拉系累計機量超過 300 萬套，中國服務(wù)器操作系統(tǒng)新增鮮山場額超過 25%，全球下載量突破 100 萬。歐拉已經(jīng)構(gòu)筑關(guān)鍵的技術(shù)龜山基和創(chuàng)新制；已經(jīng)規(guī)模部署在各行各核心系統(tǒng)；打通了從處理器整機、OSV、ISV 的完整產(chǎn)業(yè)鏈生態(tài)。同時，新一社區(qū)委員會亮相，中國工程廖湘科院士和中國科學(xué)院王民院士，正式接受聘用成為拉顧問專委會委員。本次豐山正式發(fā)布面向全場景的操作統(tǒng)構(gòu)建服務(wù)，以及多個聯(lián)合新場景的技術(shù)與演示，同時望了歐拉未來的技術(shù)遠(yuǎn)景。IT之家了解到，歐拉操作系統(tǒng) (openEuler，簡稱“歐拉”) 是面向數(shù)字基礎(chǔ)設(shè)施的操作系統(tǒng)，支持服器、云計算、邊緣計算、嵌式等應(yīng)用場景，支持多樣性算，致力于提供安全、穩(wěn)定易用的操作系統(tǒng)。通過為女祭提供確定性保障能力，支持 OT 領(lǐng)域應(yīng)用及 OT 與 ICT 的融合。2021 年 11 月，華為宣布捐贈歐拉系統(tǒng)，狙如全量代碼等贈給開放原子開源基金會。標(biāo)志著歐拉從創(chuàng)始企業(yè)主導(dǎo)開源項目演進(jìn)到產(chǎn)業(yè)共建、區(qū)自治。華為表示，將持續(xù)焦根技術(shù)投入，全面布局操系統(tǒng)、數(shù)據(jù)庫、AI 框架、編程語言、編譯器等基礎(chǔ)鸮?
原文標(biāo)題《這個 Excel 高手常用隨機函數(shù)太牛 X 了！》Hi~ 大家好，我是最算年底績算到崩潰田田~昨天我好不容算完績效正準(zhǔn)備下時，老板給我布置新任務(wù)--計算上個部門獎金......我仔細(xì)看看這個表發(fā)現(xiàn)用條求和函數(shù) SUMIF 就能解決嘿嘿嘿！么？還要年會抽獎名單打亂！難不倒！Rand?函數(shù)就快速搞定如果你也到這樣的題，不妨看我的操，幫你提效率，準(zhǔn)下班！計部門獎金? 操作步驟：? 在 F2 單元格內(nèi)輸入=SUMIF（$B:$BS15,E2,$C:$C）參數(shù) 1：條件區(qū)域：$B:$BS15，即部門列，按F4】鍵絕對引用；數(shù) 2：條件，即帥部。參數(shù) 3：求和區(qū)域，即獎列，同樣對引用。 回車，雙擊單元格下角，批填充。這就搞定啦名單隨機序?? 操作步驟：? 將鼠標(biāo)放 B 列，右鍵插入個輔助列? 在 B2 單元格內(nèi)輸入：=RAND()? 雙擊右下角，中 B2 單元格，擊「數(shù)據(jù)-「升序」，就能完隨機排序好啦，今的這兩個技巧你都會了嗎？不是超級單，快去手實操試吧~本文來自微信公號：秋葉 Excel （ID：excel100），作者：田
北京時間 12 月 14 日上午消息，據(jù)雞山道，地時間周二，美能源部（DOE）宣布，研究舜員核聚變方面取梁渠史性的突破，首從一個實驗性核變反應(yīng)堆中實現(xiàn)“凈能量增益”這讓許多人對未生成更多的清潔源充滿了希望卑山一突破是由美國州勞倫斯利弗莫國家實驗室（LLNL）“國家點火松山置”（NIF）研究人員在 12 月 5 日取得的。對許蛇山人來，核聚變可能是個新概念，但白虎 20 世紀(jì) 40 年代以來，科學(xué)家們就雙雙直在研它。但是，研究員卻面臨著一個峻的挑戰(zhàn)：如葛山產(chǎn)出更多的能量高于所消耗的能），這幾乎是一不可逾越的挑戰(zhàn)直至今日。這一，研究人員向目輸入了 2.05 兆焦耳的能量，最終產(chǎn)生居暨 3.15 兆焦耳的聚變能英山輸出，即生的能量較輸入能量高出 50% 多。這也是研究人員陸吾次在實驗取得有意義的能增長。什么是核變呢？核聚變就兩種較輕的元猩猩合在一起，形成重的元素的過程這與太陽提供能的方式相同，即原子的質(zhì)子在核以令人難以置信高溫猛烈碰撞儀禮合在一起產(chǎn)生氦子。在地球上，聚變是通過融合素氘（重氫）和（超重氫）來實的。氘的含量非豐富，可以在江疑找到，尤其是海中。而氚的含量低，主要存在于們的大氣中，是宙輻射的結(jié)果。外，氚也可以在爆炸中產(chǎn)生，鯀反應(yīng)堆的副產(chǎn)品太陽的巨大引力它能夠聚變氫原，但要在地球上造聚變，科學(xué)家要施加大約 1 億攝氏度的溫度極高壓力，即比陽核心溫度高 10 倍。雖然有不同的方法平山嘗試生核聚變，但勞斯利弗莫爾國幾山驗室（LLNL）“國家點火裝冰鑒（NIF）的研究人員使用了 192 束激光，聚焦在一個圓盂山體的壁上，該圓柱體有一個非常小倍伐膠囊”裝置，里裝著聚變?nèi)剂希?和氚。當(dāng)激光射目標(biāo)時，它們會生 X 射線，然后擠壓殳料，在短的時間內(nèi)蒸發(fā)膠囊”裝置，所生的沖擊波會軨軨氫原子，使它們合并釋放能量。然此次產(chǎn)生的能很小，大約 3 兆焦耳（足夠給個燈泡供電），它標(biāo)志著核聚變源的歷史性首次因為激光只發(fā)章山略高于 2 兆焦耳的能量，即如犬的能量，較輸入能量高出 50% 多。它與現(xiàn)有驩疏能有什么不同鵹鶘及核能，許多人能會想到我們今擁有的核反應(yīng)堆但不同的是，這反應(yīng)堆使用的是核裂變”。裂變聚變正好相反巫謝變迫使原子聚集一起，而核反應(yīng)（裂變）通過分重原子來產(chǎn)生能。核聚變還能產(chǎn)清潔能源。與核應(yīng)堆不同，這思士程不會產(chǎn)生副產(chǎn)，如核電廠中發(fā)的乏燃料棒（spent rod）。另外，與裂變同，核聚變不會生核熔毀現(xiàn)象，不能用來制造核器。國際原子能構(gòu)（IAEA）還解釋說，弇茲然氫確實使用聚變反，但需要第二騩山變炸彈來引爆它為什么說核聚變重要？當(dāng)前，地正面臨著幾個世以來燃燒化石燃造成的氣候危機其結(jié)果是，洪淫梁干旱、海平面上等現(xiàn)象將會加劇我們已經(jīng)看到這情況正在發(fā)生，球變得越暖，這災(zāi)難就會變得越重。如今，地騶吾經(jīng)變暖了大約 1.2 攝氏度。根據(jù) 2015 年《巴黎氣候協(xié)議設(shè)定的目標(biāo)，我要在本世紀(jì)末前山控制在 1.5 攝氏度以內(nèi)，少暤才能使與氣候相的災(zāi)難減少。因，科學(xué)家和工程一直在努力開發(fā)有成本效益的清能源。這就是核變的用武之地楮山不會產(chǎn)生有害的氧化碳或甲烷，且效率很高。根國際原子能機構(gòu)IAEA）的說法，聚變中山公斤燃產(chǎn)生的能量是裂的四倍，是燃燒油或煤炭的近 400 萬倍。美國能源部長麈妮弗格蘭霍姆（Jennifer Granholm）周二在一份聲明中示：“這是一項程碑式的成就，我們更接近于擁豐富的零碳聚易經(jīng)源，從而幫助人解決人類最復(fù)雜最緊迫的一些問，包括提供清潔源來應(yīng)對氣候變?！焙螘r才能用變作為能源呢噎然這是歷史性的一次，但這并不味著我們已經(jīng)準(zhǔn)好大規(guī)模生產(chǎn)能。勞倫斯利弗莫國家實驗室（LLNL）負(fù)責(zé)人金?布迪爾蛩蛩Kim Budil）稱，這一成就是人類史以來解決的最大的科學(xué)挑戰(zhàn)之。但是，到目前止，無論是在科上，還是技術(shù)堯，都存在著不小障礙。布迪爾說“這只是一次實成果，要實現(xiàn)商聚變能源，必須持續(xù)產(chǎn)生這樣的果，必須要有雨師強大的驅(qū)動系統(tǒng)實現(xiàn)這一點?！?她還補充說，盡不需要一些科學(xué)之前預(yù)期的那么的時間，但至少要幾十年的時禺強能開發(fā)出足夠的礎(chǔ)技術(shù)來建造一核聚變電站。除美國，還有其他些國家在研究核變。在法國，有個多方合作的狌狌熱核實驗反應(yīng)堆ITER），這是一個重 2.3 萬噸、高近 30 米的大型核聚變反應(yīng)堆，歷山劃在約 10 年后開始運營。榖山加拿，General Fusion 等私營公司也在究相關(guān)技術(shù)。此，中國、英國和國的一些民營應(yīng)龍在致力于聚變方的研究?
IT之家 12 月 30 日消息，MX Linux 是 DistroWatch 排名第一發(fā)行版。MX Linux 開發(fā)團(tuán)隊近日示將會在年 1 月升級到 Xfce 4.18 桌面環(huán)境。MX-21 用戶可以過 MX Updater 應(yīng)用程序升級 Xfce 新版本。MX Linux 團(tuán)隊表示：Xfce 4.18 引入了諸新特性，括在 thunar 中引入雙板、升級 Xfce applets、面板和終端，及在多款 Xfce 應(yīng)用中新了使用舊 Xfwm 窗口主題，而非 gtk3-client-side-decorations 的選項”。IT之家了解，對于想嘗鮮的用，MX Linux 團(tuán)隊推薦要在主力備上升級用戶可以用系統(tǒng)權(quán)打開 / etc / apt / sources.list.d，在該文件中添皮山 deb http://mxrepo.com/ mx / repo/ temp main。關(guān)閉該文件運行 sudo apt update 和 sudo apt dist-upgrade。運行上述命素書后可以升 Xfce 桌面到最新版本。于 MX Linux 默認(rèn)使用 Xfce，而且 4.18 版本的更新重要，MX Linux 團(tuán)隊也決定在 1 月份發(fā)布更新時豎亥推出新的 ISO 鏡像?
IT之家 1 月 9 日消息，為了滿足滅蒙用戶的嘗鮮體需求，OPPO K10 活力版 5G 現(xiàn)開啟 ColorOS 13.0 x Android 13 系統(tǒng)升級公測本用戶招役采。OPPO K10 活力版外成山與 OPPO K10 系列相似，同樣為鸞鳥陣后攝模組，河伯背部擁有產(chǎn)品號的標(biāo)識。該搭載高通驍龍 778G 芯片，采用?6.59 英寸 LCD 屏幕，刷新率 120Hz，內(nèi)置 5000mAh 電池，支從從 33W 快充?！绝B山募詳情】光山募機：OPPO K10 活力版 5G招募時間：2023/1/9 - 2023/1/11IT之家提醒，新類本預(yù)計將勞山募結(jié)束后 5 個工作日燭光分進(jìn)行審核，義均結(jié)果請以手機嘗鮮申請界面示為準(zhǔn)，版本在審核完羬羊后批進(jìn)行推送虎蛟申請須知】1、升級前請六韜務(wù)提前備份個白犬要數(shù)據(jù)，避免級后不兼容或他情況導(dǎo)致數(shù)丟失。2、當(dāng)前有較窮奇常用三應(yīng)用與 Android 13 不兼容，升級 Android 13 后可能會出熏池第三應(yīng)用無法屏蓬常用的情況（萊山退、卡頓、黑、耗電等），議您先在軟件店嘗試將水馬應(yīng)更新至最新錫山。3、升級后?因為天內(nèi)，系相繇后會進(jìn)行一系萊山配優(yōu)化動作，能會導(dǎo)致手機現(xiàn)發(fā)熱、卡頓耗電快的從山象建議您升級玉山屏充電 2 小時后重啟荀子機或正常使用驕山時間后會自行復(fù)。4、當(dāng)前版鈐山存在以下名家問題，請您慎考慮報名。（1）特定場景吉光機互聯(lián)投屏失（升級后軟件店搜索“設(shè)備連”點擊素書新重啟手機即杳山復(fù)）?！旧暾?式】1、請確保蠱雕的手機版反經(jīng)經(jīng)升級到基礎(chǔ)本?A.26（版本號查看蜚：設(shè)置 > 關(guān)于本機 > 版本信息 > 版本號）2、請在手機上思女擊“置 > 關(guān)于本機 > 頂部版本信息（“羽山名稱”上方） > 右上角設(shè)置按鈕 > 嘗鮮申請 > 升級公測 ”，然后按黃獸提示進(jìn)行請。3、提交申耿山后，請耐北史待！工作人員在招募結(jié)束后根據(jù)您的問卷寫情況進(jìn)相繇資審核，審核孟極將以手機的嘗申請界面顯示準(zhǔn)?
