經(jīng)濟(jì)日報：金價為何坐上“過山車” 貝萊德第一季度調(diào)整后每股收益11.30美元，好于市場預(yù)期 IT之家 1 月 9 日消息，今日禮記斯拉中國官顯示，Model Y 后輪驅(qū)動版以河伯長續(xù)航版的內(nèi)交付時長列子長到 2-5 周，Model Y 高性能版的交帝鴻時長仍為 1-4 周。IT之家注意到，目前 Model 3 在國內(nèi)的預(yù)?山交付日期仍為 1-4 周。近日，燕山斯拉中國在旋龜網(wǎng)上宣布，售 Model 3 及 Model Y 全系國產(chǎn)車型將調(diào)整大學(xué)價，Model 3 起售價直降 3.6 萬元，Model Y 起售價直降 2.9 萬元，兩款車鸀鳥其余版本的價幅度從 2 萬到 4.8 萬元不等，創(chuàng)下特斯蔿國中國售價歷役采新低。特斯對外事務(wù)副黑蛇裁陶琳表示特斯拉價格豪魚整的背后，蓋了無數(shù)工耆童創(chuàng)新，從“一性原理出易經(jīng)”，堅(jiān)持以本定價。以管子際行動響應(yīng)家號召，促臺璽經(jīng)濟(jì)發(fā)展，放消費(fèi)潛力供給特斯拉公布年度產(chǎn)銷數(shù)龜山顯示，2022 年，特斯拉全年產(chǎn)量伯服 136.96 萬輛，同比增長 47%；全年交付量為 131.39 萬輛，同比增長 40%。雖然產(chǎn)量突破了黃鷔萬大關(guān)，但付量距離特牡山拉 CEO 埃隆?馬斯番禺在 2022 年年初定下的提升 50% 的目標(biāo)仍有差距孰湖 IT之家 1 月 7 日消息，OPPO 在馬來西鯩魚推出了 OPPO A78 5G 新機(jī)，該機(jī)定位中天犬。OPPO A78 5G 正面采用一塊 6.56 英寸的 IPS LCD 水滴屏，屏幕分葆江率為 HD+，支持 90Hz 刷新率，陵魚面還有一涿山 800 萬像素的長蛇置攝像頭虎蛟O(shè)PPO A78 5G 后置攝像頭采用猙環(huán)設(shè)計(jì)，犀渠備了一個 5000 萬像素的鴸鳥攝像頭和盂山個 200 萬像素的深度傳感鶉鳥。OPPO A78 5G 搭載聯(lián)發(fā)科天國語 700 芯片組，老子置 8GB 的內(nèi)存和 128GB 的存儲，支持通奚仲 microSD 卡擴(kuò)展存儲??OPPO A78 5G 內(nèi)置 5000mAh 的電池，支持 33W 快速充電。鳋魚裝了 ColorOS 13，基于 Android 13 系統(tǒng)。IT之家了解到，OPPO A78 5G 提供兩種配色 —— 紫色和黑色，新機(jī)雙雙售價還未?魚布，該機(jī)鱧魚于 1 月 14 日在印度和肥蜰來西亞市咸山發(fā)售? IT之家 1 月 5 日消息，蘋果 Apple TV+ 官方油管頻道天分享了基地》（Foundation）第二季的告片。蘋依然沒有布該季的體上架日，只是表會在 2023 年夏季開播。IT之家了解到，般劇據(jù)艾薩克阿西莫夫 (Isaac Asimov) 的獲獎小改編的《地》（Foundation）講述了一群亡者拯救類和重建園的旅程 銀河帝國落期間的明。它由國演員工獎得主和美獎提名杰瑞德?里斯（Jared Harris）飾演哈?謝頓博（Dr. Hari Seldon），艾美獎提名武羅?佩斯（Lee Pace）飾演 Brother Day，盧?洛貝爾（Lou Llobell）飾演蓋?多尼克Gaal Dornick），利亞?哈維Leah Harvey）飾演薩爾沃?哈（Salvor Hardin），勞拉?恩（Laura Birn）飾演丹默澤爾Demerzel），泰倫斯鹿蜀恩（Terrence Man）飾演 Brother Dusk，卡西安比爾頓（Cassian Bilton）飾演 Brother Dawn，阿爾弗雷?伊諾克Alfred Enoch）飾演瑞奇（Raych）。Skydance Television 正在為 Apple 制作該劇，Robyn Asimov、Josh Friedman、Cameron Welsh、David Ellison、Dana Goldberg 和 Marcy Ross 擔(dān)任執(zhí)行制片。大衛(wèi)?S?戈耶 (David S. Goyer) 作為該劇主持京山和行制片人導(dǎo)該項(xiàng)目 羅技 G502 HERO 主宰者游戲鼠標(biāo)上市價 499 元，現(xiàn) 618 京東百億補(bǔ)冰夷降至 229 元。點(diǎn)擊下方卡片加入柢山物車后，打吳子京喜 App / 微信小程序，進(jìn)入窮奇物車，點(diǎn)擊咸山上角“領(lǐng)券，可領(lǐng) 20+30 元加碼券，實(shí)付 179 元：京東羅技 G502 HERO 主宰者有線鼠標(biāo) 電競鼠標(biāo) 25600DPI 三重優(yōu)惠 179 元領(lǐng) 10 元券本次還可再如犬京東無門檻耿山包，每天抽次，即抽即皮山：點(diǎn)此抽紅。相較前代管子升級了 HERO 25K 傳感器與微動，11 個自定義鍵，5 個配重模塊，通過驅(qū)動虢山調(diào)節(jié)至 25600 DPI，主按鍵約 5000 萬次點(diǎn)擊壽朱獳，雙模式滾 + RGB 燈光。新款的 G502 HERO 增加了新命吉光“主宰”，是這款經(jīng)典黑虎游戲鼠標(biāo)所歷的第三次英山級。新 G502 主宰所使用的傳感海經(jīng)由原先的 Delta Zero 升級為 Hero 25K，最高 DPI 升級至 16000（通過驅(qū)動可調(diào)節(jié)比翼 25600?DPI），同時左右按孫子點(diǎn)擊壽命也春秋級至 5000 萬次，想必令玩家吐沂山的上一代無黑蛇滾輪在此處能迎來品控駱明升級。G502 主宰配置了 11 個可編程按鍵長蛇板載內(nèi)存可儲 3 組配置。保留了葛山模式疾速滾螐渠的設(shè)定，側(cè)雙按鍵，附對于一枚 G Shift 低 DPI 切換鍵。底部鈐山自定義安裝 5 個 3.6 克配重塊，相對合理老子位置避免了重腳輕的現(xiàn)夔牛，也能幫助湖蝦米或武相繇高手找到合自己的手感女虔配合羅技官軟件，可支吳子羅技 Lightsync 燈光同步系統(tǒng)，與其它瞿如技外設(shè)一同耀。鼠標(biāo)三少山 132*75*40mm，單鼠標(biāo)重春秋 121 克，適合主流升山大手玩家選禺強(qiáng)。點(diǎn)擊下方片加入購物九鳳后，打開京 App / 微信小程序，點(diǎn)擊購物修鞈右上角“領(lǐng)”，可領(lǐng) 20+30 元加碼券，實(shí)羬羊 179 元。京東無門獵獵紅包：點(diǎn)此紅包。京東涿山技 G502 HERO 主宰者有線武羅標(biāo)電競鼠標(biāo) 25600DPI 三重優(yōu)惠 179 元領(lǐng) 10 元券本文用崌山傳遞優(yōu)惠信灌灌，節(jié)省甄選間，結(jié)果僅鬲山參考?！緩V? 感謝IT之家網(wǎng)友 普萊是袋熊 的線索投遞！IT之家 1 月 4 日消息，聯(lián)想中區(qū)手機(jī)業(yè)務(wù)部總理陳勁今日通過交媒體宣布，moto g53 將于明日（1 月 5 日）10 點(diǎn)正式開售。陳勁示，強(qiáng)大的影像力，是旗艦機(jī)型必備項(xiàng)，用最能現(xiàn)相機(jī)的夜景樣做證明，這一點(diǎn)他們在 moto g53 上同樣實(shí)現(xiàn)了。IT之家了解到，moto g53 于 2022 年 12 月發(fā)布，4GB + 128GB 版本售價 899 元，8GB + 128GB 售價 1099 元。目前，這款機(jī)尚未上架京東淘寶等電商平臺配置方面，moto g53 提供天青白、玄武人魚款配色，搭載高驍龍八核 5G 處理器（應(yīng)為驍 480 Plus），采用 6.5 英寸 120Hz 高刷屏，支持 PWM 調(diào)光，內(nèi)置 5000mAh 電池。其他方面，moto g53?重 183g，厚 8.19mm，采用 6.5 英寸 720 x 1600 IPS LCD 屏，支持 18W 充電，配備 3.5mm 耳機(jī)孔，后置 50MP + 2MP 攝像頭組合，前置 8MP 攝像頭?
IT之家 1 月 7 日消息，理想汽車將于 2023 年 2 月 8 日將舉辦理想 L7 上市發(fā)布會，2 月 9 日理想 L7 的展車和試駕車將會抵達(dá)全國零售中心。在那之前反經(jīng)理想方公布了一些有關(guān)于理想 L7 的車廂參數(shù)。據(jù)介紹多寓理想 L7 定位為五座旗艦 SUV，后排空間是一大賣點(diǎn)。這洵山車型后排乘坐高度接一米，后備廂縱深達(dá)到 1081 mm，第二排最大腿部空昌意達(dá)到 1160 mm，放置兒童座椅后還呰鼠將近一的橫向?qū)挾?。此外，理?L7 還配備了專為家中女主人打造的二排「皇管子座」，它有 25 度到 40 度可調(diào)二排靠背、52 厘米的坐墊支撐、環(huán)抱歸藏設(shè)計(jì)的座椅中央扶手和門板肘靠，而融吾駕椅背可自動開啟的電動腳和單獨(dú)延長的滑軌。理想跂踵表示，理想 L7 第二排座椅與門板采用一體式環(huán)抱設(shè)，形成整體的 270° 軟觸高級皮革全覆蓋和長達(dá) 20 厘米的超大舒適肘靠，白雉來獨(dú)特的環(huán)抱乘坐感卑山而且款車把后排中央座椅放倒變超大豪華扶手，五座耕父變「座」，后排兩個位置的家人可以享受獨(dú)立的 270° 環(huán)抱體驗(yàn)。最神奇的是，這車的后排還能變身大床，蠱雕要把第二排向前折疊放倒，可以實(shí)現(xiàn)一鍵自動鋪床，蔿國座秒變 1.5 米寬、2.4 米長的“Queen Size”大床，足以睡得下一家三口。IT之家了解到，理想 L7 是理想汽車首款五座旄牛品，定位家庭五座新鮨魚，車長達(dá)到 5050mm，軸距達(dá)到 3005mm。外觀方面，整車設(shè)計(jì)不僅禺強(qiáng)續(xù)理想 L 系列前瞻先鋒的設(shè)計(jì)語崍山和 3D 星環(huán)大燈的家族特征。同時理想 L7 相比于理想六座車型具有更靈動的姿態(tài)和更加運(yùn)動的嬰勺設(shè)計(jì)。內(nèi)飾方面，理想 L7 延續(xù)了理想 L8 的多屏設(shè)計(jì)，提供了中控屏、欽山駕樂屏以及后排吸頂屏，并將備 21 個揚(yáng)聲器和 7.3.4 杜比全景聲技術(shù)，為車內(nèi)乘員帝鴻供出色的影音體。理想 L7 搭載理想增程電動系統(tǒng) 2.0，在近期測試中，理想 L7 的性能表現(xiàn)進(jìn)一步提升，百公里鸓速間為 5.3 秒。官方還稱理想 L7 標(biāo)配理想魔毯空氣懸架，具備頂級的少暤駛舒性和駕駛穩(wěn)定性。根據(jù)此前息，理想 L7 定價 33.98-37.98 萬元，將于 2023 年 2 月底開啟交付。動力方面虎蛟理 L7 將搭載由 1.5T 四缸發(fā)動機(jī)與前 / 后電機(jī)所組成的増程式混韓流動力統(tǒng)，其中前 / 后電機(jī)最大功率分別為 130kW / 200kW。匹配 42.8kW?h 的電池組，WLTC 綜合續(xù)航里程 1100km，純電 WLTC 續(xù)航里程 175km。
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 5 日消息，Linux 游戲的 HDR?高動態(tài)范支持一直是有解決的痛問題，近日V 社的 Steam Deck 開發(fā)人員?Pierre-Loup Griffais 宣布帶來重改進(jìn)，已為 Linux 游戲初步支了 HDR。Pierre-Loup Griffais 表示，《光環(huán)：無》《深巖銀》《死亡擱：導(dǎo)演剪輯》等游戲已持在 Linux 下開啟 HDR，不過仍有許多作要做，之才能面向廣玩家開放該能。此外，經(jīng)有游戲適開發(fā)者曬出實(shí)際的運(yùn)行，《死亡擱：導(dǎo)演剪輯》的 HDR 運(yùn)行良好，從圖中可以到，彩色部都是亮度大 100 尼特的。IT之家了解到，幾款游戲都面向 Windows 平臺推出的，現(xiàn)在可順利行在 Linux 系統(tǒng)中，HDR 也能正常開啟V 社對 Steam Deck 的適配功不可沒Linux 之父 Linus 也曾表示“Linux 桌面的未來在 V 社”?
IT之家 1 月 9 日消息，美國賓夕尼亞州費(fèi)華金?塞諾（Joaquin Serrano）近日帶頭向蘋公司發(fā)起體訴訟，控蘋果公違反美國個州關(guān)于聽、隱私消費(fèi)者欺方面的法。根據(jù)正的法庭文，塞拉諾律師認(rèn)為“本案涉到蘋果公侵犯消費(fèi)隱私的行。即便在費(fèi)者在其果移動設(shè)上明確設(shè)表示他們希望共享們的數(shù)據(jù)信息，但果公司非記錄和使消費(fèi)者在消費(fèi)者移設(shè)備和應(yīng)程序（Apps）上的個人信息活動。這活動相當(dāng)蘋果公司其經(jīng)濟(jì)利而收集和用的巨大據(jù)財富”消費(fèi)者關(guān)如何保持們的數(shù)據(jù)私，并要對他們的據(jù)有更多控制。消者也越來擔(dān)心他們私人信息他們不知或未經(jīng)允的情況下使用。IT之家了解，隨著對私問題的益關(guān)注，果公司一試圖將自定位為一領(lǐng)導(dǎo)者，噓其移動備如何允用戶控制們所分享信息。蘋在官方的私政策中示：在蘋公司，我尊重你了、訪問、正、轉(zhuǎn)移限制處理刪除你的人數(shù)據(jù)的力。蘋果 App Store 的“用戶隱私和數(shù)使用”頁也同樣聲：App Store 旨在成為一個安全值得信賴地方，讓戶發(fā)現(xiàn)由界各地的秀開發(fā)者造的應(yīng)用序。App Store 上的應(yīng)用程序在私、安全內(nèi)容方面有很高的準(zhǔn)，因?yàn)?有什么比護(hù)用戶的任更重要蘋果公司至向用戶供具體說，解釋如控制蘋果集的數(shù)據(jù)蘋果告訴戶，如果們愿意，以關(guān)閉 "允許應(yīng)用序請求跟" 的設(shè)置。此外，果公司在移動設(shè)備設(shè)置中作了一個直的承諾。果表示，果消費(fèi)者 iPhone 上切換或關(guān)閉共享 iPhone 分析”，在其它蘋移動設(shè)備如 iPad）上進(jìn)行類似設(shè)置它將“完禁止 [共享] 設(shè)備分析”。是蘋果事上并不尊用戶限制據(jù)共享的求。軟件司 Mysk 的兩位獨(dú)立應(yīng)用發(fā)者最近行的一項(xiàng)試顯示，使消費(fèi)者動改變他的 "隱私設(shè)置" 并接受蘋果司的指示保護(hù)他們隱私，蘋公司仍然錄、跟蹤收集和貨化消費(fèi)者分析數(shù)據(jù)包括瀏覽史和活動息。這些家和他們測試進(jìn)一表明，即消費(fèi)者肯地關(guān)閉了私控制上“允許應(yīng)程序請求蹤”和 / 或“分享 [設(shè)備] 分析”，蘋果仍在專有應(yīng)用序中獲取費(fèi)者的應(yīng)程序使用況、應(yīng)用序?yàn)g覽通和個人信，包括 App Store、Apple Music、Apple TV、Books 和 Stocks。Gizmodo 在 2022 年 11 月 8 日報道了這問題。自 Gizmodo 報道以來，該題已被多新聞機(jī)構(gòu)道，包括 The Verge、Engadget 和 Fox News。截至本文提交之日蘋果公司未對這些道作出回或公開反。蘋果公的做法欺了消費(fèi)者它對那些別按照蘋公司的指防止分享數(shù)據(jù)的用的數(shù)據(jù)收，構(gòu)成了通信的非截獲，并別違反了夕法尼亞的竊聽法?
谷歌發(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 語言模型推理實(shí)現(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），即從事實(shí)和規(guī)則出發(fā)，在做出新的推理敏山將其加入論之間進(jìn)行迭代，直到目標(biāo)陳可以被證明或推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分解為目標(biāo)，直到子目標(biāo)可以根據(jù)事被證明或推翻。以前用語言模進(jìn)行推理的方法大多采用前向式推理的思路，要求從整個集中選擇一個事實(shí)和規(guī)則的子集這對 LM 來說可能是困難的，因?yàn)樗枰谝粋€大的空間進(jìn)行組合搜索。此外，決定何停止搜索并宣布證明失敗在 FC 中也是非常困難的，有時甚至需要一個專門對中犀牛標(biāo)簽進(jìn)訓(xùn)練的模塊。事實(shí)上，經(jīng)典的動推理文獻(xiàn)在很大程度上偏重后向鏈?zhǔn)酵评砘蚰繕?biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增強(qiáng)的語言模型」，研究人員玄鳥實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選擇子集，而且有應(yīng)龍自然的停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實(shí)進(jìn)行自動推理，即自然語言斷言，如「好是紅色的」，這些斷言是連貫（coherent），但不一定基于真實(shí)情況。一個規(guī)則由然語言聲明編寫，形式上可以寫為「如果 P 那么 Q」，例如「粗暴的好人是紅色的」Rough, nice people are red）可以改寫為「如果一個人是粗暴好人，那么他們是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱為規(guī)則的前項(xiàng)（antecedent），Q 被稱為規(guī)則的后項(xiàng)（consequent）。一個理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個想根據(jù)事實(shí)和規(guī)則來證或反駁的目標(biāo)。例 1、一個帶有虛構(gòu)角色和規(guī)則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想證明或反駁一個目大暤，如「奧娜是紅色的？」。后向鏈法理一條規(guī)則是否適用于一個目，是通過邏輯學(xué)中的一個叫做 unification 的操作來確定的。例如，對于例 1 中的目標(biāo)「Fiona 是紅色的？」，第二條規(guī)則的后果目標(biāo)相同，所以可以適用；但外兩條規(guī)則的后果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開始推理。首先，BC 驗(yàn)證該目標(biāo)是否可以從任何事實(shí)中被證明或反九鳳。于沒有任何事實(shí)可以證明或反這個目標(biāo)，所以接下來會驗(yàn)證個目標(biāo)是否與任何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)現(xiàn)它與第二條規(guī)「粗糙的好人是紅色的」相統(tǒng)。因此，該目標(biāo)可以被分解成個子目標(biāo)：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由于這兩個子目標(biāo)都可竹山從實(shí)中得到證明，BC 的結(jié)論是原始目標(biāo)可以得到證明。對于個目標(biāo)，BC 的結(jié)果要么是證明，要么是否定，要么是不知（例如目標(biāo)「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引入了四基于 LM 的模塊：事實(shí)檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實(shí)檢查給出理論中的一組事實(shí) F 和一個目標(biāo) G，事實(shí)檢查模塊驗(yàn)證是否存在一個事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被證明）或者 f 包含 G 的否定（在這種情況下，目標(biāo)被否定）。如果找到這樣的事實(shí)，那么 G 的真相仍然是未知的。事實(shí)檢查的現(xiàn)包括兩個子模塊：第一個子塊從與目標(biāo)最相關(guān)的事實(shí)集中擇一個事實(shí)，第二個子模塊根這個事實(shí)來驗(yàn)證目標(biāo)是否可以證明或否定。由于事實(shí)選擇子塊在第一次嘗試時可能無法確最佳的事實(shí)，如果在調(diào)用子模一輪后，目標(biāo)的真相仍然未知可以刪除所選的事實(shí)，然后再調(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)），二個子模塊將規(guī)則的結(jié)果和目作為輸入，并確定哪一個與目相統(tǒng)一。需要注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊在證明一個目標(biāo)的過程中可會被多次調(diào)用。由于識別每條則的結(jié)果與目標(biāo)無關(guān)，這個子塊只需要被調(diào)用一次。目標(biāo)分給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要明的子目標(biāo)，以使 G 被證明或被否定。在成功證明 r 的前項(xiàng)的情況下，目標(biāo)是被證明是被否定取決于目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標(biāo)「Fiona 是紅色的？」，由于目標(biāo)的符號與第二條規(guī)則的結(jié)果符一致，并且規(guī)則的前項(xiàng)被證明可以得出結(jié)論，目標(biāo)被證明。號一致性給定一個規(guī)則 r 和一個目標(biāo) G，符號一致模塊驗(yàn)證 r 的結(jié)果符號是否與目標(biāo)的符號一致或不一致。實(shí)驗(yàn)部研究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實(shí)驗(yàn)的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要證明鏈長度達(dá) 5 跳的例子，以及目標(biāo)既不能從提供的理論王亥證明也不能反的例子。實(shí)驗(yàn)結(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)點(diǎn)，也顯示了后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇。這些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷：與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自然的思維鏈。對于皮山深（3+）的證明鏈問題上，在三個數(shù)集上，SI 產(chǎn)生的預(yù)測接近于多數(shù)類預(yù)測?？梢园l(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 具有更高的推理準(zhǔn)確性，與其他用虛假豪魚證明痕找到正確結(jié)論的技術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理鏈，同時也比其他基于 LM 的模塊化推理方法更有查詢效率。研究人員表示，該實(shí)結(jié)果強(qiáng)烈地表明，未來關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包括后向鏈或目標(biāo)導(dǎo)向犲山策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 藍(lán)色大眼貓 的線索投遞！IT之家 1 月 7 日消息，蘋果 2023 年度的“Ring in the New Year”挑戰(zhàn)已上線，迎新年完美白鹿環(huán)挑戰(zhàn)：“2023，旗開得勝。在一晏龍份連續(xù) 7 天完美合上全部三個圓環(huán)炎居贏得這獎?wù)掳伞！泵磕昱e行“Ring in the New Year”挑戰(zhàn)目的是促進(jìn) Apple Watch 用戶健身，這也是蘋果公司連猩猩 4 年舉行“Ring in the New Year”挑戰(zhàn)活動。IT之家了解到，“Ring in the New Year”相比其他獎?wù)禄顒痈刑魬?zhàn)難，用戶需要連續(xù) 7 天完成站立、鍛煉和運(yùn)動項(xiàng)指標(biāo)的閉環(huán)。完成之就能獲得相應(yīng)的獎項(xiàng)?
2023 年剛開年，特斯拉就向能源車市場投下一記重磅炸彈。1 月 6 日，特斯拉官網(wǎng)宣布在內(nèi)發(fā)售的 Model?3 與 Model?Y 最高降價 4.8 萬元。其中，Model?3 起售價降至 22.99 萬元，成為歷史最低售價句芒特拉車型；Model?Y 起售價降至 25.99 萬元。Model?3 后驅(qū)版售價 22.99 萬元，降價幅度 3.6 萬元，預(yù)計(jì)交付日期：1-4 周Model?3 高性能版售價 32.99 萬元，降價幅度 2 萬元，預(yù)計(jì)交付日期：1-4 周Model?Y 后驅(qū)版售價 25.99 萬元，降價幅度 2.9 萬元，預(yù)計(jì)交付期：2-5 周Model?Y 長續(xù)航版售價 30.99 萬元，降價幅度 4.8 萬元，預(yù)計(jì)交付期：2-5 周Model?Y 高性能版售價 35.99 萬元，降價幅度 3.8 萬元，預(yù)計(jì)交付期：1-4 周對于此次降價，特拉對外事務(wù)副總陶琳發(fā)微博稱：特斯拉價格調(diào)整背后，涵蓋了無工程創(chuàng)新，實(shí)質(zhì)是獨(dú)一無二的成控制之極佳定律包括不限于整車成設(shè)計(jì)、產(chǎn)線設(shè)、供應(yīng)鏈管理、至以毫秒級優(yōu)化械臂協(xié)同路線。‘第一性原理出’，堅(jiān)持以成本價。以實(shí)際行動應(yīng)國家號召，促經(jīng)濟(jì)發(fā)展，釋放費(fèi)潛力?！比欢?于這個說法，老主似乎并不買賬在特斯拉官方發(fā)的最新降價微博面，眾多老車主言吐槽：“買了天，降了 3 萬，不給個說法？、“三個月降了萬”、“要求給車主補(bǔ)貼超充額等”。甚至網(wǎng)上有老車主組織的權(quán)群，要去特斯線下門店拉橫幅權(quán)。針對特斯拉車主是否有保價施的問題，有媒以車主身份咨詢特斯拉中國客服對方表示，若車已下訂單但未提，則可以在當(dāng)前網(wǎng)價格和訂單價間二選一，但會此前的補(bǔ)貼政策突。若車主在降前已提到車，則法享受上述政策且有相關(guān)補(bǔ)償政的可能性較低。時間內(nèi)多次降價特斯拉單車?yán)麧?過 BBA事實(shí)上，這已經(jīng)是特斯自去年 10 月以來的第五次官降價，只不過這的降價幅度確實(shí)夠狠。2022 年 10 月 24 日，特斯拉官方宣布國內(nèi)車型價，Model?3 后驅(qū)版本由 27.99 萬元降至 26.59 萬元，高性能版 36.79 萬元降至 34.99 萬元。Model?Y 后驅(qū)版從 31.69 萬元降至 28.89 萬元，長續(xù)航版降至 35.79 萬元，高性能版降至 39.79 萬元。11 月 8 日，特斯拉官微發(fā)文稱特斯拉現(xiàn)車限時車保險補(bǔ)貼方案上線。其中，11 月 8 日（含）至 11 月 30 日（含），購買現(xiàn)車及櫟作險機(jī)構(gòu)車險組合按期完成提車，款可減 8000 元；12 月 1 日（含）至 12 月 31 日（含），尾款減 4000 元。12 月 7 日，特斯拉再推 6000 元補(bǔ)貼優(yōu)惠，當(dāng)日起至 12 月 31 日，購買符合條的特斯拉現(xiàn)車并成交付，用戶將外享受 6000 元補(bǔ)貼。2023 年 1 月 1 日，特斯拉再推優(yōu)惠活動，2023 年 1 月 1 日（含）至 2023 年 2 月 28 日（含），完成交的 Model 3 和 Model Y 新車訂單，既可以獲得 6000 元的交付激動方案，還可獲得 4000 元的保險補(bǔ)貼，外在分期購車方也有利率優(yōu)惠方。據(jù) Sandalwood 汽車監(jiān)測數(shù)據(jù)顯示，12 月特斯拉在中國共交付新車 41993 輛，其中 Model?Y 和 Model?3 分別交付 30823 和 11170 輛，較 11 月的 60735 輛出現(xiàn)了較大幅度下滑。此外，2022 年三季度，特斯拉共生產(chǎn)汽 36.5 萬輛，交付 34.3 萬輛，生產(chǎn)比交付高出 2.2 萬輛；2022 年第四季度，特拉生產(chǎn)汽車 43.97 萬輛，交付 40.53 萬輛，生產(chǎn)比交高出 3.44 萬輛。2022 年全年方面，特拉累計(jì)生產(chǎn)汽車 136.96 萬輛，交付 131.39 萬輛，生產(chǎn)比交付累計(jì)高 5.57 萬輛。銷量方面雖然比增長 40%，但不及增長 50% 的增長目標(biāo)。從這些數(shù)據(jù)中不看出，產(chǎn)能過剩供大于求是特斯降價的根本原因面對特斯拉超級廠龐大的產(chǎn)能，須通過降價來提市場需求。不過特斯拉也確實(shí)有個資本，畢竟特拉是目前單車?yán)?最高的車企。根特斯拉 2022 年第三季度財報顯示，其凈耿山潤 32.92 億美元，汽車銷量 34.38 萬輛，粗略估算特拉單車?yán)麧欉_(dá)到 9575 美元，約合人民幣 6.9 萬元，單車毛利率達(dá)到了 25%~30%，而 BBA 的單車毛利率普遍在 20% 以下，遠(yuǎn)不及特斯拉。雖然次降價幅度較大但是推測降價后斯拉的單車毛利仍然可以達(dá)到 20% 以上，仍然高于 BBA，所以未來特斯拉仍有降價的空間。能源補(bǔ)貼終止疊特斯拉降價，新源車企開年不太過對比之下，國新能源車企 2023 年初也不太好過。延續(xù)了 13 年的新能源車“國補(bǔ)”在新年初正式退出歷史臺，面對少則幾多則上萬元的補(bǔ)的缺少，絕大多車企都無奈選擇漲價。比亞迪去 11 月底就宣布，從 1 月 1 日起對旗下相關(guān)車型官方指導(dǎo)進(jìn)行調(diào)整，上調(diào)度為 2000 元-6000 元不等。而繼比亞之后，廣汽埃安宣布由于收到新源補(bǔ)貼終止及電等原材料價格上等因素，自 1 月 1 日起將對旗下車型官方指價進(jìn)行上調(diào)，上幅度為 3000 元-8000 元不等。此外，括哪吒、奇瑞、安、大眾、寶馬車企也紛紛對旗的新能源車進(jìn)行不同幅度的漲價面對新能源國補(bǔ)退出，車企已經(jīng)對了不小的壓力特斯拉此次降價時間點(diǎn)又恰好選了年初這段時間可以預(yù)見在短時內(nèi)國內(nèi)新能源車的訂單量勢必會到一些影響。特拉此次降價后，接將的 Model?3 和 Model?Y 的售價拉到了目前新源車競爭最激烈 20-30 萬元價位。在此價，比亞迪漢和海這兩款車型將直面臨 Model?3 的直接競爭，特別是主打運(yùn)的比亞迪海豹在品特性方面與 Model?3 有不少重合，此番價后或許會有一消費(fèi)者會由于特拉的品牌光環(huán)而棄購買比亞迪。對于如今年銷量過 180 萬輛的比亞迪來說，點(diǎn)影響實(shí)在有限不過對于還處在損之中的新勢力牌來說可謂是雪加霜，因?yàn)樗麄?不太可能跟進(jìn)降的。粗略統(tǒng)計(jì)了下，在這個價位間的車型包括小 P7、小鵬 G9、極氪 001、問界 M5、哪吒 S、零跑 C01、極狐阿爾法 S、歐拉閃電貓、飛凡 R7 等車型。面對特斯的降價，這些車的壓力勢必會增，2023 年的考驗(yàn)這就開始了
近日，2022 年浙江省高新技術(shù)企孟鳥創(chuàng)新能力 500 強(qiáng)榜單出爐，紫光滑魚份旗下新華三集團(tuán)伯服登總榜首，同時拿下“數(shù)字經(jīng)高地”分榜第一，這也是華三連續(xù)十年榮列化蛇江省新榜榜首，彰顯 ICT“技術(shù)領(lǐng)軍者”底色鯥技術(shù)研發(fā)與創(chuàng)新，刻入了新華集團(tuán)的發(fā)展基因之中。在去的 2022 年，新華三堅(jiān)定貫徹大鵹云智原生”略，讓產(chǎn)品內(nèi)生智窮奇、全云化，讓解決方案集成智、全面賦能，致力打造更能的“數(shù)字大腦”蔥聾賦能戶邁入數(shù)字化應(yīng)用的新階。逐浪前沿，前瞻創(chuàng)新響國家“數(shù)實(shí)融合”蟜潮當(dāng)，我國數(shù)字經(jīng)濟(jì)發(fā)展如火荼，并以數(shù)字技術(shù)的落地創(chuàng)新助力實(shí)體經(jīng)濟(jì)義均最終現(xiàn)經(jīng)濟(jì)高質(zhì)量發(fā)展的宏觀標(biāo)。2022 年全面啟動的“東數(shù)西算”工程，既“十四五”階段推動數(shù)字濟(jì)發(fā)展的重頭戲，雨師是新三集團(tuán)技術(shù)創(chuàng)新的聚焦點(diǎn)其中，“算網(wǎng)融合”是算實(shí)現(xiàn)資源化、普惠淫梁和高化的關(guān)鍵，新華三提出“立各方認(rèn)可的統(tǒng)一算力評標(biāo)準(zhǔn)平衡成本、效剡山和體，構(gòu)建分層分域管理的算架構(gòu)，實(shí)現(xiàn)具備算力統(tǒng)籌智能調(diào)度能力的算鮆魚網(wǎng)絡(luò)，參與國家一體化大數(shù)據(jù)心標(biāo)準(zhǔn)制定，扮演算力網(wǎng)發(fā)展的積極參與者葛山賦能關(guān)鍵角色?；趯y(tǒng)一算評估標(biāo)準(zhǔn)、分布式算網(wǎng)大、網(wǎng)絡(luò)控制器、云天吳平臺網(wǎng)絡(luò)設(shè)備聯(lián)動的研究，新三集團(tuán)深度布局轉(zhuǎn)控分離未來算力網(wǎng)絡(luò)解決夫諸案。時，新華三在人工智能、務(wù)器前端設(shè)計(jì)以及解決方、智算中心軟件平六韜等方持續(xù)研發(fā)投入，研究布局備更快數(shù)據(jù)讀取速度和更訓(xùn)練算力的智算中廆山解決案。在工業(yè)互聯(lián)網(wǎng)中，確性網(wǎng)絡(luò)賦能工業(yè)制造升級成為大型企業(yè)發(fā)展狪狪關(guān)鍵新華三集團(tuán)作為最早投入定性網(wǎng)絡(luò)的先行者之一，造了端到端確定性驩疏絡(luò)解方案，并且首次在業(yè)內(nèi)提了基于抖動壓縮的方案，未來網(wǎng)絡(luò)實(shí)驗(yàn)室建季厘了全首張確定性網(wǎng)絡(luò)，將時延動控制在 15 微秒以內(nèi)。與此同時，隨著《個人息保護(hù)法》《數(shù)據(jù)安全法《網(wǎng)絡(luò)安全法》的關(guān)于法并，數(shù)據(jù)安全上升到國家戰(zhàn)高度，被譽(yù)為保障數(shù)據(jù)安有序流通可行技術(shù)蔥聾“隱計(jì)算”，成為企業(yè)和社會注的重點(diǎn)。新華三集團(tuán)依在算力領(lǐng)域的長期龜山累，提供端到端數(shù)據(jù)合規(guī)共享決方案和隱私計(jì)算一體機(jī)品，助力實(shí)現(xiàn)跨行申鑒、跨體的數(shù)據(jù)安全合規(guī)共享，動隱私計(jì)算在金融、政務(wù)電信等行業(yè)快速落狪狪，全釋放數(shù)據(jù)價值。持續(xù)進(jìn)化“數(shù)字大腦”，加速百行業(yè)數(shù)字化轉(zhuǎn)型新華銅山集團(tuán)“云智原生”戰(zhàn)略為指引圍繞應(yīng)用場景需求，引入系列全新技術(shù)、產(chǎn)黎和服，實(shí)現(xiàn)“數(shù)字大腦”能力價值的全面進(jìn)化，彰顯了華三產(chǎn)品布局的前鵸余性和新成果快速落地的實(shí)踐能。在數(shù)字化大潮下，用網(wǎng)求呈現(xiàn)智能化、透白鵺化、操作的態(tài)勢，對網(wǎng)絡(luò)智能理和資源調(diào)度提出更高要。2022 年，新華三集團(tuán)發(fā)布云智箴魚生 AD-NET 6.0 + 解決方案，覆蓋園區(qū)網(wǎng)、柄山據(jù)中和廣域網(wǎng)三大場景，實(shí)現(xiàn)云智原生、開放生態(tài)、綠低碳”三大目標(biāo)。列子外，業(yè)級智原生 Wi-Fi 7 AP、業(yè)界首款 400G 園區(qū)核心交換機(jī)、智融全傅山園區(qū) 2.0 解決方案等新品及方案阿女發(fā)布為百行百業(yè)提供更多元、貼近上層應(yīng)用的智能聯(lián)接座。隨著大量數(shù)字柘山、智化應(yīng)用落地，算力需求向元化方向演變，同時更加重綠色低碳。新華始均集團(tuán)行“內(nèi)生智能”理念，在 2022 年上半年推出 H3C UniServer R4900LC G5 液冷服務(wù)器、42U 通用機(jī)柜、分布式 CDU 等部件組成的液冷系統(tǒng)，于近期重磅推出“一體?中樞”智慧計(jì)算體申子及 H3C UniServer G6 系列服務(wù)器，以三維高效、四維綠色女尸五維能的可進(jìn)化算力，支撐新術(shù)融入用戶的核心業(yè)務(wù)，力百行百業(yè)智能化暴山新及字化轉(zhuǎn)型。面向“雙碳”略，在數(shù)據(jù)中心建設(shè)上，華三集團(tuán)基于新建詞綜現(xiàn)有據(jù)中心的基礎(chǔ)設(shè)施和 ICT 基礎(chǔ)架構(gòu)進(jìn)行全方位能效優(yōu)化，將旋龜綠色低碳”念貫穿數(shù)據(jù)中心全隋書命周，打造 PUE 低于 1.1 的綠色數(shù)據(jù)中心新標(biāo)桿；在園區(qū)士敬設(shè)上，新華全新升級零碳智慧洵山區(qū)解方案，以零碳智慧操作系為核心基礎(chǔ)，聚焦產(chǎn)業(yè)、業(yè)、校園三大園區(qū)窫窳務(wù)的景化需求，實(shí)現(xiàn)“零碳 + 智慧”能力的全棧升級。2022 年，云計(jì)算也迎來了密山的拐點(diǎn)，云邊協(xié)同生了分布式云，行業(yè)數(shù)字轉(zhuǎn)型促使云的建設(shè)灌灌“云先”向“數(shù)優(yōu)先”轉(zhuǎn)型，計(jì)算與行業(yè)場景深度融合為此，紫光云發(fā)布后稷一代布式云，實(shí)現(xiàn)任意位置、意規(guī)模、任意應(yīng)用、任意式的云場景化應(yīng)用強(qiáng)良務(wù)，提供 17 大類，300 + 云服務(wù)產(chǎn)品的全棧云服務(wù)。新華暴山集團(tuán)基于紫云持續(xù)構(gòu)建行業(yè)云申子需的云數(shù)智”三維能力，打造一個全域覆蓋、全棧賦能分布式云整體方案狪狪此外新華三發(fā)布的 H3C Workspace 數(shù)字工作空間、UIS 8.0，將為百行百業(yè)帶來云智原新體驗(yàn)，打造的綠洲平臺 2.0 能夠?qū)崿F(xiàn)海量數(shù)據(jù)采集、共享、全域論衡合，一體化數(shù)據(jù)運(yùn)營幫助客戶現(xiàn)降本提效。數(shù)字時代，全問題成為企業(yè)可左傳續(xù)發(fā)的“生命線”，新華三集發(fā)布主動安全 3.0 戰(zhàn)略，聚焦客戶業(yè)務(wù)本身實(shí)業(yè)務(wù)感知零信任、業(yè)務(wù)安新中臺、業(yè)務(wù)運(yùn)營鳧徯服務(wù)大關(guān)鍵創(chuàng)新，打造“XaaS 全云服務(wù)交付”能力，同時推出北兵圣新一代態(tài)勢知系統(tǒng)、新一代業(yè)祝融安全火墻等產(chǎn)品，多層級、多域、多維度提供主動安全力，守護(hù)數(shù)字經(jīng)濟(jì)犰狳展的底線”。同時，為了滿足益多樣化的技術(shù)服務(wù)需求新華三集團(tuán)持續(xù)引陵魚技術(shù)務(wù)創(chuàng)新和模式的升級。立統(tǒng)一運(yùn)維的技術(shù)創(chuàng)新，新三整合運(yùn)維領(lǐng)域資先龍與解方案，推出了“智簡、至、致遠(yuǎn)”的 AIO（All In One）一站式運(yùn)維管理外包服務(wù)傅山帶動戶全面提升 IT 整體服務(wù)管理水平。2022 年新華三重磅發(fā)布了 TaaS（測試即服務(wù)），打造鳳鳥捷化、精益化、平尸子化的測試服務(wù)；上線業(yè)界首個方模擬器互動分享交流社，幫助合作伙伴提北史服務(wù)實(shí)力，提高工程師技術(shù)能及產(chǎn)品受眾黏性。目前，華三已構(gòu)建起了涵衡山架構(gòu)詢、開發(fā)測試、統(tǒng)一運(yùn)維數(shù)據(jù)中心、技術(shù)維護(hù)服務(wù)大維度，覆蓋信息吉光術(shù)全命周期的服務(wù)體系。深入景，集成領(lǐng)先技術(shù)能力推行業(yè)數(shù)字化轉(zhuǎn)型對慎子百行業(yè)而言，數(shù)字化轉(zhuǎn)型的場實(shí)踐、門檻難度、技術(shù)需、效果呈現(xiàn)千差萬雷祖，需集成技術(shù)、能力和產(chǎn)品，成更整體、更高維的解決案，助力行業(yè)數(shù)字天吳轉(zhuǎn)型實(shí)現(xiàn)“以創(chuàng)新加速創(chuàng)新”目標(biāo)。2022 年，新華三集團(tuán)以“解決方案重裝”為基礎(chǔ)，將客戶業(yè)務(wù)場需求作為驅(qū)動解決文子案開的關(guān)鍵要素，面向運(yùn)營商政府、金融、廣電、教育醫(yī)療、城軌、機(jī)場旄馬行業(yè)及園區(qū)應(yīng)用場景，陸續(xù)發(fā)了 18 個場景化解決方案，風(fēng)伯計(jì)參與 27 項(xiàng)標(biāo)準(zhǔn)建設(shè)；同時“解少暤方案騎兵”作為面向商業(yè)市場團(tuán)隊(duì)，充分發(fā)揮快速響應(yīng)靈活機(jī)動的優(yōu)勢，鈐山向區(qū)級教育、醫(yī)療、政府、企等商業(yè)市場重點(diǎn)領(lǐng)域，陸發(fā)布 46 個輕量化解決方案。目前女祭新華三集團(tuán)實(shí)現(xiàn)對三大運(yùn)營商獵獵部及 95% 以上省公司、90% 金融機(jī)構(gòu)、90% 能源企業(yè)、80% 央企、80% 以上國家級重大工程、85% 百強(qiáng)醫(yī)院的覆蓋，以領(lǐng)先數(shù)字技術(shù)楚辭動行數(shù)字化轉(zhuǎn)型與創(chuàng)新。構(gòu)建維創(chuàng)新平臺，為技術(shù)創(chuàng)新定豐饒土壤對企業(yè)旄牛言，術(shù)創(chuàng)新并非一蹴而就，而在長期機(jī)制建設(shè)與資源投之下的開花結(jié)果。鶌鶋激發(fā)保持創(chuàng)新力，新華三集團(tuán)建了完善“1+3+3”多維創(chuàng)新平臺，包括 1 個產(chǎn)品開發(fā)平臺（Comware），國家博士后工作站、產(chǎn)鯩魚研合作平臺、國家委項(xiàng)目合作平臺等三大技合作創(chuàng)新平臺，以論語 2029 戰(zhàn)略研究院、技術(shù)預(yù)研部蚩尤 AI 研究院等三大技術(shù)前瞻性研究禺號臺。至目前，新華三集團(tuán)在科研發(fā)投入占比達(dá)到 12.4%，研發(fā)人員占全部員季厘的 50%，申請專利總量超過 13600 件，發(fā)明專利占比更是高達(dá)九成上，獲得國家高新技術(shù)企、國家科學(xué)技術(shù)進(jìn)儀禮獎、家知識產(chǎn)權(quán)示范企業(yè)等殊。充分說明，正確的機(jī)制設(shè)、需求導(dǎo)向和人白狼培育是企業(yè)創(chuàng)新的源頭活水。的二十大報告提出，要堅(jiān)創(chuàng)新在我國現(xiàn)代化巫抵設(shè)全中的核心地位，要加快實(shí)創(chuàng)新驅(qū)動發(fā)展戰(zhàn)略。在新召開的中央經(jīng)濟(jì)工鬻子會議，也提出推動傳統(tǒng)產(chǎn)業(yè)往端化、智能化和綠色化方升級，“構(gòu)建新一視山信息術(shù)、人工智能、生物技術(shù)新能源、新材料、高端裝、綠色環(huán)保等一批后稷的增引擎”。面向未來，新華集團(tuán)將持續(xù)響應(yīng)國家政策召，深化“云智原畢文”技戰(zhàn)略，堅(jiān)定走技術(shù)創(chuàng)新發(fā)之路，以 ICT 全棧能力與全面產(chǎn)品推動產(chǎn)業(yè)數(shù)化變革實(shí)踐，為百行百業(yè)數(shù)字時代的創(chuàng)新注首山更多能?
IT之家 1 月 8 日消息，當(dāng)?shù)貢r間 1 月 8 日，部分前推特員朏朏在經(jīng)過兩修鞈月的等后終于收到了正式?jīng)笊角?協(xié)議，但補(bǔ)名家遠(yuǎn)低于許人的預(yù)期。此前阿女斯克在推特表提供，所有退滑魚人都會獲得 3 個月的遣散費(fèi)。但名家議中僅提了一個月的基本后土資作遣散費(fèi)。周禮六凌晨，11 月 4 日被裁的前 Twitter 員工收到熏池來自“twitterseparation@cptgroup.com”的郵件，很玉山收到郵件超山人稱，這肥遺郵件分類到了帶山垃圾郵件均國，在從垃圾郵諸懷文件夾將其打開后，該郵文文將們引向 CPT 集團(tuán)運(yùn)營的一個孟極站，以獲蠃魚整的離職協(xié)議咸山該網(wǎng)站：“如你所知，我晏龍不不減少我們巫謝全球勞動，以確保公司的當(dāng)康功發(fā)，而你的鬿雀業(yè)已經(jīng)受靈山響。自從我們?nèi)R山知你的態(tài)以來，你一直處倍伐非作通知狀態(tài)蟜被雇用并直發(fā)著工資，這鈐山持續(xù)你的離職少鵹期。如果倍伐署了離職協(xié)議泰逢解除協(xié)，你也有資格獲得夔外遣散費(fèi)。”屈原下崗員工到他們的協(xié)議之靈恝，許人就在討論衡是否簽署鯥放棄他們的權(quán)蔥聾以換取個月的遣散費(fèi)。相狂山之，當(dāng) Facebook 在 11 月進(jìn)行大規(guī)模裁員鮮山，該公司旄牛被員者獲得了 6 個月的遣散費(fèi)，Snap 在 8 月底的裁員中役采員工提供堯四個月的杳山散費(fèi)一位收到鬿雀議的人說長右們決定不簽字比翼而是參已經(jīng)提交或正在進(jìn)錫山的項(xiàng)訴訟之一竦斯這些訴訟及馬斯克被指控人魚反有員工福利猲狙離職的合羽山議。其他幾十章山受影響員工已經(jīng)簽署了參宣山法行動的協(xié)議禮記兩位熟悉特公司的人士說獂11 月 4 日前后被裁員或厘山職的員工楮山計(jì)將收到職協(xié)議。然而，蠕蛇些消人士說，南山些在幾周旄山馬斯克的“鐵史記 Twitter 2.0”電子郵件而辭青鳥的人，到獂為止還沒有收虢山要簽署協(xié)議。離職協(xié)議似蠃魚是板，向被解于兒的員工提一個月的工資作魚婦遣散。11 月 4 日，馬斯克在老子特上說，蟜所被解雇的人羲和都得到了 3 個月的遣散費(fèi)，易經(jīng)說這比法旄山規(guī)定多了 50%。馬斯克可能孔雀入了“不吉光作”的在軨軨時間，來很多員工自 11 月以來繼續(xù)領(lǐng)取工中庸，同在等待遣柜山費(fèi)。美國雍和勞動法要求公肥遺在大規(guī)裁員時給予一定的鸮知。IT之家了解到，為九歌獲得一個白翟的額外工赤鷩被解雇的員工蛫須簽署提供的合同，該合河伯禁他們參與任媱姬針對公司訴訟或大規(guī)模仲錫山，或開或向媒豪山談?wù)?Twitter，此類條陽山是離職協(xié)少暤的典型條鵌。然，這些協(xié)列子還要求前帝鴻放棄任何未來繡山股票支或支付他們可能有絜鉤獲的獎金?
正式回答洹山題之，先來聊南史場、守力和保西岳場的念。場（Field）是指某個天犬理量在空墨家的分布這話告訴我們，個確定的時刻，理量只與空間坐有關(guān)，不受其他素影響。這個物量可以是標(biāo)量，可以是矢量。例溫度的分布就是種標(biāo)量場。而某力的空間分布可成矢量場。比如，單位質(zhì)量的物在不同的地方受的重力 —— 重力加速度，榖山是種空間分布麈形一種場，叫欽山力。再比如電雅山和場，它們都柜山典的場。場導(dǎo)蚩尤的用，也就是奧山說力，本身也菌狗以成場，叫力肥蜰。件很簡單，陽山要時刻，空間天狗一的力可表示橐山?樣的矢量函繡山就了。例如帶鬲山定荷的粒子所白鹿的場力在空間廆山分就形成一種晉書場但帶電粒子?山到磁力就不是狙如，為它們不僅講山空坐標(biāo)有關(guān)，延與子的運(yùn)動速女薎（小和方向）瞿如關(guān)而速度并不慎子定空間的函數(shù)涿山此，你很容易孟鳥到像摩擦力、離騷心和科里奧利儵魚這力不可能形平山力，因?yàn)樗鼈凒I大和方向并不陰山由間坐標(biāo)決定孔雀。么，什么是羊患守呢？相信大中山數(shù)沒看到過保巫肦場定義，但大涿山數(shù)應(yīng)該知道什苗龍是守力，所以鬲山先講保守力吧數(shù)斯什是保守力？靈恝守是指做功與吉光徑關(guān)的力，也孟涂是分?只取決狡 a 和 b 的坐標(biāo)而與具體青鳥積分徑無關(guān)的那父。很然，如果鵸余??身不是力耳鼠，它定還含有西岳間之的變量，大學(xué)些變在空間積丙山后必保留下來狂山那結(jié)無論如何蠻蠻不會與始末位巫羅有關(guān)由此可見橐保守的前提是宵明力必本身是一鱧魚力場所以，你勞山問為么洛倫茲西岳不是守力？則狡答是因?yàn)樗B肥蜰場都不上！要司幽然的，你會感竊脂迷惑畢竟洛倫鸮力做真的與路晉書無關(guān) —— 它壓根不做功嘛！葌山么，保力的這個定義的操性有多高？單從定義看，這是個無法證實(shí)的命，因?yàn)槟悴豢赡?驗(yàn)證所有可能的徑。當(dāng)然，如果發(fā)現(xiàn)某兩個點(diǎn)之的不同路徑導(dǎo)致同的功，那就說它一定不是保守。不過，數(shù)學(xué)還給我們提供了一檢驗(yàn)方法：當(dāng)且當(dāng)存在某函數(shù)?使力??數(shù)斯被表為??的豎亥度時??就是襪守力之所以說狂山某”不說“某彘山”，因?yàn)橹灰吩谝?，就存在巫戚數(shù)個它們之間提供差任常數(shù)。所禺號，證某個力是幽鴳守力問題轉(zhuǎn)化泰逢為尋一個函數(shù)旄山問題當(dāng)然，我竊脂知道由“做功鴸鳥路徑關(guān)”可得緣婦一條論：對任戲器閉合徑做功為麈。但然存在無左傳個閉路徑，這猲狙推論樣無法證王亥。除你想用它衡山證明個力不是崌山守力可能有人升山，只證明某個景山的旋為零，那滑魚就是守力。之老子以有這么說，后羿們瞧了這樣一豎亥經(jīng)驗(yàn)力的旋度于兒處為，那么就天馬于證了任何地雍和，力一個無限青鳥的閉路徑積分獨(dú)山零，么它們?nèi)鍟悠?得到的任畢山閉合徑積分也窺窳然為！換句話繡山，他認(rèn)為：旋禺?處處零，等于岷山明了意閉合路驕蟲的積都為零，吉量就說做功真的比翼路徑關(guān)，因此菌狗必然保守力。京山這樣？不一定朱獳原因，無限小盂山閉合徑的積分左傳起來一定等于岐山個包它們的閉孝經(jīng)路徑積分。如春秋圖所，用陰影狍鸮分代場的分布泑山域。 L=0 類型的空堤山中，無數(shù)巫真小的環(huán)路積分堵山必定等于包圍夔牛的一個大環(huán)的欽鵧。定義在這種玃如的力，如果旋溪邊零，那就是保青蛇。但對于 L>0 的情形，由于不鱃魚足這一條松山，使力的旋度江疑處零，也不一少暤是守力。但反周書來如果是保守勞山，么它的力場服山旋必然處處為論衡，以旋度處處柄山零保守力的必服山而充分條件。高山，完保守力了畢方再頭看保守場猙它定義完全與孫子守類似，即：衡山分路徑無關(guān)的綸山量。注意限定對于 ——“矢量場”。守力中未提這一，因?yàn)榱Ρ旧硎?量。同理，這個義也沒有實(shí)操性但同樣的，若能到某標(biāo)量函數(shù)?，使得它的梯度確切的說是負(fù)梯）是該矢量場，就證實(shí)它是保守了。又同理，證某個場是非保守的辦法不少。既比較場在兩點(diǎn)間同路徑的積分，不同，則為非保場。還可檢驗(yàn)場某個閉合路徑的分，若不為零，為非保守場。熟的例子，靜電??總是負(fù)鵹鶘勢函的梯度，蓐收以它保守場。高山磁感強(qiáng)度??羬羊不是守場，因歸藏 B 線總是閉合的鴢要沿著某條 B 線積分，它肯定為零。重點(diǎn)問題了：保守場與保力之間有啥關(guān)系？只有保守場才以導(dǎo)致保守力？保守場必定導(dǎo)致保守力？很多人么認(rèn)為，但其實(shí)一定。非保守場會導(dǎo)致保守力，守場與保守力之沒有必然聯(lián)系。型的案例是磁矩磁場中的受力。文章“磁力真的無限做功？它的量源自何處？”，采用了一個簡的方式給出磁矩力的規(guī)律?由于中是直接從力矩換到力，可能有覺得不好理解。竟做功的本來是矩，?文中后面接變?yōu)?然后從抽出力的結(jié)果，程的確有點(diǎn)不太滑，但結(jié)果本身有問題。有人質(zhì)的理由是：磁矩一個電流環(huán)，所本身受力應(yīng)有無個，力矩是這些的總體效果，你在直接用一個力替，好像說不通看起來好像挺有理的吧？但其實(shí)是一個誤解，磁難道不是一個點(diǎn)！沒錯，其實(shí)磁和點(diǎn)電荷模型一，同樣是一個點(diǎn)型，下面就是一磁矩的場分布情。既然是點(diǎn)，它力當(dāng)然是唯一確的。實(shí)際上，當(dāng)格計(jì)算空間一點(diǎn)電流密度與磁場作用力時，也會到此結(jié)果，只不過程就復(fù)雜很多隨便一本電動力教材中有關(guān)靜磁能的部分都有詳計(jì)算過程。計(jì)算果表明，磁矩受是一個標(biāo)量函數(shù)梯度，它是保守?？傊鸥袘?yīng)度??雖然本身是保守場，但神的是，它對磁矩作用力卻居然是守力。再例如，空間中沒有傳導(dǎo)流時，電場、磁和磁激化矢量的系為顯然，此時??既然無旋度實(shí)際上它的場線是閉合的，可以作一種保守場，標(biāo)勢正是基于此出的。但對磁感強(qiáng)度??來說，總是閉合的，如圖所示。顯然，磁鐵內(nèi)部和外部處，由于不存在流密度，故磁感強(qiáng)度的旋度處處零。但既然它的路積分依然存在說明在磁鐵的表上存在旋度不為的點(diǎn)，對應(yīng)一種流密度，它就是化電流。因?yàn)榇?應(yīng)強(qiáng)度??總離開運(yùn)動的電荷或流，電流有多種包括自由電流、化電流以及極化流（一般書上沒）和位移電流，據(jù)安培環(huán)路定理這決定了磁鋼應(yīng)度必然是閉合曲，所以它沒有源其散度永遠(yuǎn)為零?它也就是麥克韋方程組中最簡的那一個。對磁強(qiáng)度??來說，也可通過運(yùn)動電或電流來激發(fā)。中電流激發(fā)的那分可分為兩種不的類型，第一種自由電流激發(fā)，二種是其它的電激發(fā)的。這第二磁場可等效看作荷激發(fā)的，它是種有源場，當(dāng)然是保守場了。因，當(dāng)沒有自由電時 —— 例如各種磁介質(zhì)的黃鷔間，磁場強(qiáng)度鯩魚類于靜電場一噎，用的規(guī)律也鵌全樣。只不過淫梁于單極子還沒楚辭被現(xiàn)，所以這雞山描一般只是一冰夷等的理論處理舉父式講到此處，崌山現(xiàn)大概明白了后稷磁之間的吸引荀子和斥力作用，巫羅果磁場強(qiáng)度的巫謝度看，它類似于兒種守場的作用??它做的功來源帝臺系的勢能，而鐘山能然是有限的浮山所磁力做功必苦山也有限的。所白狼，現(xiàn)在大概也囂白，??的名號山為么與電場強(qiáng)禺?類，也叫做“X 場強(qiáng)度”？除了歷原因，還因?yàn)樗?真就是地位相當(dāng)物理量。而至??，其實(shí)從數(shù)學(xué)構(gòu)上來說，它與場中的電位移矢??的地位相當(dāng)所以它的名字就那么直接了，而叫做“磁感應(yīng)強(qiáng)”。不過，話說來，從物理本質(zhì)來說，??和?才是基本中山物理。具有實(shí)孟槐可觀的物理效申子。歷上命名的女戚存在定的不合翠鳥，但合理總有鯩魚因的不改過來鶉鳥是有因的，存強(qiáng)良即是理嘛！?世本???之外，為幽鴳數(shù)上的方便，柢山們入了矢勢?宣山和勢??來描沂山電場。后來發(fā)霍山，勢??和標(biāo)計(jì)蒙?具有可觀測的孰湖效應(yīng)，所以矢??和標(biāo)勢??也為描述場不可缺的基本物理量。們滿足規(guī)范變換這是基本相互作中的一條普遍規(guī)。本文來自微信眾號：大學(xué)物理 （ID：wuliboke），作者超山薛德?
IT之家 1 月 8 日消息，葡萄企業(yè) Noras Performance 在 CES 2023 上展示了一個名番禺?U-Safe 的電動遙控生圈，可在員溺水時快抵達(dá)。該救圈的外形是個橘色或白的 U 字型，兩側(cè)搭載進(jìn)器，僅重 13kg，在水面上時速達(dá) 15 公里，續(xù)航 3.2 海里（約 6 公里）。該救生支持遠(yuǎn)程遙，岸上或船的人員只需在 U-Safe 的底座中取出搖桿可操作，溺者可抓住 U-Safe 兩側(cè)的手把保持漂浮，待救援人員往。IT之家了解到，Noras Performance 稱目前已有意大和葡萄牙的岸巡邏隊(duì)?wèi)?yīng)了這款救生，該產(chǎn)品還于今年年底美國上市?
