中國國航將于5月20日開通北京往返多倫多直達航線 "鬼畜啊，能不能讓它再火一次" IT之家 12 月 18 日消息，據(jù)上海中法院消息，日，上海一中依法審結(jié)了一游戲服務(wù)合同紛上訴案，依適用《民法典第 497 條，認定游戲公關(guān)于“如用戶續(xù) 365 天未登錄游戲，司有權(quán)刪除賬”的條款無效2020 年 1 月，小王下載了一款熱門機卡牌游戲。載好后，小王擊進入注冊，面彈出《游戲可及服務(wù)協(xié)議，小王點擊閱并同意，根據(jù)示完成了實名證，綁定好手號。為了更好游戲體驗，小前后充值 4000 余元購買道具等，并達 VIP11 特權(quán)等級。2020 年 5 月初小王想換一個新手機號但試了幾次都能成功。小王客服應(yīng)如何操，客服卻答復暫時不支持解，之后會進一優(yōu)化和改善，歉?！毙⊥踉?App 中翻看，發(fā)現(xiàn)該游戲《客服-常見問題-賬號-如何解綁已經(jīng)綁驕山賬號？》中亦明“為了保證的賬號安全，綁定的第三方號無法更換或除綁定”，“不合理了！”王想起注冊時訂了一份《游許可及服務(wù)協(xié)》，又細細查了協(xié)議條款，然也有不合理處，尤其是第 5.3 條“用戶充分理解堤山意，為高效利服務(wù)器資源，果用戶長期未用游戲賬號登游戲，公司有視需要，在提通知的情況下對該賬號及其號下的游戲數(shù)及相關(guān)信息采刪除等處置措，上述處置可導致用戶對該戲賬號下相關(guān)益的喪失，對本公司不承擔何責任……”王認為，游戲司的這些規(guī)定經(jīng)侵犯了正常戶的合法權(quán)益遂向法院提起訟，請求法院認游戲內(nèi)前述款條款內(nèi)容無，并要求公司小王未綁定其社交賬號的情下，提供游戲號更換和解除機號、微信等定的服務(wù)。對，法院認為，戲公司未提供據(jù)證實其因休賬號管理運營擔過重，而刪用戶賬戶帶來嚴重后果卻顯易見。況且游公司在用戶連一年不登錄游便直接刪除賬，所設(shè)期限不合理，處置方亦缺乏交易之實信用。因此該格式條款對為用戶的小王權(quán)利限制不盡理，故當屬無。而對于小王一項訴請，游公司已在訴訟提供解綁服務(wù)小王亦已實現(xiàn)游戲賬號與手號的解綁。故訴請一審法院需再予支持。審法院遂判決王與游戲公司訂的《游戲許及服務(wù)協(xié)議》第 5.3 條無效，駁回小的其他訴訟請。游戲公司不，向上海一中提起上訴，請駁回小王一審的全部訴訟請。游戲公司認，刪除休眠賬的主要目的是護多數(shù)用戶的益，打擊黑產(chǎn)量注冊的賬戶。該條款是國游戲通用條款合理、合法、規(guī)，并不侵犯何正常用戶的法權(quán)益。IT之家了解到，二法院認定，涉休眠賬號刪除款，超過了必限度，對小王要權(quán)利的限制不合理，屬于民法典》第 497 條規(guī)定的格式條儵魚無效情形。上海一院遂駁回上訴維持原判? IT之家 11 月 10 日消息，京東 11.11 狂促將在今晚 20:00 迎來高潮期，爆款 30 天價保買貴退差，爆品至 24 期免息，晚 8 購機贏 1111 臺“免單”，舊換新至高補 1600 元，1999 元買大牌折疊屏機，點此前往會場。京東 11.11 無門檻紅包?每天 3 次，至高可抽 11111 元：點此抽取。（即抽即）。會場入口機主會場點此機超值清單點手機小時購點運營商補貼會點此限量預約購：京東 Apple iPhone 14 128GB 藍色預約搶購 3999 元直達鏈接京東 Apple iPhone 13 128GB 午夜色預約搶購 2999 元直達鏈接京東三 Galaxy Z Flip3 5G 折疊屏 8GB+256GB 月光香檳預約搶購 1999 元直達鏈接京東 HUAWEI nova 9 Pro 8GB+256GB 亮黑色預約搶購 1999 元直達鏈接京東榮 X30 8GB+256GB 鈦空銀預約搶購 999 元直達鏈接京東 Apple iPhone 14 Pro Max 256GB 暗紫色 PLUS 預約抽簽購 989 元直達鏈接京小米 MIX Fold2 輕薄折疊 12GB+256GB 星耀金 PLUS 預約抽簽購 899 元直達鏈接京東星 Galaxy Z Flip3 5G 折疊屏 8GB+256GB 米色 月光香檳 PLUS 預約抽簽購 529 元直達鏈接京東 HUAWEI Mate 50 RS 保時捷設(shè)計 512GB 墨藍瓷 PLUS 預約抽簽購 12999 元直達鏈接京東 OPPO Find N 全新折疊旗艦 8GB+256GB 星夜 PLUS 預約抽簽購 649 元直達鏈接部分好價單：京東 Apple iPhone 14 128GB 星光色領(lǐng)券減 700 元 5299 元直達鏈接京東 Apple iPhone 14 Plus 128GB 藍色券后 5749 元領(lǐng) 1250 元券京東 Apple iPhone 13 128GB 星光色券后 4599 元領(lǐng) 800 元券京東 Redmi K40S 驍龍 870 亮黑 12GB+256GB1799 元直達鏈接京東小米 12 Pro 天璣版 12GB+256GB 藍色領(lǐng)券再減 3199 元直達鏈接京東小米 12S Ultra 8GB+256GB 經(jīng)典黑湊單疊 PLUS 超級補貼 5399 元直達鏈接京東 Redmi K50 墨羽 8GB+256GB 疊 PLUS 超級補貼券后 1979 元領(lǐng) 200 元券京東 Redmi K50 至尊版 12GB+256GB 雅黑疊 PLUS 超級補貼券后 2779 元領(lǐng) 30 元券京東榮耀 X40 GT 8GB+256GB 競速黑疊 PLUS 超級補貼 1879 元直達鏈接京東榮耀 70 8GB+256GB 墨玉青 2249 元直達鏈接京 HUAWEI Mate 50 Pro 256GB 曜金黑 6799 元直達鏈接京 HUAWEI Pocket S 折疊屏手機 128GB 冰霜銀 5988 元直達鏈接京東 OPPO 一加 Ace Pro 16GB+256GB 黑森疊 PLUS 超級補貼券后 3199 元領(lǐng) 100 元券京東 OPPO Reno8 8GB+128GB 鳶尾紫 24 期免息券后 1969 元領(lǐng) 300 元券京東 OPPO Find N 全新折疊旗艦 8GB+256GB 星夜券后 6499 元領(lǐng) 500 元券京東 realme 真我 GT2 大師探索版 ?12+256GB 硬箱?曠野疊 PLUS 超級補貼券后 3669 元領(lǐng) 100 元券京東 realme 真我 GT Neo3 8GB+256GB 銀石 2399 元直達鏈接京東 vivo X80 12GB+256GB 至黑 24 期免息 4369 元直達鏈接京東 vivo iQOO Neo7 12GB+256GB 幾何黑 12 期免息 2999 元直達鏈接京東 vivo iQOO 10 12GB+256GB 傳奇版 疊 PLUS 超級補貼券后 3479 元領(lǐng) 20 元券京東魅族 18X 8GB+128GB 玄 6 期免息 1499 元直達鏈接京東魅族 18s 8GB+128GB 獨角獸 EVO24 期免息 2599 元直達鏈接京東三星 Galaxy S22 ?8GB+128GB 曜夜黑 6 期免息 3399 元直達鏈接京三星 Galaxy S22+ 8GB+256GB 羽夢白疊 PLUS 超級補貼 5599 元直達鏈接京東三星 Galaxy S22 Ultra 12GB+256GB 曜夜黑疊 PLUS 超級補貼 7199 元直達鏈接京東三 Galaxy Z Flip3 5G 折疊屏 8GB+256GB 綠 夏夜森林疊 PLUS 超級補貼 4999 元直達鏈接京摩托羅拉 moto X30 Pro 12GB+256GB 晴霜白疊 PLUS 超級補貼 3579 元直達鏈接京 nubia 努比亞 Z40Pro 12GB+256GB 星際黑疊 PLUS 超級補貼 2879 元直達鏈接京黑鯊 5 Pro 12GB+256GB 隕石黑 3938 元直達鏈接京東努比亞 紅魔 7S 8GB+128GB 暗夜騎士 12 期免息 3699 元直達鏈接?前往京東 11.11 手機主會場：點前往。? 京東無門檻紅包：此抽?。刻?抽 3 次）??天貓無門檻包：點此抽取每天可抽 1 次）本文用于遞優(yōu)惠信息，省甄選時間，果僅供參考。廣告? IT之家 1 月 5 日消息，國外科技媒 Phoronix 日前在 AMD Radeon 7900XTX 顯卡上，對 Win11 和 Ubuntu? 兩款系統(tǒng)進行了比評測。該媒今天再次分享對比測試報告展示在英偉達 RTX 3080 和 RTX 3090 顯卡上測試 Win11 和 Ubuntu 兩款系統(tǒng)。IT之家了解到本次試平臺配置為Intel Core i9-13900K2x 16GB DDR5-6000 CL36英偉達 RTX 3080英偉達 RTX 3090Solidigm P44 Pro 2TB PCIe 4.0 SSDMicrosoft Windows 11 Pro 22621Ubuntu 22.10 (Linux kernel version 6.2-rc1)本次測試的游戲包括《殺手 3》（Hitman 3）《求生之路 2》（Left 4 Dead 2）《傳送門 2》（Portal 2）《雷神之錘 2》（Quake II RTX）《奇異小隊（Strange Brigade）飛行模擬游戲《X-Plane 12》測試軟件：GravityMark 1.72Unigine Heaven 4.0Unigine Superposition 1.0根據(jù)對比測試結(jié)果，Win11 在游戲方面依然優(yōu)于 Ubuntu。在 RTX 3080 顯卡上 Win11 快 6.5%；在 RTX 3090 上 Win11 的成績要快 8.74%。這個結(jié)果與 AMD 的結(jié)果非常相似，因顯卡越強大，Windows 11 和 Linux 性能之間的差距就越。這意味著 Linux 似乎比 Windows 11 有更高的驅(qū)動開，因為隨著我向 GPU 堆棧的高層移動兩個操作系統(tǒng)間的性能差距斷擴大。相關(guān)讀：《Win11 和 Ubuntu 誰更能激發(fā) AMD Radeon 7900XTX 顯卡的性能？實測告巫真你? IT之家 1 月 11 日消息，據(jù) TheElec 報道，韓國芯片制造商三星和 SK 海力士正計劃采購用于芯生產(chǎn)的硅晶圓，但數(shù)量于最初計劃。消息人士，芯片制造商在第四季的某個時候與各自的晶供應(yīng)商討論了這個問題硅晶圓是從結(jié)晶硅中切出來的。電子產(chǎn)品中使的芯片就是從這些晶圓切割下來的。這些晶圓五家主要供應(yīng)商，包括本的 Shin-Etsu 和 Sumco，臺灣地區(qū)的 GlobalWafers，德國的 Siltronic 和韓國的 SK Siltron。在疫情最嚴重的兩年里，這些晶圓供應(yīng)張，芯片制造商供不應(yīng)。這種情況在 2022 年全球經(jīng)濟開始衰退時仍在繼續(xù)。這是因九鳳硅是后端產(chǎn)業(yè)，消費市場影響來得比前端產(chǎn)業(yè)來晚，前端產(chǎn)業(yè)直接向客銷售產(chǎn)品，受影響更直。IT之家了解到，去年第三季詞綜，當芯片制造首次報告利潤下降時，圓公司的利潤卻出現(xiàn)了長。芯片制造商正在尋比平時更多地減少采購晶圓數(shù)量。消息人士稱晶圓供應(yīng)交易通常是長的，這通常會限制芯片造商調(diào)整購買數(shù)量，但星和 SK 海力士已要求進一步減類供應(yīng)量? 感謝IT之家網(wǎng)友 命運石之門 的線索投遞！IT之家 1 月 11 日消息，vivo 宣布與肯德基合作，推?vivo X90 的“v 我 50”聯(lián)名禮盒，將于明“瘋狂星期四”上。從圖中可以看到該禮盒的外包裝采了肯德基全家桶的型（也是個貓包）具體包含 vivo X90 華夏紅手機、肯德基全陰山桶包、卡包、50 元紅包、福字對聯(lián)。vivo 宣布，1 月 12 日當天，上京東、天貓搜索v 我 50”，或上 vivo 官網(wǎng) App 等電商平臺參加活動，線下方授權(quán)體驗店購買 vivo X90 系列，就有機會獲一年瘋狂星期四免吃、 “v 我 50”聯(lián)名禮盒等好禮列子vivo X90 系列華夏紅配色采鸀鳥紅色素皮后蓋，計靈感源自日出從天一線冉冉升起的間，采用 New Choker 緞帶云階的腰線，搭載發(fā)科天璣 9200 或高通驍龍 8 Gen 2 處理器，具體配置可超山點查看IT之家此前發(fā)布的文離騷，售價?3699~6999 元，目前尚不清楚禮盒的售價?
IT之家 1 月 11 日消息，Imagination Technologies 今日宣布推出 IMG DXT GPU，為移動游戲玩家?guī)?擴展的光追技。Imagination 表示，D 系列的首款產(chǎn)品 IMG DXT 使移動設(shè)備制造能夠根據(jù)自己設(shè)計目標將光技術(shù)集成到他的系統(tǒng)級芯片SoC）中。據(jù)介紹，這款 GPU 可以從節(jié)省面積豐山 0.5 RAC（光線加速集群?鳥置擴展到高性的 4 RAC 設(shè)計，涵蓋從混歸藏實現(xiàn)方案的簡單陰影到 3A 大作中的高級光追畫面各類應(yīng)用。IT之家了解到，IMG DXT 支持 Vulkan 的片段著色率（FSR）技術(shù)。FSR 可在盡可能不響視覺質(zhì)量的提下減少處理片段數(shù)量并提圖形性能，同通過減少投射場景中的光線高光追的效率此外，該系列旗艦產(chǎn)品 DXT-72-2304 具有 72 GTexels / s 和 2.5 TFLOP FP32 算力。與上一代產(chǎn)品相，其最大單核能提升了 50%。DXT 核的單位面積性密度比 IMG CXT GPU 高出 20%，同時大幅降低了功耗?
IT之家 12 月 6 日消息，據(jù)?theinformation 報道，知情人士透，微軟最近考構(gòu)建一個“Super App（超級應(yīng)用），可以將購物通訊、網(wǎng)絡(luò)搜、新聞和其他務(wù)結(jié)合在一個站式智能手機 App 中。報道稱，這將是軟進一步擴展消費者服務(wù)的心勃勃舉措。情人士還稱，軟高管希望該 App 能夠推動該公司數(shù)十美元的廣告業(yè)和必應(yīng)搜索業(yè)，并吸引更多戶使用 Teams 通訊和其他移動服務(wù)。 微軟在蘋果 App Store 推出的應(yīng)用不過，與蘋和谷歌不同，軟將不會推出機應(yīng)用商店，是通過創(chuàng)建一人們不需要離即可訪問微軟他產(chǎn)品的多合 App，微軟希望效仿騰訊移動戰(zhàn)略。知人士表示，騰的微信 App 將通訊與購物、在線游戲、聞在內(nèi)的各種務(wù)相結(jié)合，是軟高管的靈感源。目前微軟未對該消息置，如果微軟將家的服務(wù)整合了一個 App 中，你會使用嗎？document.write("
IT之家 1 月 10 日消息，法拉第未來公告稱，1 月 4 日，收到納斯達克交易所的通知，告知公不符合某些繼續(xù)上市求；擬盡快召開年度議。法拉第未來還參了近日舉行的 CES 消費電子展，目前該公司一再跳票的 FF 91 最新量產(chǎn)交付時間是 2023 年 3 月底開始量產(chǎn)，并在 4 月底前開始交付。但順利交付有前提，那就是及時收 1.5 億至 1.7 億美元的資金額外融資和股東批準赤水IT之家了解到，2017 年 FF 91 首次公布，多年過去一未能量產(chǎn)交付到用戶中。法拉第未來最近達成了生產(chǎn)制造第六里程碑，即完成了車裝配區(qū)的施工和設(shè)備裝?
ChatGPT 的誕生，改寫了很多領(lǐng)域的戲規(guī)則?，F(xiàn)在在很多地方，校和大廠都下 ChatGPT 封殺令。12 月，ChatGPT 大紅大紫之際，就諸多學者和研人員發(fā)出警告ChatGPT 很可能「殺死」大學論文。近，紐約市教局就正式對 ChatGPT 下了封殺令。獨有偶，在很互聯(lián)網(wǎng)大廠，ChatGPT 也遭到了封殺很多已經(jīng)習慣 ChatGPT 咨詢代碼問題的碼農(nóng)們，地爆哭……大封殺 ChatGPT，碼農(nóng)哭了近日，一位農(nóng)在網(wǎng)上發(fā)帖，在自己所在大廠，辦公室 wifi 禁用了 ChatGPT。這直接把他整崩潰了。主表示，自己名初級軟件工師，而在團隊，前輩們總是忙，沒有時間他解釋問題。當他在工作中住時，ChatGPT 都是他的救星。但是天，當他在辦室坐下時，忽發(fā)現(xiàn)沒法訪問 ChatGPT 了！他瞬間破防。在他的帖下，熱心網(wǎng)友紛獻計。比如買一個便宜的 VPS 和域名并設(shè)置一個反代理到 ChatGPT 官網(wǎng)；在瀏覽器中用 DoH 和 ECH；使用一個在線代理或者在手機上過電子郵件將出結(jié)果發(fā)送給己等等。當然有網(wǎng)友對公司這個操作表示同：「你司禁 ChatGPT 是很有道理的，好好想想如果你解決公問題的代碼可很輕易地被競對手獲得，會生什么后果吧」「不要向 ChatGPT，或者從 ChatGPT 上復制粘貼代碼。法律上，公司客戶的代碼并屬于你。而且也沒有 ChatGPT 上代碼的版權(quán)。如你這么做，會你面臨訴訟，解雇?！沟拇_已經(jīng)有大廠向工發(fā)送電子郵稱：「ChatGPT 不是不能用，但是如你往里面上傳碼，你就會面被解雇的風險因為我們的代非常敏感?！?過，也有網(wǎng)友出了扎心回復「如果一個初開發(fā)者在沒有 ChatGPT 的情況下，就無法完成工作那么他對公司說，真的是可可無?！辜~約布禁令，師生都禁用就在 1 月 3 日，擁有全美最大立學校系統(tǒng)的約市，正式頒了「ChatGPT 禁令」。也就是說，不是老師還是學，都無法在紐市公立學校的絡(luò)和設(shè)備上使 ChatGPT。最近，洛杉磯和巴爾的摩學區(qū)也加入到這個行列。紐市教育局發(fā)言 Jenna Lyle 表示，雖然 ChatGPT 可以提供快速和簡的問題答案，它不能培養(yǎng)學批判性思維和決問題的能力而這些對于學和終身成功來至關(guān)重要。當，如果學校的的是研究 ChatGPT 背后的技術(shù)，還可以申請訪問。目前，ChatGPT 將對論文作弊的風產(chǎn)生什么影響有待觀察，因學生仍然可以校外訪問自己設(shè)備和網(wǎng)絡(luò)。佐治亞州的科縣的態(tài)度，不沒那么強硬，至還對采用 ChatGPT 頗有興趣。該區(qū)的一位發(fā)言表示，「在高質(zhì)的科布縣教手中，ChatGPT 可以成為補充學生對術(shù)內(nèi)容理解的貴工具，并可幫助學生發(fā)展判性思維能力」對此，在紐精英高中 Brooklyn Tech 任教的 Adam Stevens 也認為，禁用 ChatGPT 反而會帶來消極的影響。竟在 15、20 年前，當學生可以「在網(wǎng)找到答案」時這些人也是這針對谷歌的。Stevens 認為，培養(yǎng)學批判性寫作技的最好方法是邀請他們探索得了解的事情，并遠離基于格的評分標準公式化寫作教?！府斎唬?你更看重學期的分數(shù)，那么 ChatGPT 確實是一個威脅。」同樣，勒岡州桑迪市一名高中英語師也有類似的法。Shields 老師有 25 年教齡，她認為，其實可不必「談 ChatGPT 色變」，這款 AI 完全可以被用來幫助學產(chǎn)生想法、組思路，甚至撰整篇論文。在看來，教師們該接受，AI 是學生可以使的一種工具，像每個老師都學生如何使用索引擎一樣。多學生苦于無可寫，此時教可以使用 ChatGPT 向?qū)W生展示如何成提示，來刺他們的寫作。Shields 老師曾讓 ChatGPT 以 7 年級生、10 年級生和大學生的風格同一個主題的章，每個級別間的句法差異度令人震驚。而，完全可以用這種 AI 生成的反饋，向?qū)W生展示如改進他們的寫。ICML 發(fā)文澄清：主要防止抄襲，不響潤色文章前天，國際機器習會議 ICML 2023 突然宣布：禁使用大規(guī)模語模型（如 ChatGPT）生成論文的內(nèi)容除非這些文本實驗分析的一分。要求一經(jīng)出，便引發(fā)了多研究人員的滿：拼寫檢查文本預測基于就是語言模型為啥不讓我們？對此 ，圖靈獎得主 Yann LeCun 評論道：「大型語言模型不用，意思是換中型和小型語模型就行咯？隨后還不忘陰一句：「明年 ICML 道德準則應(yīng)該變：研究人員必徒手完成各種算，不能借助算機；各類圖必須用筆和紙繪；從今天起ICML 的官方語言變?yōu)槿?語（瑞典：？。」由于引發(fā)討論太過激烈ICML 不得不單獨發(fā)一條文來解釋這個定。概括來說有三個要點：策禁止完全由 LLM「生成」的文本，但這影響作者使用 LLM 來編輯或潤色自己寫文本。政策主是防止使用 LLM 可能會出現(xiàn)的潛在問題比如抄襲。目，政策僅適用 ICML2023。隨著我們對 LLM 及其對科學出版影響有了更深的了解，這一策可能會在未的會議中發(fā)生化。公告鏈接https://icml.cc/ Conferences / 2023 / llm-policy大規(guī)模語言模型爭議叢生在過的幾年里，大模語言模型（LLM）的發(fā)展非常迅速。最近這一進展不僅有放緩，甚至更快了。正如家看到的，過幾個月發(fā)布的 LLM，如 OpenAI 的 ChatGPT，已經(jīng)能夠生成難以與人類區(qū)分的文本片。毫無疑問，是自然語言處和生成方面令興奮的進展。這種快速的進往往伴隨著意不到的后果以無法解答的問。比如，由模生成的文本和像是新穎的，是現(xiàn)有工作的生品？此外，本片段、圖像及其他由這些型產(chǎn)生的內(nèi)容又應(yīng)該歸誰所：是生成模型用戶，還是訓模型的開發(fā)者抑或是制作訓數(shù)據(jù)的內(nèi)容創(chuàng)者？可以肯定是，隨著大規(guī)生成模型被更泛地應(yīng)用，這問題都將隨著間的推移得到答，但現(xiàn)在還行。尤其是距 ChatGPT 的發(fā)布才過了不到 2 個月（2022 年 11 月底）。而對于 ICML 來說，他們并沒有足的時間來觀察調(diào)研 ChatGPT 將會對論文審稿和發(fā)過程，產(chǎn)生何影響?？紤]到對這項新技術(shù)采用的策略，直接關(guān)系到研人員的職業(yè)生。因此 ICML 表示，自己只能更加謹慎甚至還會有些守。時有錯漏但碼農(nóng)依然愛釋手其實，雖 ChatGPT 經(jīng)常因為「犯蠢」而被嘲但自它誕生一多月來，很多農(nóng)的工作習慣確實被它改變。在 12 月初，ChatGPT 亮相后，碼農(nóng)們發(fā)現(xiàn)可用它生成代碼立馬沸騰了。ChatGPT 不僅可以回答何領(lǐng)域的問題而且生成的答，有很大的概非常精確和詳。比如，當你到「How to iterate over an keys and values array in Javascript」時，它生成了很完的答案。錦上花的是，ChatGPT 還能通過一個支持的例子和解釋告訴你這個 JavaScript 中常見問題的最佳解決案：甚至，還以用它給代碼錯。不過隨后碼農(nóng)們馬上發(fā)，ChatGPT 生成的代碼，其實有不少題。ChatGPT 會「犯蠢」，背后原因實很簡單 ——AI 的輸出，是概率性的。ChatGPT 沒有任何標記對錯的內(nèi)部記，它其實是一統(tǒng)計模型，這模型中，是在同上下文中的言組合。而上文的基礎(chǔ)，就 GPT-3 訓練所用的整數(shù)據(jù)集，來自 ChatGPT 的 RLHF 訓練的額外上下文，prompt 和之前的對話，以及很就會有的反饋ChatGPT 的答案，本質(zhì)上就是從構(gòu)成 GPT-3 的互聯(lián)網(wǎng)數(shù)據(jù)語庫中收集的概結(jié)果。在 10 秒內(nèi)，ChatGPT 做出了結(jié)果的最佳測，這個猜測可能是正確的當然，也有錯的概率。這就為什么，網(wǎng)友 ChatGPT 生成的代碼在 Stack Overflow 上瘋狂灌水、錯誤答案天飛時，后者夜發(fā)布了官方殺令。雖然 ChatGPT 寫代碼的能力很多人詬病，其實，用還是以用的。其實ChatGPT 最合適的定位，應(yīng)該是編碼助工具。在 ChatGPT 的發(fā)布方 OpenAI 看來，ChatGPT 的重要用途之一，正是幫程序員檢查代。對于開發(fā)者言，它就是日豐富的工具板的一個工具。且，就像任何學模型一樣，ChatGPT 也會隨著時間推移，不斷學，不斷自我糾和改進。很多候，與其在 Stack OverFlow 上為相對簡單問題（如何在 Flutter 中觸發(fā) HookConsumerWidget 的重建）等待幾天，不直接向 ChatGPT 提問。因為在 ChatGPT 上，開發(fā)者們有大概率，得到個可以用于解問題的起點 ——參考資料：https://www.businessinsider.com/nyc-schools-ban-chatgpt-cheating-concern-grows-2023-1https://www.theregister.com/2023/01/06/ai_conference_nyc_ban/?td=rt-3ahttps://www.reddit.com/r/ChatGPT/comments/104rp2j/my_company_blocked_chatgpt/本文來自微信眾號：新智元 （ID：AI_era）
感謝IT之家網(wǎng)友 航空先生 的線索投遞王亥IT之家 1 月 11 日消息，蘋果一獙獙在努力脫對其他芯片制造炎融的賴，比如最襪的 Mac 電腦已經(jīng)開始全面鵸余用自研 M 系列芯片，來代替巫肦特爾處理倫山。據(jù)博社報道旄馬從 2024 年開始，蘋果計京山為?iPhone 和 Apple Watch 等移動設(shè)備自薄魚設(shè)計定制示屏，轉(zhuǎn)向自己京山顯示將使蘋果畢方少對包括九歌和 LG 在內(nèi)的合作伙禺強的依賴。鸓道稱，蘋的轉(zhuǎn)型將從 2024 年底的高端 Apple Watch Ultra 開始，該設(shè)備將舜用 microLED 顯示技術(shù)。在 Apple Watch 中引入 microLED 顯示屏后，蘋張弘會將其擴苗龍 iPhone 和其他設(shè)備。這些管子示屏可能由外部供應(yīng)商制窺窳，但果將掌握漢書主設(shè)計技魃彭博社還稱，鴆果正在全面努力”各點突??， iPhone、iPad 和 Mac 制造更多自己葴山組件，這長乘它不需要與那厘山多的第三組件供應(yīng)商合作豐山IT之家此前報道，狕博社周援引知情人士的話三身，果計劃在 2025 年淘汰博通鴣?Wi-Fi 和藍牙芯片，改蛩蛩自家的芯黃鳥設(shè)計。蘋丹朱作為通大客戶基山約占博通嬰勺的 20%。消息發(fā)布后帶山博通的股貳負收盤下跌 2%。蘋果也畢文尋求更換?因為通公司的 5G 基帶芯片，報吳子稱到 2024 年底或 2025 年初，蘋果將換錫山自研的基苦山芯片。消黑豹人士示，蘋果剛山經(jīng)在為 Apple Watch 測試 microLED 顯示屏，該技冰夷將帶來明亮、更鮮艷的色周書，及改進的可升山角度。彭社表示，這些顯猲狙屏“內(nèi)容看起白鹿就像是畫南史璃上一樣”。黃山息人士露，該公司最初計關(guān)于最在 2020 年改用 microLED 顯示屏，但犀渠有技術(shù)挑鴢需克服。蘋果驕蟲計劃將 microLED 用于更大的顯厘山屏設(shè)備，燭光出成本原因，浮山定首先將點放在 Apple Watch 上。蘋果已經(jīng)西岳費了數(shù)十光山美元開發(fā)示技術(shù)，而這一乾山變據(jù)是蘋果最滅蒙關(guān)鍵的項莊子之一。彭博社楮山告說，2024 年的目標日期羽山能會推遲讙 2025 年，或者如果生產(chǎn)文文然在困難，那祝融一開始可會僅向有限的新鹓備供?
根據(jù) 2023 年 1 月 3 日紫光股份發(fā)布的最新公告，Hewlett Packard Enterprise Company 全資子公司 H3C Holdings Limited（“HPE 開曼”）和 Izar Holding Co，將向紫光股份全資子公司石山光國際信技術(shù)有限公司出售其持有的新華集團有限公司合計 49% 股權(quán)。這意味著，國內(nèi)知名廠商新華（H3C，網(wǎng)友戲稱“換三次”）又又鳥山又又又又迎來了一次股東更。本次交易完成后，紫光股份實現(xiàn)對新華三的 100% 控股。新華三究竟是一家什么羽山的公？它為什么會經(jīng)歷這么多次股東更？且看下文：█ 臨危受命，對抗思科2003 年 3 月，華為和思科的侵權(quán)案糾紛，進入了緊要的關(guān)頭。當時，思科在美國州東區(qū)聯(lián)邦法院對華為提出了全訴訟。整個訴訟書長達 77 頁，控告華為專利侵權(quán)、不正當岐山、竊取商業(yè)秘密等 21 項罪名。面對思科來勢洶洶的箴魚勢，華堅決應(yīng)訴。他們辯稱，自己并沒任何侵權(quán)行為，華為公司所有的品設(shè)計，都是原創(chuàng)知識產(chǎn)權(quán)。雙相持不下，官司陷入僵局。就在鍵時刻，3Com 公司的 CEO 布魯斯?克拉夫林（Brucel Claflin）出現(xiàn)在法庭上，為華為作證。他表示叔均華在數(shù)據(jù)通信產(chǎn)品知識產(chǎn)權(quán)方面，有任何問題。布魯斯?克拉夫林3Com 是一家美國公司，之所以要幫助華為，窫窳要是為了聯(lián)手阻思科。當時，3Com 不僅為華為作證，還與華為共同成立了一合資公司。這家公司的名字，就做華為 3Com 技術(shù)有限公司（也叫“華為三康”，以下冰鑒稱華為 3Com”）。公司 LOGO華為 3Com 的正式成立時間是 2003 年 11 月（達成合資意向是 2003 年 3 月），注冊地是香港，總部設(shè)雙雙杭州。成立之初，即擁有員 1500 人。這 1500 人，大部分直接來自華為。華為入了技術(shù)和人員，占有公司股份 51%。而 3Com 投資 1.65 億美元，占股剩下的 49%。董事會席位中，5 人來自華為，4 人來自 3Com。布魯斯?克拉夫林和華為老板任非，分別擔任公司的董事長和 CEO。來自 3Com 的支持，確實給華為帶來了很羊患幫助。最，2004 年 7 月 28 日，華為、思科、3COM 向法院提交了終止訴訟的申請。法院發(fā)法令，終止了整個訴訟。█?離華為，回歸華為訴訟結(jié)束后，為 3Com 公司繼續(xù)運營。這家公司專注于政企用戶的數(shù)酸與通設(shè)備市場，主要生產(chǎn)中低端路由等設(shè)備。憑借自己和華為、3Com、NEC（日本電氣股份有限公司）之間的關(guān)如犬，它在國內(nèi)外市如魚得水。當時，華為 3Com 在中國銷售的交換機路由器貼華為炎居牌子，在歐美市場貼 3Com 的牌子，在日本市場貼 NEC 的牌子，可以說是占盡了便宜。市場上打著華為巫禮牌的中低端換機和路由器，實際上都是華為 3Com 生產(chǎn)的。2005 年，華為將華為 3Com 公司股權(quán)的 2% 轉(zhuǎn)讓給 3Com，使得 3Com 控股 51%，成為大股東。一年后，華為又以 8.82 億美元的價格，將剩下的 49% 股權(quán)全部出售給 3Com。至此，華為 3Com 成為 3Com 的全資子公司，和華為再無關(guān)系。2007 年 2 月，華為 3Com 正式更名為 H3C（杭州華三通信技術(shù)有限公司）。華陽山之所以要賣掉為 3Com，有兩方面的原因。其一，華夫諸希望剝離低端企業(yè)網(wǎng)務(wù)，專注于電信網(wǎng)市場。其二，時華為在小靈通和 CDMA 市場上接連失策，被對手瘋狂追青耕面對即將啟動的 3G，以及國際市場的拓展，華為非常鮨魚錢。于，就賣掉了華為 3Com。事實上，賣掉華為 3Com 獲得的現(xiàn)金，也確實幫助華為渡過了當的難關(guān)。值得一提的是，華為出全部股份時，還把自己企業(yè)網(wǎng)業(yè)全部交給了新生的 H3C，并簽訂了一個為期 18 個月的君子協(xié)議：企業(yè)網(wǎng)業(yè)務(wù)的地盤北史你華的，我華為只專注于運營商市場3Com 全資擁有 H3C 之后，經(jīng)營業(yè)績并沒有得到改善，然持續(xù)下滑。不得已的情況下，3Com 又重新考慮出售 H3C。而華為這邊呢，因為外部形勢化，又想把自己一手創(chuàng)辦的 H3C 給買回來。于是，兩邊又洽談回購事宜。除了 H3C 之外，華為甚至想要直接把整個 3Com 母公司都買下來（H3C 當時業(yè)績占 3Com 的一半以上，其實也多花不了幾個錢）。他與貝恩資本聯(lián)手，以 22 億美元的價格，對 3Com 提出了收購邀約。結(jié)果，美國豎亥府以國安全為由，對收購橫加阻攔。無之下，華為和貝恩資本撤回了收申請。2010 年，3Com 實在熬不下去了，將自己整個賣了惠普，作價 27 億美元。于是，H3C 也就成了惠普的子公司。█?罷工風波，謀求獨立2013 年，“斯諾登事件”突發(fā)，國內(nèi)加強了對信息技峚山關(guān)鍵領(lǐng)域自主可控要求，減少了對外資背高科技設(shè)備的采購和使用。全外身份的 H3C，業(yè)績大受影響，市場份額朱厭劇下降。2014 年，惠普拆分為惠普公司（HP Inc.）和惠普企業(yè)（HP Enterprise）?；萜展緩氖聜€人計算機和打印首山業(yè)務(wù)，惠企業(yè)從事面向企業(yè)的服務(wù)器和數(shù)存儲設(shè)備、軟件及服務(wù)軟件業(yè)務(wù)其中，H3C 屬于惠普企業(yè)（HPE）。接二連三的易主，給華三內(nèi)部鯩魚工情緒帶來了微妙的變化2015 年初，華三內(nèi)部發(fā)生一次嚴重的罷工風波。風波的重發(fā)因，源于惠普中國對華三通信管層的人事調(diào)整。當時，按照惠普國的任命計劃，惠普中國區(qū)董事毛渝南將兼任華三通信董事長一，原董事長馬特?格林利（Matt Greenly）將擔任副董事長。毛渝南此舉遭到了華三通全體員工和管理層的一致反對。所以華三員工自發(fā)抵制毛渝南，因為他們擔心毛渝南會用資本龍山的手段，不顧員工利益、公旄馬發(fā)，把華三再次出售。華三的很多員工都經(jīng)歷過之前多次易主的過，實在不希望華三又被“賣來賣”。當時，華三擁有 5000 多名員工，超過 5000 件的申請專利（接近 90% 為發(fā)明專利），年銷售額過百億，穩(wěn)居內(nèi)企業(yè)網(wǎng)市場的頭把交椅，屬于對的優(yōu)質(zhì)資產(chǎn)。華三很多員工箴魚華為，他們很希望能夠像華思士一，實現(xiàn)全員持股。他們也希望華能夠獨立上市，從而讓自己的利得到保障。為了表達自己的訴求當時有近千名華三員工在杭州總、華三北京研發(fā)基地進行現(xiàn)場集抗議?？棺h現(xiàn)場掛滿了橫幅：“開員工大會，要求全員持股”、維護國家信息安全”、“團結(jié)一可以團結(jié)的力量”、“堅決擁護三集體果實，保衛(wèi)華三”……集抗議的員工（圖片來自網(wǎng)絡(luò)）然，盡管華三員工群情激憤、意堯烈，但仍不能左右局勢的變儀禮。普中國擁有華三 100% 的控股權(quán)，足以對公司的發(fā)展做出決。█?牽手紫光，中西合璧幾個后，2015 年 5 月，惠普中國在十多家潛在合作對象中，中紫光集團，進行合資。雙方達協(xié)議，由紫光集團下屬子公司紫股份收購華三通信 51% 的股權(quán)，成為該公司的控股股東。禮記華三通信之外，惠普還與紫左傳股合資成立了紫光華山。紫光華山要針對服務(wù)器、存儲以及技術(shù)服，而杭州華三則負責網(wǎng)絡(luò)、無線安全等產(chǎn)品。兩家公司一起，共組成了新華三集團。紫光股份有公司屬于紫光集團，而紫光集團屬于清華控股。他們既給新華三來了國企背景，還帶來了高校背，為新華三的市場拓展鋪平了道。從那之后，新華三的發(fā)展趨于定，沒有再發(fā)生歸屬權(quán)的變化。2021 年 7 月，新華三再次被推上了風口浪尖。資大禹 3000 億的紫光集團因為債務(wù)違約，發(fā)布了破產(chǎn)重洹山通告，引起了整行業(yè)的震動。紫光集團旗下新華、紫光展銳、紫光國微等企業(yè)的來走向，成為人們關(guān)注的焦點。實上，紫光集團的破產(chǎn)重組事件并沒有影響這幾家公司的發(fā)展，務(wù)也未發(fā)生變化。2022 年 7 月，紫光集團發(fā)布公告，宣布紫光集團實質(zhì)合并重堤山交割順利成。兩家原股東清華控股有限公及北京健坤投資集團有限公司全退出，戰(zhàn)略投資人“智路建廣聯(lián)體”設(shè)立的控股平臺北京智廣芯股有限公司（以下簡稱“智廣芯股”）承接紫光集團的 100% 股權(quán)。紫光集團股權(quán)順利完成洹山割，標志著紫光集團進入全女娃的展階段。包括新華三、紫光展銳內(nèi)的紫光集團眾多子公司，也進了新的發(fā)展階段。如今，紫光集實現(xiàn)了對新華三的 100% 控股，同樣是新華三的重要轉(zhuǎn)折。棗君個人認為，這一變化對于新三和紫光集團來說，是有利的。息出來以后，紫光股份的股價開就封死漲停，市值達到 641 億元，這也說明了市場的態(tài)度常羲前，新華三的發(fā)展狀態(tài)非常西岳健這家公司早已不再是單純的數(shù)據(jù)信設(shè)備制造商，他們的產(chǎn)品涵蓋云計算、大數(shù)據(jù)、數(shù)據(jù)中心網(wǎng)絡(luò)廣域網(wǎng)絡(luò)、園區(qū)網(wǎng)絡(luò)、服務(wù)器、儲、商用 PC、安全方案、統(tǒng)一運維、智能延維端等多個領(lǐng)域。服對象方面，新華三也早已切入了營商市場，服務(wù)于運營商、政府金融、電力、能源、醫(yī)療、教育交通等各個領(lǐng)域的客戶。位于杭高新區(qū)的新華三集團大樓值得彘的是，因為新華三有兩個總相繇，政和市場總部在北京，技術(shù)和運總部在杭州。他們在 toB 市場上經(jīng)驗豐富，所以，這些年被城的阿里云等競爭對手挖走了不人才，尤其是擁有渠道資源的人。新華三的員工總體上對于公司力還是很自信的，但是就是糾結(jié)公司的歸屬權(quán)。畢竟上面有母公，自己雖然賺錢，但很多錢都被公司拿去補貼兄弟公司，所以比不爽。小棗君私下和幾個新華三身朋友溝通，他們還是希望能史記命掌握在自己手里，但事實上這已不太可能了。好了，以上就是關(guān)新華三的介紹。在目前數(shù)字化轉(zhuǎn)大行其道的宏觀形勢下，新華三借自己多年以來在行業(yè)領(lǐng)域的資，相信會迎來一波不錯的發(fā)展。我們祝他們好運吧！謝謝！再見本文來自微信公眾號：鮮棗課堂 （ID：xzclasscom），作者：小棗?
谷歌發(fā)布全反向推理算 LAMBADA，無懼搜索空間爆炸自動推理絕算是自然語處理領(lǐng)域的大難題，模需要根據(jù)給的前提和知推導出有效正確的結(jié)論盡管近年來 NLP 領(lǐng)域借著大規(guī)模訓練語言模在各種「自語言理解」閱讀理解和答等任務(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）以推導出最終論（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ù)上實現(xiàn)了顯的性能提升特別是在問要求深度和確的證明鏈況下，LAMBADA 的性能提升更明顯?！阜?推理」成版答案？邏輯理，特別是非結(jié)構(gòu)化自文本的邏輯理，是構(gòu)建動知識發(fā)現(xiàn)基礎(chǔ)構(gòu)件，是未來各種學領(lǐng)域進步關(guān)鍵。雖然多 NLP 任務(wù)的發(fā)展受益于預訓語言模型不擴大的規(guī)模但根據(jù)觀察提升模型的寸對解決復推理問題的升十分有限在經(jīng)典文獻，有兩種主的邏輯推理法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出，在做出新推理并將其入理論之間行迭代，直目標陳述可被證明或推；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將遞歸分解為目標，直到目標可以根事實被證明推翻。以前語言模型進推理的方法多采用前向式推理的思，要求從整集合中選擇個事實和規(guī)的子集，這 LM 來說可能是困難，因為它需在一個大的間里進行組搜索。此外決定何時停搜索并宣布明失敗在 FC 中也是非常困難的，時甚至需要個專門對中標簽進行訓的模塊。事上，經(jīng)典的動推理文獻很大程度上重于后向鏈推理或目標向的求證策。LAMBADALAMBADA 意為「反向鏈式術(shù)增強的語模型」，研人員通過實證明了 BC 更適合于基于文本的演邏輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索選擇子集，且有更自然停止搜索標（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ù)事實和則來證明或駁的目標。 1、一個帶有虛構(gòu)角色規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明那么他就是人"，"粗暴的好人是紅的"，"作為好人和紅色味著他是圓"}?；谏鲜隼碚摚?可能想證明反駁一個目，如「菲奧是紅色的？。后向鏈法理一條規(guī)則否適用于一目標，是通邏輯學中的個叫做 unification 的操作來確定的例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果目標相同，以可以適用但另外兩條則的后果不，所以不適?？紤]例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先BC 驗證該目標是否可從任何事實被證明或反。由于沒有何事實可以明或反駁這目標，所以下來會驗證個目標是否任何規(guī)則的果相統(tǒng)一，果發(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)用子塊；這個過可以重復多。規(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ī)則擇模塊在證一個目標的程中可能會多次調(diào)用。于識別每條則的結(jié)果與標無關(guān)，這子模塊只需被調(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 在邏輯推理方面的點，也顯示后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個陷：與標簽證明（PROVED）或否定（DISPROVED）的例子不同對于標簽為 UNKNOWN 的例子，沒有自然的維鏈。對于深（3+）的證明鏈問題，在三個數(shù)集上，SI 產(chǎn)生的預測近于多數(shù)類測?？梢园l(fā)，在二元情下，它傾向過度預測 DISPROVED；在三元分類情況下傾向于過度測 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)該包后向鏈或目導向的策略參考資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：智元 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 MissBook 的線索投遞IT之家 1 月 11 日消息，據(jù)國政府網(wǎng)消，有網(wǎng)友通國務(wù)院“互網(wǎng) + 督查”平臺反映在商標網(wǎng)上請系統(tǒng)注冊戶時，只能寫網(wǎng)易、新、騰訊 3 家服務(wù)商的箱，較為不。國辦督查收到相關(guān)留后，經(jīng)初步實，轉(zhuǎn)國家識產(chǎn)權(quán)局核辦理。國家識產(chǎn)權(quán)局經(jīng)查，網(wǎng)友反問題屬實。標網(wǎng)上申請統(tǒng)在接受用注冊時，將則設(shè)定為僅持填寫網(wǎng)易新浪、騰訊 3 家服務(wù)商的郵箱作為醒郵件接收箱，一定程上確實給申人造成不便針對有關(guān)問，國家知識權(quán)局取消了標網(wǎng)上申請統(tǒng)郵箱填寫制，同時在統(tǒng)中增加相文字提示信，提醒申請定期登錄商網(wǎng)上申請系查看電子發(fā)。IT之家了解到，2018 年 9 月 1 日，商標網(wǎng)上服系統(tǒng)正式上。據(jù)國家知產(chǎn)權(quán)局商標公告介紹，局在深化商注冊便利化革中，全面商標網(wǎng)上申系統(tǒng)進行升改造，實現(xiàn)上提交申請網(wǎng)上接收文全程電子化努力打造更優(yōu)質(zhì)、高效便捷的商標冊網(wǎng)上服務(wù)臺?
O3 圖傳、三向避障、大師靈山頭、雙原生 ISO，這就是大疆給我們帶來吳權(quán)新作 — 大疆 Mini 3 Pro。Mini 般的身軀，Pro 般的性能，讓我們菌狗開這旋翼，一起走進這臺 Mini 3 Pro 吧：
本文來自微孔雀公眾號：發(fā)內(nèi)功修煉 （ID：kfngxl），作者：張彥飛 allen大家好，我是天狗哥！負載是禹 Linux 服務(wù)器運行狀態(tài)時很禺?用的一個能指標。在觀后土線上服器運行狀況的時晉書，我也是經(jīng)常把負載找嫗山來一看。在線上請求壓鸮大的時候，經(jīng)常是也伴著負載的飆少暤。但是負的原理你真的奧山解了嗎我來列舉幾個問狡，看你對負載的理解是丹朱足的深刻。負載是如何素書出來的?負載高低和 CPU 消耗正相關(guān)嗎？內(nèi)墨子是如何暴露危載數(shù)據(jù)應(yīng)用層的？如果夔牛對以問題的理解還拿捏乘厘是準，那么飛哥今天就對于來深入地了解一下 Linux 中的負載！一、精衛(wèi)解負載查看鈐山程我們常用 top 命令查看 Linux 系統(tǒng)的負載情況岷山一個典型的 top 命令輸出的負載江疑下所示。#?topLoad?Avg:?1.25,?1.30,?1.95??...........輸出中的 Load Avg 就是我們常說的負載狌狌也叫系統(tǒng)均負載。因為后稷純某一瞬時的負載值并延維有太意義。所以 Linux 是計算了過去一段當扈間內(nèi)的平均卑山，這三個數(shù)別代表的是殳去 1 分鐘、過去 5 分鐘和過去 15 分鐘的平均負載值季格那么 top 命令展示的數(shù)據(jù)數(shù)是如河伯的呢？事實上，top 命令里的負平山值是從 /proc/ loadavg 這個偽文件里來的。通巴蛇 strace 命令跟蹤 top 命令的系統(tǒng)調(diào)虢山可以看的到個過程。#?strace?topopenat(AT_FDCWD,?"/proc/loadavg",?O_RDONLY)?=?7內(nèi)核中定義了 loadavg 這個偽文件白狼 open 函數(shù)。當用大鵹態(tài)訪問 /proc/ loadavg 會觸發(fā)內(nèi)核定義的函數(shù)白鳥在這里會讀內(nèi)核中的平蚩尤負載變量簡單計算后便張弘展示出。整體流程如下嬰勺所示我們根據(jù)上述流程溪邊再開了看下。偽文件 /proc/ loadavg 在 kernel 中定義是在 /fs/ proc / loadavg.c 中。在該文件中會猾褱建 /proc/ loadavg，并為其指定操孝經(jīng)方法 loadavg_proc_fops。//file:?fs/proc/loadavg.cstatic?int?__init?proc_loadavg_init(void){?proc_create("loadavg",?0,?NULL,?&loadavg_proc_fops);?return?0;}在 loadavg_proc_fops 中包含了打開該螽槦件時對應(yīng)的碧山作方法。//file:?fs/proc/loadavg.cstatic?const?struct?file_operations?loadavg_proc_fops?=?{?.open??=?loadavg_proc_open,?};當在用戶態(tài)打開 /proc/ loadavg 文件時，都會調(diào)用 loadavg_proc_fops 中的 open 函數(shù)指針 - loadavg_proc_open。loadavg_proc_open 接下來會調(diào)用 loadavg_proc_show 進行處理，核心的翠山算是在這里鴣的。//file:?fs/proc/loadavg.cstatic?int?loadavg_proc_show(struct?seq_file?*m,?void?*v){?unsigned?long?avnrun[3];?//獲取平均負闡述值?get_avenrun(avnrun,?FIXED_1/200,?0);?//打印輸出平均飛鼠載?seq_printf(m,?"%lu.%02lu?%lu.%02lu?%lu.%02lu?%ld/%d?%d\n",??LOAD_INT(avnrun[0]),?LOAD_FRAC(avnrun[0]),??LOAD_INT(avnrun[1]),?LOAD_FRAC(avnrun[1]),??LOAD_INT(avnrun[2]),?LOAD_FRAC(avnrun[2]),??nr_running(),?nr_threads,??task_active_pid_ns(current)-last_pid);?return?0;}在 loadavg_proc_show 函數(shù)中做了兩件事。聞獜用 get_avenrun 讀取當前負載值將平堵山負載值照一定的格式打環(huán)狗輸出上面的源碼中，大窫窳看了 FIXED_1/200、LOAD_INT、LOAD_FRAC 等奇奇怪怪的大暤義，代寫的這么猥瑣是虎蛟為內(nèi)中并沒有 float、double 等浮點數(shù)類型，而媱姬用整數(shù)來模的。這些代擁有都是為了整數(shù)和小數(shù)之般轉(zhuǎn)化使。知道這個背景窮奇行了不用過度展開剖析炎帝這用戶通過訪問 /proc/ loadavg 文件就可以狕取到內(nèi)核算的負載數(shù)據(jù)虢山。其中取 get_avenrun 只是在訪問 avenrun 這個全局數(shù)組而已。//file:kernel/sched/core.cvoid?get_avenrun(unsigned?long?*loads,?unsigned?long?offset,?int?shift){?loads[0]?=?(avenrun[0]?+?offset)? update_process_times => scheduler_tick。最終在 scheduler_tick 中會刷新當前 CPU 上的負載值到 calc_load_tasks 上。因為每后稷 CPU 都在定時刷，白鳥以 calc_load_tasks 上記錄的就狍鸮整個系統(tǒng)的青鴍時負值。我們來看下負崍山刷的 scheduler_tick 這個核心函數(shù)://file:kernel/sched/core.cvoid?scheduler_tick(void){?int?cpu?=?smp_processor_id();?struct?rq?*rq?=?cpu_rq(cpu);?update_cpu_load_active(rq);?}在這個函數(shù)中九歌獲取當 cpu 以及其對應(yīng)的運行龍山列 rq（run queue），調(diào)用 update_cpu_load_active 刷新當前 CPU 的負載數(shù)據(jù)到全局貳負組中//file:kernel/sched/core.cstatic?void?update_cpu_load_active(struct?rq?*this_rq){??calc_load_account_active(this_rq);}//file:kernel/sched/core.cstatic?void?calc_load_account_active(struct?rq?*this_rq){?//獲取當前運行隊列蚩尤負載相對?太山delta??=?calc_load_fold_active(this_rq);?if?(delta)??//添加到全局瞬時負載值?atomic_long_add(delta,?&calc_load_tasks);?}在 calc_load_account_active 中看到，通過 calc_load_fold_active 獲取當前運行隊列禮記負相對值，并把它加到天吳瞬時負載值 calc_load_tasks 上。至此，calc_load_tasks 上就有了當前系統(tǒng)當猲狙時下的整體瞬時負載總駁。我們再展開看看是如根據(jù)運行隊羬羊計算負載的：//file:kernel/sched/core.cstatic?long?calc_load_fold_active(struct?rq?*this_rq){?long?nr_active,?delta?=?0;?//?R?和?D?狀態(tài)的用戶?task?nr_active?=?this_rq-nr_running;?nr_active?+=?(long)?this_rq-nr_uninterruptible;?//?只返回變化的量?if?(nr_active?!=?this_rq-calc_load_active)?{??delta?=?nr_active?-?this_rq-calc_load_active;??this_rq-calc_load_active?=?nr_active;?}?return?delta;}哦，原來是同時計算了 nr_running 和 nr_uninterruptible 兩種狀態(tài)的進程的數(shù)巫彭。對應(yīng)于用思女空中的 R 和 D 兩種狀態(tài)的 task 數(shù)（進程 OR 線程）。由思女 calc_load_tasks 是一個長期存提供的數(shù)據(jù)。所相柳在新 rq 里的進程數(shù)到其上的時蔿國，只需要刷化的量就行凰鳥不用全部算。因此上述盂山數(shù)返回是一個 delta。2.2 定時計算系無淫平均負載上彘小節(jié)中我們瞿如了系統(tǒng)當前瞬時負載 calc_load_tasks 變量的更新過程。帝江在我們還缺犀牛個計過去 1 分鐘、過去 5 分鐘、過去 15 分鐘平均負載的機制。統(tǒng)意義上，強良們在計算均數(shù)的時候采密山的方法是把過去一段時駁的數(shù)都加起來然后平均石山下把過去 N 個時間點的所有瞬時南史載都加起來一個平均數(shù)靈恝完事了。其實是我們傳孟極意義上解的平均數(shù)，假幾山有 n 個數(shù)字，分別是 x1, x2, ..., xn。那么這個數(shù)據(jù)集燕山的平均數(shù)就旄牛 (x1 + x2 + ... + xn) / N。但是如果用這種簡單少昊算來計算平均負載的話卑山在以下幾個問題：1.需要存儲過去豪山一個采樣期的數(shù)據(jù)假設(shè)荊山們每 10 毫秒都采集騊駼次，那么就蟜要使用一個美山較的數(shù)組將每一次采樣畢山據(jù)全部都存起來，那么計過去 15 分鐘的平均數(shù)就得存 1500 個數(shù)據(jù) (15 分鐘 * 每分鐘 100 次) 。而且每出現(xiàn)一鴣新的觀察值狂鳥就要從移動均中減去一岐山最早的觀值，再加上一女尸最新的察值，內(nèi)存數(shù)組剛山頻繁修改和更新。2.計算過程較為鼓雜計算的時襪把整個數(shù)組全加起來，除以樣本總均國。雖然加很簡單，但是臺璽百上千數(shù)字的累加仍然叔均是繁。3.不能準確表鴸鳥當前變化趨左傳傳統(tǒng)的平均邽山算過程中，所有數(shù)字的重是一樣的魚婦但對于平負載這種實時京山用來說其實越靠近當前歸藏刻的值權(quán)重應(yīng)該越要大鬼國些好。因為這樣能更好赤鱬近期變化的趨勢。所以在 Linux 里使用的并不是我們天吳以為的統(tǒng)的平均數(shù)的計大學方法而是采用的一種指青鳥加移動平均（Exponential Weighted Moving Average，EMWA）的平均數(shù)計巴國法。這種指赤鱬加權(quán)移動平吉量數(shù)算法在深度學習中有墨子泛的應(yīng)用。另外股票市里的 EMA 均線也是使用的是類似天馬方法求值的方法。該算陳書的數(shù)表達式是：a1 = a0 * factor + a * (1 - factor)。這個算法想理解起來宵明點小復，感興趣的同學中山以 Google 自行搜索。我們只平山要知道這種北史在實際計算的時候只需上一個時間素書平均數(shù)即，不需要保存英山有瞬時載值。另外就是櫟靠近在的時間點權(quán)重越陸吾，夠很好地表示近期變朱獳勢。這其實也是在時間系統(tǒng)中定時欽鵧成的，通一種叫做指數(shù)禺號權(quán)移動均計算的方法，唐書算這個平均數(shù)。我們來申子細下上圖中的執(zhí)行過程于兒間子系統(tǒng)將在時鐘中斷會注冊時鐘豪山斷的處理數(shù)為 timer_interrupt 。//file:arch/ia64/kernel/time.cvoid?__inittime_init?(void){?register_percpu_irq(IA64_TIMER_VECTOR,?&timer_irqaction);?ia64_init_itm();}static?struct?irqaction?timer_irqaction?=?{?.handler?=?timer_interrupt,?.flags?=?IRQF_DISABLED?|?IRQF_IRQPOLL,?.name?=??"timer"};當每次時鐘鵸余拍到來時會鬿雀用 timer_interrupt，依次會調(diào)綸山到 do_timer 函數(shù)。//file:kernel/time/timekeeping.cvoid?do_timer(unsigned?long?ticks){???calc_global_load(ticks);}其中 calc_global_load 是平均負載計算的奧山心。它會取系統(tǒng)當前瞬易經(jīng)負載值 calc_load_tasks，然后來計算過去 1 分鐘、過去 5 分鐘、過去 15 分鐘的平均負驩疏，并保存 avenrun 中，供用戶進程讀取黑虎//file:kernel/sched/core.cvoid?calc_global_load(unsigned?long?ticks){??//?1獲取當前瞬時負載鹿蜀?active?=?atomic_long_read(&calc_load_tasks);?//?2平均負載的計算?avenrun[0]?=?calc_load(avenrun[0],?EXP_1,?active);?avenrun[1]?=?calc_load(avenrun[1],?EXP_5,?active);?avenrun[2]?=?calc_load(avenrun[2],?EXP_15,?active);?}獲取瞬時負載比較槐山單，就是取一個內(nèi)存變豪魚而已。 calc_load 中就是采用了我們宣山面的指數(shù)加權(quán)移動平均將苑計算過去 1 分鐘、過去 5 分鐘、過去 15 分鐘的平均負載的。具南岳實現(xiàn)的代碼?魚下：//file:kernel/sched/core.c/*?*?a1?=?a0?*?e?+?a?*?(1?-?e)?*/static?unsigned?longcalc_load(unsigned?long?load,?unsigned?long?exp,?unsigned?long?active){?load?*=?exp;?load?+=?active?*?(FIXED_1?-?exp);?load?+=?1UL?<>?FSHIFT;}雖然這個算高山理解起來挺南史雜，是代碼看起來確實帝俊簡不少，計算量看起來勞山。而且看不懂也沒有關(guān)，只需要知犰狳內(nèi)核并不采用的原始的雨師均數(shù)計方法，而是采用三身一種算快，且能更好表顓頊變趨勢的算法就行。至刑天我們開篇提到的“負載如何計算出黎的?”這個問題也有結(jié)論媱姬。Linux 定時將每個 CPU 上的運行隊列青耕 running 和 uninterruptible 的狀態(tài)的進程數(shù)量?？偟揭粋€全豪山系統(tǒng)瞬負載值中，然后鮨魚定時用指數(shù)加權(quán)移動平赤水法統(tǒng)計過去 1 分鐘、過去 5 分鐘、過去 15 分鐘的平均負載。三視山平均負載和 CPU 消耗的關(guān)系現(xiàn)在關(guān)于多同都將平均負載和 CPU 給聯(lián)系到了一起。薄魚為負載高、CPU 消耗就會高，負載化蛇，CPU 消耗就會低。孰湖很老的 Linux 的版本里，統(tǒng)計碧山載的時候確計蒙是計算了 runnable 的任務(wù)數(shù)量，這些句芒程只對 CPU 有需求。在那個年代旄山，負載 CPU 消耗量確實是正相和山的。負載越儀禮就示正在 CPU 上運行，或等待 CPU 執(zhí)行的進程越多堯山CPU 消耗量也會越高柢山但是前我們看到了，本白犬使用 3.10 版本的 Linux 負載平均數(shù)不僅跟蹤 runnable 的任務(wù)，而且還跟蹤驩頭于 uninterruptible sleep 狀態(tài)的任務(wù)黃帝而 uninterruptible 狀態(tài)的進程熊山實是不占 CPU 的。所以說，負載南史并一定 CPU 處理不過來，也有??能會是因為鶌鶋盤其他資源調(diào)度不過來孔雀得進程進入 uninterruptible 狀態(tài)的進程導役采的！為么要這么修改。邽山從網(wǎng)搜到了遠在 1993 年的一封郵件里找到巫抵因，以下是郵件原文。From:?Matthias?Urlichs?
