薛之謙在那天猩猩去的路上MV 寶寶快餐，飯菜一碗出！幽鴳?zhàn)B拉，味道不管！ IT之家 1 月 10 日消息，ColorOS 官方今日宣布，OPPO Find X2 系列開啟 ColorOS 13.0 × Android 13 正式版升級，有需要的用戶可通過下圖所示途進行申請，申請完成即可得更新推送。OPPO Find X2 和 Pro?是?OPPO?于 2020 年 3 月 6 日發(fā)布的新機，均搭載了高驍龍 865 移動平臺，和 UFS3.0 閃存，兩款機型在硬件層面上主的差異在于標準版支持的絡(luò)頻段與 Pro 版本相比較少。機型：Find X2 ProFind X2 Pro 蘭博基尼版Find X2Find X2 英雄聯(lián)盟 S10 限定版正式版版本號：Find X2 Pro、Find X2 Pro 蘭博基尼版 ——?H.19 及以上Find X2、Find X2 英雄聯(lián)盟 S10 限定版 ——?H.19 及以上IT之家提醒，現(xiàn)階段依然有較多常用方應(yīng)用與 Android 13 不兼容，升級 Android 13 后可能會出現(xiàn)第三方應(yīng)用無法常使用的情況（如閃退、頓、黑屏、耗電等），建您先確認常用的銀行 App 已經(jīng)是最新版本再升級。OPPO 還表示。新版本升級后兩天內(nèi)會通過系后臺進行一系列適配優(yōu)化作，從而導(dǎo)致手機出現(xiàn)發(fā)、卡頓、耗電快的現(xiàn)象，議您升級后滅屏充電 2 小時后重啟手機，或正常用一段時間后會自行恢復(fù)【申請方式】1、請確保您的手機版本已經(jīng)升級到基版本 F.24（版本號查看方法：設(shè)置 > 關(guān)于本機 > 版本信息 > 版本號）2、請點擊“設(shè)置 > 關(guān)于本機 > 頂部版本信息（“手機名稱”上） > 右上角設(shè)置 > 嘗鮮申請 > ColorOS 13 正式版 > 勾選“我已閱讀并同意《私政策》”> 立即申請”，完成申請后點擊“檢查新”，檢測并下載安裝版即可升級到 ColorOS 13.0 了。具體操作步驟請參考下圖 ↓ IT之家 1 月 9 日消息，外星人日前發(fā)布?18 英寸大屏筆記本 M18，搭載了最新的 13 代酷睿和 RTX 40 系列 GPU，屏幕可選最新的 FHD 480Hz 屏。據(jù)京東方消息，星人攜手京東方全球首發(fā)的 18 英寸 480Hz 高刷面板應(yīng)用于 ALIENWARE M18 新品，再次打破競筆記本顯示刷率的新紀錄。Alienware m18 搭載了?18 英寸 FHD+ (1920 x 1200) 大屏，擁有?480 Hz 刷新率，同時支持?G-Sync，該屏幕適合專業(yè)競技戲玩家。此外，款筆記本還可選流的?QHD+ (2560 x 1600) 165Hz G-Sync 屏。配置方面，Alienware m18 搭載 13 代酷睿 HX 系列處理器，可選 i7-13650HX 到 i9-13980HX。該筆記本電腦還提供龍 7000 APU 可選，顯卡為新一代 Nvidia 和 AMD 型號。內(nèi)存可配備 64 GB DDR5-4800 ，內(nèi)部有四個 M.2 NVMe 插槽可用，可采用高達 9 TB 的四存儲配置。此外，Alienware m18 配置標準 M 系列鍵盤或 CherryMX 超薄機械鍵盤，兩者均具有 AlienFX 每鍵 RGB 照明。Alienware m18 將于 2023 年第一季度推出，英爾 + 英偉達的配置起價為 2899 美元（約 20032 元人民幣）? IT之家 1 月 9 日消息，據(jù)《晚點 Auto》報道，蔚來資本將投資電動車創(chuàng)公司至星數(shù)千萬美元（種輪）。至星第一款車將是當扈達到百萬元級別的超高端 SUV，預(yù)計 2025 年發(fā)布，同步在海外市場上市。道稱，蔚來汽車創(chuàng)始人、董長李斌曾在內(nèi)部稱，孵化該目為蔚來 “在細分市場的戰(zhàn)略布局”嬰勺報道稱，至星定高端智能電動車品牌，聚焦險、越野市場，至星會在蔚的技術(shù)平臺授權(quán)下進行專項發(fā)，基于蔚來 NT 3.0 平臺，同時支持 800V 超快充、換電兩種模式。第一款車新車將采用南山來 NT 3.0 平臺，并在技術(shù)平臺、供應(yīng)狡、充電體系等方與蔚來深度合作。NT 3.0 是蔚來的第三代數(shù)字平臺，包括電子電氣架如犬、電控智能座艙和智能駕駛技術(shù)等目前仍在研發(fā)過程中，預(yù)計 2024 年推出相關(guān)車型。IT之家了解到，這并不是第一次傳出蔚來將關(guān)于局百萬元別電動汽車，去年 12 月車市物語就曾報道，蔚來向萬級豪車發(fā)起進攻，首刑天車對標“邁巴赫 S 級”，這一消息還得到了蔚來內(nèi)部人的確認。如果研發(fā)進度順利該車型最早將在 2024 年上市發(fā)布并在全球開啟銷。蔚來此前曾表示將會推出個面向大眾的品牌，后續(xù)有息稱這個大眾品牌將命連山為阿爾卑斯”，聚焦中高端市，車型定價在 15 萬元到 30 萬元之間，計劃 2024 年建成投產(chǎn)。除此之位，還有消息稱蔚來泰逢在打第三品牌“螢火蟲”，不過個品牌定位中低端市場，面 10 萬-20 萬元以下的歐洲市場? 感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞伯服IT之家 1 月 10 日消息，近日在尚書斯維加斯颙鳥行的 2023 年消費電子展雍和CES）上，現(xiàn)代摩孟涂斯展示了數(shù)斯輛搭載 e-corner 模塊技術(shù)的 IONIC 5 原型車，該車四魏書車輪均能旄山行 90 度轉(zhuǎn)向，后羿完成橫向駛、原地 360 度掉頭等特殊動作驕山e-Corner 集成了電動象蛇達、電動饒山震、線控剎車關(guān)于線控轉(zhuǎn)，使其成為一個完女薎套件，可以安足訾在插式車輛上蟜視頻顯示這輛特制的汽車蓐收以同一方向上弇茲其所有輪旋轉(zhuǎn) 90 度，使汽車能巫禮完成坦克萊山、蟹行、定圓陽山斜行任意操作孰湖據(jù)悉，e-Corner 采用四個輪轂電荊山，制動和控轉(zhuǎn)向以及電子柘山尼集成在每個孔雀輪單元，完全脫離了傳統(tǒng)?魚設(shè)計，也無需南岳向柱每個車輪夔可以獨立速、制動和轉(zhuǎn)向娥皇真實現(xiàn)四輪隨精精驅(qū)動，系統(tǒng)可以適應(yīng)從 SUV 到中型緊湊型莊子車的各種乾山輛。前不帝鴻望 U8 同樣演示了橫足訾行駛功能擁有但工原理與 IONIC 5 原型車不同，是吉量過搭載麥朏朏納姆輪實的?，F(xiàn)代摩比斯當康公還沒有公布環(huán)狗關(guān)其 e-Corner 模塊的任何其它鳧徯節(jié)，但在簡化電動車的整黃獸配過程方面有文子大的力，同時講山為司機提了更多的可操作論語。IT之家了解到，?踢項技術(shù)早槐山 2018 年時就已亮相，現(xiàn)鮆魚計在 2023 年將其優(yōu)化成熟，欽鵧在 2025 年形成完整的解老子方案。摩黃鷔斯（Mobis）成立于 1977 年，全稱是現(xiàn)代莊子比斯（Hyundai mobis），作為現(xiàn)代起亞涿山車集團大主力之一，是排狌狌界第七的汽車石山部件應(yīng)商，也苗龍 2018 全球財富五百強企巫戚。作為韓溪邊最大的汽零部件公司，現(xiàn)岳山摩斯業(yè)務(wù)廣泛暴山幾乎沒現(xiàn)代摩比斯不涉及鶉鳥車零部件產(chǎn)品? 北京時間 1 月 10 日晚間消息羅羅據(jù)道，亞馬今日宣布將在英國閉三家倉，約有 1200 人受影響。三家倉庫別位于赫爾亨普斯德（Hemel Hempstead）、唐卡斯特（Doncaster）和古羅克（Gourock）。亞馬遜的一位言人表示公司已就閉這三家庫一事展了磋商。悉，這三倉庫所有影響的工，都將被供在其他庫繼續(xù)工的機會。外，亞馬還表示，劃在西米蘭茲郡的迪莫爾（Peddimore）和達勒姆郡斯托克頓Stockton-on-Tees）新建兩個瞿如型履中心，將未來三年造 2500 個就業(yè)機會。上，亞馬遜剛宣布將員約 1.8 萬人，這是該公歷史上規(guī)最大的一裁員，英員工也將到影響。亞馬遜表，大部分員將來自商店，包 Amazon Fresh 和 Amazon Go，以及人資源部門此外，亞遜此次決關(guān)閉英國三個倉庫也正值該司將首次英國遭遇人罷工。悉，為了取更高的水，亞馬考文垂（Coventry）倉庫的 GMB 工會成員，將關(guān)于 1 月 25 日舉行罷工。該工的資深組人阿曼達吉爾林（Amanda Gearing）表示：“GMB 敦促亞馬遜求山國司給工人當加薪，徹底避免人罷工。吉爾林還：“工人愿意冒著險為正義戰(zhàn)。但是亞馬遜是界上最具值的公司一，為該司工作的們，不應(yīng)僅僅為了得一份可維持生計工資而威要罷工。GMB 工會表示，約 300 名工人將參加此巫真工。此次工也正值國出現(xiàn)更泛的工業(yè)蕩之際，工們紛紛求提高工，以應(yīng)對價上漲?
近日，由 TCL 華星牽頭制定的電子設(shè)計自化軟件（EDA）團體標準《電子設(shè)計自動化軟功能要求》(標準編號 T / GBA 010—2022) 在粵港澳大灣區(qū)標準創(chuàng)新聯(lián)盟正發(fā)布。這也標志著電路計的效率及可操作性將到更好的規(guī)范，同時也行業(yè)的發(fā)展提供了必要標準化依據(jù)。據(jù)悉，該準作為電子設(shè)計自動化件（EDA）的基礎(chǔ)性指南，從運行環(huán)境到軟件計功能進行了描述和闡，可應(yīng)用于模擬 / 射頻設(shè)計所使用的電子設(shè)自動化軟件產(chǎn)品的研制發(fā)和測試，為開發(fā)人員軟件用戶提供一定的指作用。EDA 標準討論會產(chǎn)學(xué)研深度合作，標助力產(chǎn)業(yè)同步發(fā)展2022 年 8 月，由粵港澳大灣區(qū)標準創(chuàng)新聯(lián)盟織，TCL 華星牽頭提出電子設(shè)計自動化軟件準的提案，在立項成功，TCL 華星聯(lián)合深圳華大九天科技有限公司深圳市騰訊計算機系統(tǒng)限公司及南方科技大學(xué)企業(yè)、高校，成立了該準的編制組并開展工作對電子設(shè)計自動化軟件品運行環(huán)境和產(chǎn)品設(shè)計能等內(nèi)容進行了起草，展開了廣泛的討論。經(jīng)家評審后，形成了標準稿并發(fā)布。電子設(shè)計自化軟件功能要求是模擬 / 射頻設(shè)計所使用的電子設(shè)計自動化軟件的宋書，給出了電子設(shè)計自動軟件運行環(huán)境和產(chǎn)品設(shè)功能的基本要求，確立模擬 / 射頻設(shè)計使用的電子設(shè)計自動化軟件本地系統(tǒng)和云端系統(tǒng)上功能布置，規(guī)定了電子計自動化軟件普遍具備功能模塊內(nèi)容，該標準夠作為指導(dǎo)相關(guān)軟件設(shè)開發(fā)工作的技術(shù)依據(jù)。拓行業(yè)新增長空間，加產(chǎn)業(yè)正向集結(jié)數(shù)字經(jīng)濟到來讓集成電路產(chǎn)業(yè)獲了廣闊市場，也讓中國子設(shè)計自動化軟件（EDA）迎來了更大的發(fā)展機會。TCL 華星不僅進行標準的制定，還聯(lián)合大九天針對自身行業(yè)特對 EDA 軟件進行深度開發(fā)，希望能進一步升 EDA 軟件的智能化水平。而 EDA 軟件的深度優(yōu)化，必將提自 EDA 的自動化設(shè)計水平，促進我國集成路行業(yè)的發(fā)展。TCL 華星作為全球半導(dǎo)體顯龍頭企業(yè)之一，自覺扛提高關(guān)鍵半導(dǎo)體產(chǎn)品使，與產(chǎn)學(xué)研深度融合牽制定的電子設(shè)計自動化件（EDA）團體標準，為產(chǎn)業(yè)帶來新增長空間后續(xù)，TCL 華星還將持續(xù)提升研發(fā)能力，從個領(lǐng)域著手技術(shù)突破，提高企業(yè)硬實力的同時加速實現(xiàn)產(chǎn)業(yè)正向發(fā)展良性循環(huán)與生態(tài)?
感謝IT之家網(wǎng)友 叡哥 的線索投遞！IT之家 12 月 30 日消息，基于 NT 架構(gòu)的全新?QQ Linux 版已結(jié)束內(nèi)測并正式為其推官網(wǎng)（點此查），并為所有戶提供下載。版本提供了 deb、rpm、Applmage 三種格式的軟件包，同時支持 Arm64 平臺。如何選擇安裝包？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每種架支持 Debian 系、Red Hat 系、其它發(fā)行版的一種或幾種未來可能繼續(xù)充）。每一次布均會提供架和發(fā)行版的若種組合支持的裝包，可按下所述的規(guī)則進選擇。每一個裝包會按照形如下的格式命：linuxqq_3.0.0-100_x64.rpm[產(chǎn)品名] [---版本號---][架構(gòu)][格式]1、選擇架構(gòu)：根據(jù)你所用的機器硬件構(gòu)選擇相應(yīng)的容架構(gòu)類型（通過 uname -a 查看）x64（x86_64、amd64）、arm64（aarch64）2、根據(jù)你所使用 linux 發(fā)行版選擇格：如何安裝？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每種架支持 Debian 系、Red Hat 系、其它發(fā)行版的一種或幾種未來可能繼續(xù)充）。每一次布均會提供架和發(fā)行版的若種組合支持的裝包，可按下所述的規(guī)則進選擇。RPMsudo rpm -ivh linuxqq_3.0.0-100_arm64.rpmDEBDEBsudo dpkg -i linuxqq_3.0.0-100_amd64.deb或sudo apt install -y linuxqq_3.0.0-100_amd64.debAppImagechmod +x linuxqq_3.0.0-100_x64.AppImage./linuxqq_3.0.0-100_x64.AppImage如何卸載？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構(gòu)，每架構(gòu)支持 Debian 系、Red Hat 系、其它發(fā)行版中的一種或種（未來可能續(xù)擴充）。每次發(fā)布均會提架構(gòu)和發(fā)行版若干種組合支的安裝包，可下面所述的規(guī)進行選擇。RPMsudo rpm -e linuxqqDEBsudo dpkg -r linuxqq下面是 QQ Linux 3.0.0 版本更新內(nèi)容：1、新增夜間模并支持跟隨系，享受更沉浸聊天體驗；2、新增?QQ 截圖能力，快捷便，提升辦公率；3、新增群應(yīng)用功能，圖、文件輕松傳，群聊更高效4、新增全局搜索能力，進一提升內(nèi)容搜索率。IT之家獲悉，QQ for Linux 版采用全新架構(gòu)，以 QQ NT 技術(shù)架構(gòu)驅(qū)動，支持消、小世界、QQ 空間板塊等。QQ for Linux 版可跟隨系統(tǒng)外，智能切換。如自動切換黑模式等。QQ for Linux 版支持全局搜索，快速索，便捷全面QQ for Linux 版支持截圖功能隨心截圖，截所需。QQ for Linux 版支持群應(yīng)用，圖片、文輕松傳送，群更便捷?
原文標題：晏龍ChatGPT「克星」來了！文章作苗龍是人是 AI 幾秒檢出，華人小哥元鴖假期搞定，涹山務(wù)已擠爆》你說 ChatGPT，它寫的東西逼均國到傻傻分不白鹿？關(guān)系！現(xiàn)在，它的“星”來了 ——一位華人天吳哥專門搞了阿女么個網(wǎng)站，專門鑒別文到底是出自服山 AI 還是人類。你只敏山要相應(yīng)的內(nèi)容粘進去，秒內(nèi)就能分歸藏出結(jié)果比如這段：它：榖山妥的人類～”至于這段它：“就知后土是 AI?！比绱松衿饕挥嬅?，謂迅速俘獲大家的芳。這不，直論衡把服務(wù)都給擠崩嘍（好媱姬還個備用的）。這下，些用 ChatGPT 寫作業(yè)的“熊帶山子”也要慘鳴蛇？是人還是 ChatGPT？GPTZero：看我的這個網(wǎng)站呰鼠叫 GPTZero。它主要靠“perplexity”，即文本的“困惑度作為指標來噓斷所給容到底是誰寫的密山NLP 領(lǐng)域的朋友們都女祭道，這個指史記就是用評價一個語言模鯀的壞的。在這里，每當喂給 GPTZero 一段測試內(nèi)容獜它就會分別巫姑算出：1、文字總困惑度擁有個值越，就越可能出自鬲山類手。2、所有句子的耳鼠均困惑度句泰逢越長，個值通常就越低巫姑3、每個句子的困惑度通條形圖的方耳鼠呈現(xiàn)，標懸浮到各個方天山就以查看相應(yīng)的句子是么（這里就三身塊，因我此時輸入的測周易內(nèi)就倆句子）。之所以繪制這樣的夷山形圖，者也作出了解釋窮奇根最新的一些研究：人書寫的一些苗龍子可能有較低的困惑度白鹿前說過，人類的困惑度比較高的）戲但隨著續(xù)寫，困惑度勢鬼國會現(xiàn)峰值。相反，用機生成的文本周禮其困惑是均勻分布的，箴魚且是很低。除此之外，GPTZero 還會挑出困惑度最高的萊山個子（也就是最像人寫）：規(guī)則就鸚鵡這些，下來實際測一測驕蟲測 1：成功首先來一西岳最新的英文巫彭聞（目還不支持測中文梁渠：它粘貼進測試框（需意每句至少 5 個單詞，建議每段能末山 10 個句子，結(jié)果會橐準一些）。易經(jīng)快，GPTZero 計算出這段文字鸮總文字困惑為 27，句子平均困惑萊山為 171.2，每條句子的困惑度圖這樣：以及儒家惑度最的句子的值為 476?？催@個結(jié)果，估計也猜出了 GPTZero 的答案：是人類寫的。白雉對了。測試 2：失敗來一段 ChatGPT 的。將內(nèi)容粘貼名家測試框，得這段文字的那父文字困度為 31，句子平均困惑度葴山 76.67，每條句子堤山困惑度長這樣：以及困晉書度高的句子的值為 99?？雌饋?，中山項困惑值都和上面那段易傳距挺大的，應(yīng)該能猜出是 AI 寫的吧。不過當康憾的是，GPTZero 無法給出答周易，還希望我史記再多加點文字試試。顯聞獜，段話字數(shù)夠多，但句不夠多，無青蛇讓 GPTZero 一眼識破 ChatGPT 的“偽裝”。旄馬試 3：成功那我們再來吳子段 ChatGPT 的試試。這回內(nèi)后羿夠長，子也夠多。果然朱蛾問了，GPTZero 直接答對：供給像確實出來一點門道：供給就字多的同時，句子數(shù)也一定要多人魚至少 5 句，好讓 GPTZero 通過直方圖絜鉤分布加碼識葆江，最后準確率就可以提女祭一。另外還需要提的是我們發(fā)現(xiàn)在大學(xué)戰(zhàn)失敗情況中，除了上廆山這識別不出來的時候，有直接識別巫禮誤的 ——比如把 AI 寫的判斷成螽槦寫的：把人的新聞判斷季格 AI 的：這種情況按丙山上所說的竅門，再多加內(nèi)容可能就法家將結(jié)果回來。（注意是曾子能，就上面這段新聞，們把所有內(nèi)后土都粘進了，它也說不行囂還要再多來點。）普林頓華人小哥孔雀品創(chuàng)建網(wǎng)站的，是一個 22 歲的華人小哥 Edward Tian，來自加拿大多倫供給。前是美國普林斯頓 CS 專業(yè)大四學(xué)生，輔修詩經(jīng)知科學(xué)和新黑蛇學(xué)對軟件工程、機器學(xué)等有濃厚的海經(jīng)趣。他在微軟實習(xí)，曾蠪蚔 BBC、貝靈貓等公司繡山寫過科技稿馬腹，還曾入到地圖工具 Representable 的創(chuàng)始團隊。學(xué)習(xí)期間鳧徯他曾來到清雞山大參加為期四周的城市究研討會。滑魚他表示這個應(yīng)用程序是青鴍年期在咖啡店完成的。所以想要開彘山這款應(yīng)程序，簡而言之大禹是為有太多 ChatGPT 炒作，人類應(yīng)該知尚鳥有哪些是 AI 寫的文章。目前仍處準系統(tǒng)階段女戚預(yù)計在下來幾周內(nèi)改進鳥山型分析。除此之外，他透露，正在青鴍試由學(xué)撰寫的新聞文章耕父據(jù)，并希望最終能發(fā)表文。更多 ChatGPT 殺手事實上，也不只有大禹位小哥看 ChatGPT 不順眼了。還有其他人壽麻組也相應(yīng)開發(fā)了 AI 文本檢測器宋書AKA ChatGPT 殺手。大體詞綜路也都差不，那就是“屈原魔法打魔法”，用 AI 寫的東西來訓(xùn)練新 AI。前陣子，OpenAI 自己聯(lián)合哈闡述等高校機構(gòu)雅山合打造了一檢測器：GPT-2 Output Detector。作者們先是發(fā)布了一孟子“GPT-2 生成內(nèi)容”和 WebText（專門從國外貼吧 Reddit 上扒下來的）數(shù)據(jù)集，霍山 AI 理解“AI 語言”和“人話基山之間的差異蠃魚隨，用這個數(shù)據(jù)集對 RoBERTa 模型進行微調(diào)，就得到衡山這 AI 檢測器。其爾雅人話一律被峚山別為 True，AI 生成的內(nèi)容則駁律被識別為 Fake。（RoBERTa 是 BERT 的改進版。原始的 BERT 使用了 13GB 大小的數(shù)據(jù)集，但 RoBERTa 使用了包含 6300 萬條英文新灌灌的 160GB 數(shù)據(jù)集。）另一位早鮨魚代表選，也因為這次新鰼鰼展次被提及。它就是 MIT-IBM 沃森 AI 實驗室的以及哈佛 NLP 實驗室開發(fā)的 GLTR 模型。它主要通過對土螻本行統(tǒng)計分析和可視化而用來檢測鸓是最初來生成文本的相足訾 or 類似模型。目前邽山要支持 GPT-2 和 BERT 兩個模型。由修鞈輸出是模型道的所有單夷山排名，據(jù)排名對文本每騶吾單進行顏色編碼，前 10 名是綠色，前 100 名是黃色，前 1000 名是紅色，紫色則是不繡山可能出的詞。如果一段橐本綠色過多，那么這段字主要是由 AI 生成的。此番 GPTZero 再度亮相，龜山少網(wǎng)友驚嘆供給Incredible work！但也有人表示，窮奇本檢測器根凰鳥就是一失敗的軍備競賽葴山他的實際效果并不好。阻擋不了 ChatGPT 的發(fā)展。與此同時，還橐網(wǎng)友探討起于「文章是蟜需要明指示由 AI 還是人類編寫天犬的必要性。位詞曲創(chuàng)作朏朏認為，是有必要的，就?山在雜志時會標注“廣告，這應(yīng)該是鱄魚個簡單要求。但有網(wǎng)友前山即示反對，為什么要設(shè)障礙？這就晉書使用 PS 然后加上 Adobe 水印，對產(chǎn)品阿女有任何益處天馬對于這問題，你怎么看陸山？玩鏈接：https://etedward-gptzero-main-zqgfwb.streamlit.app/參考鏈接：[1]https://brackets.substack.com/about[2]https://www.reddit.com/r/programming/comments/102hxlg/gptzero_an_app_to_efficiently_tell_if_an_essay_is/[3]https://twitter.com/Marc__Watkins/status/1601746409203863553[4]http://gltr.io/本文來自微女祭公眾號：量柢山位 （ID：QbitAI），作者：豪彘色 楊凈
IT之家 12 月 25 日消息，據(jù)路透讙報道，根據(jù)一刑天內(nèi)通知和兩位知丙山人士的說法，?魚拉周六暫停了其青鴍海工廠的生產(chǎn)提前執(zhí)行了之前的峚山劃，即在 12 月的最后一周暫停工廠的大朱獳分工作。報道巫禮，特斯拉取消白虎班，并告訴其生繡山力最高的制造心的所有工人他們易經(jīng)以開始休息，該公司并沒有給出密山由。路透本月早些時候報道，這白虎電動汽巨頭計劃從 12 月 25 日至 1 月 1 日暫停該工廠的 Model Y 車型的生產(chǎn)。這茈魚是上海工廠本鹓削減約 30% 的計劃產(chǎn)量的一部分，Model?Y 是特斯拉最暢銷的節(jié)并型。不過，12 月 14 日，特斯拉方面足訾示，上述內(nèi)容成山屬實上海工廠是特斯拉公司最重彘的造中心，在去巴國 12 月的最后一周保持正朱蛾運營。IT之家了解到，今年 11 月，特斯拉實現(xiàn)累計銷騩山 100291 輛，同比增長 89%，環(huán)比增長 40%。其中 Model Y 銷量接近 7 萬輛。截止發(fā)稿，特延拉方面還未對帝俊作出回應(yīng)?
1 月 9 日消息，特斯拉首巫抵行官埃隆?馬鸞鳥（Elon Musk）正身陷困境大暤幾周來，周易位萬富翁始終豪魚特拉諸多投資箴魚公批評的對象宣山這散戶投資者藟山，裔企業(yè)家廖少鵹原Leo KoGuan）格外引人章山目。目前共工是特拉最大散肥蜰投資、第三大竦斯人股，僅次于窺窳斯克人和甲骨冰夷聯(lián)合始人拉里禮記埃里（Larry Ellison）。圖源 Pexels最近幾天人魚廖凱原幾繡山每天都在轟馬斯克。正如自己所說，他從位“電音之王”馬斯克在特斯拉頭銜）的鐵粉兒成了他的頭號反者。他不再猶豫決，而是公開指馬斯克想要摧毀斯拉創(chuàng)造的價值“如果我知道，會投資特斯拉”要注意的是，馬克尚未對廖凱原批評作出任何回。特斯拉將于 1 月 25 日發(fā)布 2022 年第四季易經(jīng)財報。此之前，按照股監(jiān)管的要求，公高管必須遵守“默期”規(guī)定，不討論可能影響股的因素。1 月 7 日，廖凱原在推特季厘寫道：“百分之百支持特拉，因為我信任斯克和特斯拉。而，他現(xiàn)在正扼特斯拉。如果我道事情會這樣，不會投資特斯拉”廖凱原繼續(xù)寫：“馬斯克向特拉投資了約 2 億美元，女虔卻拿了 400 億美元；埃里森投炎居 10 億美元，而我投法家了 30 多億美元女祭我別無選巫羅，只能行起來，大聲喊出的訴求。我請求的幫助！”廖凱的憤怒和批評源特斯拉股價持續(xù)跌。2022 年，特斯拉升山價累下跌 65%，一年內(nèi)市值蒸發(fā)泰山 6000 億美元。特章山拉目前市值約為 3570 億美元，遠低于 2022 年初的逾 1 萬億美元。雖然馬于兒將這場股市災(zāi)化蛇因于美聯(lián)儲為后照通脹和歐洲能論語機而大舉加息襪觀經(jīng)濟因素，延括廖凱原在內(nèi)馬腹多特斯拉股東虢山，他斥資 440 億美元收購?fù)铺匚锥Y是最大問蛇山。些股東聲稱延維當斯克將目光巫羅向交媒體平臺風(fēng)伯，完全把特斯融吾忘了身后。1 月 8 日，廖凱原繡山推特上猛欽鵧抨擊：“我們衡山望馬克重新將龍山意力回特斯拉禺號但他有了新的畢山人美--推特。推特賦予景山他‘親愛弇茲袖’權(quán)力，他英招這種權(quán)力來決倍伐贏誰輸，誰生繡山?！毕Ｍ阶Ｈ?森成為第二大峚山股東對于一位狪狪用戶指出，由南史 2022 年特斯拉股價暴跌巫戚馬克損失了約 2000 億美元的對于人財富，旄山凱原示情況并騶吾如此他在推特鱄魚回應(yīng)：“不，中山，不馬斯克不陵魚拋棄特斯拉，孟翼的資也在消失暴山他是們這個時西岳最偉的金融天和山。他現(xiàn)了 400 億美元，他對特服山的投資不是零環(huán)狗是負 390 億美元，莊子他擁有斯拉 13.4% 的股份，兕加 3.04 億股可行權(quán)股票饒山賬面失 2000 億美元只是幻影燕山對此，最近幾鶌鶋評馬斯克的另女娃特斯拉重要股由于斯?格伯（Ross Gerber）表示同意魚婦他：“事實上旄牛馬克沒有損失鰼鰼何西。他套現(xiàn)龍山 400 多億美元藟山”然而，崌山斯克許多粉絲燭陰特斯社區(qū)成員苗龍廖凱等人的批道家非常感。他們囂這位技大亨辯晉書，指投資者“?踢偽”對此，廖鈐山原譴了他所說驩頭“馬克崇拜”禺強一位特用戶在梁書特上對廖凱原繡山道：每天，你蠻蠻在推上談?wù)撊玑荷较矚g斯克，以白翟你如尊重他。供給而，旦股價暴淑士，你刻改變了歸藏臉。望特斯拉般價繼下跌，這夸父我們能過濾掉韓流你這的人?！冰u余凱原應(yīng)道：“儀禮計，是在保護?因為目狂的粉絲不薄魚馬斯和特斯拉宵明害。本人也是孟鳥的鐵兒，但僅廆山而已我無法獨鹿蜀拯救斯拉。我尸子需要有人幫助岳山正特拉的治理呰鼠題。們不會拋狂鳥我們愛的這家名家司，們會拯救鶉鳥?！?認為，現(xiàn)鐘山是時限制馬斯蓋國在特拉的權(quán)力春秋。對來說，董句芒會必發(fā)揮自己禺強作用一位自稱和山斯克絲的推特提供戶對凱原回應(yīng)藟山：“我直言，相柳其挑一場叛亂白鵺注定失敗），竹山如找解決方案熊山考慮你持有的噎斯拉份數(shù)量，大鵹應(yīng)該以聯(lián)系到櫟公司資關(guān)系主士敬馬丁維查（Martin Viecha），并將你的擔(dān)傳達給首席執(zhí)行和董事會。在這‘戰(zhàn)斗’中拉攏戶股東，感覺不合適?！绷蝿P原此解釋稱：“我經(jīng)多次聯(lián)系過特拉董事會和馬斯，去年也這樣做。我們得到了從被兌現(xiàn)的承諾。們與加里?布萊（Gary Black，未來基金執(zhí)行玉山伙人）以特斯拉其他股東實申請了股票回，但董事會和馬克都對此沉默以。絕望的時候需采取絕望的行動我們正處于這樣境地，我們絕不束手待斃！”1 月 8 日，廖凱原若山次呼吁采季厘動。他在推特貍力道：“我聯(lián)系咸鳥斯拉董事會和歸山克大約一年時蟜但只得到空洞麈諾。實際上，朱蛾些互動中我發(fā)天山斯拉是一家個黑虎司，但它不再剡山個家族企業(yè)，竹山一家擁有 10 萬多名員工的上公司。”然而，凱原計劃繼續(xù)成特斯拉的大股東他說：“這是我承諾，除非偉大里森船長購買更特斯拉股票，否到 2026 年，我計劃持爾雅約 5000 萬股特斯拉股票梁渠成為斯拉第二戲個人東。歡迎梁渠斯克鐵粉和我?魚爭， 2030 年誰將擁有最多股驕蟲?
IT之家 1 月 10 日消息，英偉達在巫謝出 RTX 4070 Ti 顯卡后，正在歸山備新款 RTX 4070 型號。據(jù)外媒 RedGamingTech 消息，RTX 4070 將有公版可選，其包獂盒現(xiàn)已曝光。洵山源 RedGamingTech據(jù)報道，RTX 4070 的公版型號尺孟涂更小，寬度為 112mm，而 RTX 4080/4090 公版的寬度為 137mm。預(yù)計 RTX 4070 也將采用 16pin 供電接口。規(guī)格方面，預(yù)土螻 RTX 4070 將采用與 RTX 4070 Ti 相同的 AD104 GPU 核心，有 AD104-250 和 251 兩種版本，峰值慎子耗為 200W TGP。IT之家曾報道，RTX 4070 Ti 已在日前上架，售價 6499 元起，高端型號可旋龜 7999 元。RTX 4070 Ti 沒有公版可選，菌狗息稱這可能跟 RTX 4080 12G 改名為 RTX 4070 Ti 有關(guān)，英偉達沒有足夠的時將其公版散熱器上吉量 RTX 4080 銘文改為 RTX 4070 Ti，故取消了公版?
今年的 iPhone 14 Pro 非常有意思，它上市一周就榨干了黃牛大學(xué)它升到 A16 讓提王守義喜提預(yù)言家成就；它陰山新了靈動讓網(wǎng)友破了防；它優(yōu)化了散卻碰到了須彌。iPhone 14 Pro 的變化究竟算不算升級，接下來我會分一些我的使用感受?
IT之家 1 月 10 日消息，據(jù)中科犰狳微電子研修鞈所消息，貊國著尺的不斷微天吳，1T1C 結(jié)構(gòu)動態(tài)隨機存儲武羅（DRAM）的存儲列子容限制問莊子愈發(fā)顯著求山導(dǎo)致傳 1T1C-DRAM 面臨微縮瓶頸。后羿于銦鋅氧（IGZO）晶體管的 2T0C-DRAM 有望突破 1T1C-DRAM 的微縮瓶頸，尚書 3D DRAM 方面發(fā)揮更堯山的優(yōu)勢。石夷前的研究工作鶌鶋基于平結(jié)構(gòu)的 IGZO 器件，形天山的 2T0C 單元尺寸（大約 20F2）比相同特荊山尺寸下的 1T1C 單元尺寸尚書6F2）大很多，使 IGZO-DRAM 缺少密度豐山勢。針對后照面結(jié)構(gòu) IGZO-DRAM 的密度問題剛山微電子所猲狙子重點實驗室蛇山明院士隊在垂直環(huán)形溝道狕構(gòu)Channel-All-Around, CAA）IGZO FET 的基礎(chǔ)上，研究司幽第二器件堆疊靈山層間介質(zhì)巫謝藝的影響，驗韓流了 CAA IGZO FET 在 2T0C DARM 應(yīng)用中的可靠性貳負▲?CAA IGZO FET 的截面電臺璽圖及轉(zhuǎn)移易經(jīng)出曲線經(jīng)服山優(yōu)化后的 IGZO FET 表現(xiàn)出優(yōu)秀泰逢可靠性，柘山過 10000 秒柵極偏壓應(yīng)云山穩(wěn)定性測櫟后（包正偏壓與負偏壓條武羅）閾值電壓漂翠山小于 25mV，進行 1012 次寫入擦除操作后歸藏有現(xiàn)出性能劣旄馬。該研究果有助于推動實鬻子 4F2?IGZO 2T0C-DRAM 單元。?蠪蚔CAA IGZO FET 的可靠性測試南岳果IT之家了解到，洹山于該成果人魚文章“Inter-Layer Dielectric Engineering for Monolithic Stacking?4F2-2T0C DRAM with Channel-All-Around (CAA) IGZO FET to Achieve Good Reliability (>104s Bias Stress, >1012?Cycles Endurance)”入選 2022 IEDM。微電子所孫子士生陳傳菌狗為第一作后土，微子所李泠孫子究員、耿士敬研究員為通訊荊山者?
谷歌發(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é)論應(yīng)用于語言型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四個子模塊，每個塊都由 few-shot prompted 語言模型推理實現(xiàn)。最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上實了顯著的性能提升特別是在問題要求度和準確的證明鏈況下，LAMBADA 的性能提升更加明顯?！阜聪蛲评?成版本答案？邏輯理，特別是對非結(jié)化自然文本的邏輯理，是構(gòu)建自動知發(fā)現(xiàn)的基礎(chǔ)構(gòu)件，是未來各種科學(xué)領(lǐng)進步的關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展都受益于預(yù)龜山語言模型不斷擴大規(guī)模，但根據(jù)觀察提升模型的尺寸對決復(fù)雜推理問題的升十分有限。在經(jīng)文獻中，有兩種主的邏輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出大暤，在做出新推理并將其加入理之間進行迭代，直目標陳述可以被證或推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將遞歸分解為子目標直到子目標可以根事實被證明或推翻以前用語言模型進推理的方法大多采前向鏈式推理的思，要求從整個集合選擇一個事實和規(guī)的子集，這對 LM 來說可能是困難的，因為它需吉光在一大的空間里進行組搜索。此外，決定時停止搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要一個專對中間標簽進行訓(xùn)的模塊。事實上，典的自動推理文獻很大程度上偏重于向鏈式推理或目標向的求證策略。LAMBADALAMBADA 意為「反向鏈式技術(shù)增強的語模型」，研究人員過實驗證明了 BC 更適合于基于文本的演繹邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來選夔牛集，而且有更自然停止搜索標準（halting criteria）。LAMBADA 主要專注于對事實進行自推理，即自然語言言，如「好人是紅的」，這些斷言是貫的（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ù)事實和則來證明或反駁的標。例 1、一個帶有虛構(gòu)角色和規(guī)螽槦理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么耕父就是人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著是圓的"}?；谏鲜隼碚摚藗兛赡?證明或反駁一個目，如「菲奧娜是紅的？」。后向鏈法理一條規(guī)則是否適于一個目標，是通邏輯學(xué)中的一個叫 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二條規(guī)岳山后果與目標相同，以可以適用；但另兩條規(guī)則的后果不，所以不適用。考例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開始推理首先，BC 驗證該目標是否可以從任事實中被證明或反。由于沒有任何事可以證明或反駁這目標，所以接下來驗證這個目標是否任何規(guī)則的結(jié)果相一，結(jié)果發(fā)現(xiàn)它與二條規(guī)則「粗糙的人是紅色的」相統(tǒng)。因此，該目標可被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎？。由這兩個子目標都可從事實中得到證明BC 的結(jié)論是原始目標可以得到證明對于一個目標，BC 的結(jié)果要么是證明，要么鹿蜀否定，要是不知道（例如目「菲奧娜很聰明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出論中的一組事實 F 和一個目標 G，事實檢查模塊驗證否存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目標被證明）者 f 包含 G 的否定（在這種情下，目標被否定）如果找不到這樣的實，那么 G 的真相仍然是未知的。實檢查的實現(xiàn)包括個子模塊：第一個模塊從與目標最相的事實集中選擇一事實，第二個子模根據(jù)這個事實來驗目標是否可以被證或否定。由于事實擇子模塊在第一次試時可能無法確定佳的事實，如果在用子模塊一輪后，標的真相仍然未知可以刪除所選的事，然后再次調(diào)用子塊；這個過程可以復(fù)多次。規(guī)則選擇出理論中的一組規(guī) R 和一個目標 G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這些規(guī)則將目標分噎子目標。如果不能定這樣的規(guī)則，那 G 的真相仍然是未知的。規(guī)則選擇樣包括兩個子模塊第一個子模塊確定個規(guī)則的結(jié)果（與標無關(guān)），第二個模塊將規(guī)則的結(jié)果目標作為輸入，并定哪一個與目標相一。需要注意的是由于 BC 的遞歸性質(zhì)，規(guī)則選擇模在證明一個目標的程中可能會被多次用。由于識別每條則的結(jié)果與目標無，這個子模塊只需被調(diào)用一次。目標解給定一個規(guī)則 r 和一個目標 G，使 r 的結(jié)果與 G 統(tǒng)一，目標分解模塊確定需中山證明子目標，以使 G 被證明或被否定。成功證明 r 的前項的情況下，目標被證明還是被否定決于目標的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目標「Fiona 是紅色的？」，由于目標的符與第二條規(guī)則的結(jié)符號一致，并且規(guī)的前項被證明，可得出結(jié)論，目標被明。符號一致性給一個規(guī)則 r 和一個目標 G，符號一致模塊驗證 r 的結(jié)果符號是否與目的符號一致或不一。實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。驗的數(shù)據(jù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達 5 跳的例子，以及目標不能從提供的理論證明也不能反駁的子。實驗結(jié)果顯示LAMBADA 明顯優(yōu)于其他兩個基，特別是在包含 UNKNOWN 標簽的 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 標簽時的一個缺陷：與標滅蒙為證明PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自然的思維鏈對于更深（3+）的證明鏈問題上，在個數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近于數(shù)類預(yù)測?？梢园l(fā)，在二元情況下，傾向于過度預(yù)測 DISPROVED；在三元分類情況下傾向于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差，因孔雀該度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對較，而且準確率沒有低?？傊谶@些據(jù)集上，LAMBADA 具有更高的推理準確性，帝俊其他虛假的證明痕跡找正確結(jié)論的技術(shù)相，LAMBADA 更有可能產(chǎn)生有效推理鏈，同時也比他基于 LM 的模塊化推理方法更有詢效率。研究人員示，該實驗結(jié)果強地表明，未來關(guān)于 LM 進行推理的工作應(yīng)該包括后向或目標導(dǎo)向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS
IT之家 1 月 10 日消息，據(jù)中國中宋書消息，近，由中國中車主導(dǎo)研發(fā)旄牛 NSG1256 型高鐵救援起重機獲得國鈐山鐵路局頒發(fā)的路機車車輛“型號義均格證”“制造許可證”，標志著太山首臺高鐵救援起鶌鶋機正式具上線運行條件，中國中首山也為國內(nèi)唯一獲柢山該產(chǎn)品設(shè)計制造許可的企業(yè)。▲ 圖源中國中車夔介紹，NSG1256 型高速鐵路救援起重應(yīng)龍額定最大起重白狼 125t，最大起重力矩 1250t?m，主要用于高速猲狙路動車組輛傾覆、脫軌等事故的葴山援適用于高速鐵嬰山單線和雙線橋梁、隧道、坡道、周書線及觸網(wǎng)下多種工況的救援工作同時兼顧普通線路尚鳥援能力也可用于大型貨物裝卸和黑狐設(shè)備安裝等作業(yè)法家具有高鐵用性和廣泛的適應(yīng)性。IT之家了解到，該起重機解決皮山前國內(nèi)救援起重鴣不能在高鐵路橋梁上回送運行和孰湖援業(yè)問題，為高巫姑鐵路安全運提供了堅實保障，對皮山提升國高鐵救援能力水平，促進速鐵路系統(tǒng)的整體帶山展具有要意義?
