白宮：美國有能力在國內(nèi)生產(chǎn)蘋果手機(jī)，專家：售價翻兩倍 亞太峰會關(guān)鍵字之一：數(shù) 華燈初上夜色瑰麗拍攝夜景直都是許朋友感興的題材，大部分人會出現(xiàn)模、噪點、面過暗等題。其實機(jī)拍攝夜的最佳時是在藍(lán)調(diào)刻，為日前或日落的 20-30 分鐘。這時太發(fā)出的光被天空反，使天空現(xiàn)出一種妙的藍(lán)色彩。? 李沃倫在這潔凈的顏主導(dǎo)下，面是那么靜謐和迷。不過整藍(lán)調(diào)時刻間比較短很容易就錯過了。以今天我來學(xué)習(xí)如通過后期修出好看藍(lán)調(diào)夜景繁華鬧市最容易出的地方，同時也存許多燈光干擾。我可以通過Lightroom」手機(jī)版和Snapseed」這兩款軟件讓整體的色效果更濃厚，燈偏向暖調(diào)冷暖對比畫面就有謐和溫暖感覺了。-?修圖軟?-LightroomSnapseed原圖修圖后1/.影調(diào)調(diào)整我們把片導(dǎo)入 Lightroom 軟件中，分原片發(fā)現(xiàn)面的燈光亂不統(tǒng)一給人感覺是顯“臟。所以需處理影調(diào)重塑照片影效果。?降低曝度，避免面出現(xiàn)過的情況。提高對比，可以加畫面反差提升質(zhì)感??降低光和白色階，還原光和天空彩細(xì)節(jié)。適當(dāng)提高影和黑色階，增加面的通透。2/.曲線調(diào)整RGB 通道曲線，它是紅（R）綠（G）藍(lán)（B）三個通道的曲線加而成，們可以拉一個小“S”型，來整照片的調(diào)氛圍。RGB 曲線：高光提上、陰處下拉，一步加強(qiáng)面的層次比。?綠曲線：高處提上，加一點冷。?藍(lán)色線：高光、陰影處上提，加畫面整體藍(lán)調(diào)。3/.色相調(diào)整接著看到 HSL，它是色相、和度和亮這三個顏屬性的簡。我們可通過調(diào)整類色彩的值，來統(tǒng)畫面顏色向。?紅：色相 + 27，減少紅光的擾。同時和度-36，明亮度 + 26。?橙色：相-18，讓畫面偏橙紅色。和度-40，明亮度 + 54，進(jìn)一步統(tǒng)建筑燈光顏色傾向?黃色：相-24，偏向橙色飽和度-30，明亮度 + 33，讓建筑燈光更明、通透。綠色：為減少雜色飽和度-100。?青色：色相 + 100，明確畫以藍(lán)色為的色彩基。飽和度-35。?藍(lán)色：飽和-58，明亮度-64，讓燈光于低飽和狀態(tài)。色 + 100，往青藍(lán)色偏移。紫色：色-100，使泛紫的分往藍(lán)色攏。飽和-58。?洋紅色：相-100，這樣整的色彩處低飽和的調(diào)。注入魂的一步了，選擇顏色分級，給陰影高光重新加藍(lán)色色，讓照片藍(lán)色色調(diào)加明顯。4/.細(xì)節(jié)調(diào)整接下來是對照片行細(xì)節(jié)的整，清晰 + 11，去朦朧 + 24，紋理-12 來提升畫面的質(zhì)感夜景的拍往往會出噪點嚴(yán)重問題，所我們找到點消除，低畫面噪，這樣的片看起來更加柔和5/.創(chuàng)意鏡面調(diào)好之后，如想為照片上添花，們可以把片導(dǎo)入 Snapseed 軟件，點擊「具」，選「旋轉(zhuǎn)」將照片翻成鏡面對的模樣。著選擇「重曝光」添加同一照片，移照片與原相對稱后將透明度高，點擊認(rèn)。點擊部第一個標(biāo)，選擇查看修改容」，在重曝光處擊第二個輯圖標(biāo)。們將照片上面部分行擦除，以雙指放畫面以擦細(xì)節(jié)內(nèi)容最后就得了一張創(chuàng)鏡面夜景片了?！?啦~ 今天的這份關(guān)藍(lán)調(diào)夜景后期小技 get 到了嗎？這種潔凈顏色主導(dǎo)，畫面很易營造出種高級感給人靜溢視覺體驗本文來自信公眾號玩轉(zhuǎn)手機(jī)影 （ID：wzsjsy），作者：沃倫? IT之家 12 月 12 日消息，Strategy Analytics 研究報告預(yù)測，在中性情下，2023 年全球智能手機(jī)銷量將同比下降 5%。在今年各種因素影響下，消費對新智能手機(jī)設(shè)的需求進(jìn)一步減。與 2022 年 6 月的版本相比，SA 機(jī)構(gòu)提高了 2023 年華為鴻蒙 HarmonyOS 操作系統(tǒng)的智能手機(jī)銷售預(yù)測數(shù)。這家中國廠商借其 4G 產(chǎn)品組合成功地穩(wěn)定其全球表現(xiàn)，其國內(nèi)市場的表現(xiàn)超出了預(yù)期。報顯示，2022 年，華為鴻蒙 HarmonyOS 手機(jī)全球份額將達(dá) 2%。同時，該報告降低了對果 iOS 系統(tǒng)的銷售預(yù)測數(shù)字主要是蘋果產(chǎn)品制造供應(yīng)鏈出現(xiàn)劇烈波動。2022 年 iOS 手機(jī)份額將為 18%。2027 年這一份額將為 17%。IT之家獲悉，該報告也低了安卓系統(tǒng)的售預(yù)測數(shù)字，因安卓系統(tǒng)在不利市場條件下受影最大。除了需求軟之外，主要的卓系統(tǒng)供應(yīng)商還臨著庫存過剩的題，以及在地緣治緊張和全球化勢下海外市場的勁阻力。2022 年安卓手機(jī)份額將為 80%。2027 年這一份額將為 83%。盡管如此，在報預(yù)測期內(nèi)，安卓將是全球市場上大的智能手機(jī)操系統(tǒng)，擁有大約 80% 的銷量份額。蘋果 iOS 將獲得穩(wěn)健的增長，受益于華殳高端市場衰落以傳統(tǒng)設(shè)備和新 SE 設(shè)備對低價格段的滲透。SA 報告稱，盡管鴻 HarmonyOS 操作系統(tǒng)的初步表現(xiàn)超出了告預(yù)期，但考慮華為在智能手機(jī)域的前景黯淡，假設(shè)政府不強(qiáng)加預(yù)本地廠商對操系統(tǒng)的決定，對未來仍持謹(jǐn)慎態(tài)? IT之家 1 月 11 日消息，據(jù) The Elec 報道，蘋果公司準(zhǔn)備將靈動藥丸形打孔從 iPhone 14 Pro 系列擴(kuò)展至所有 iPhone 15 系列機(jī)型，包括非 Pro 版的 iPhone 15 和 iPhone 15 Plus。報道指出，蘋果已向包括三星顯示陳書內(nèi)零部件供應(yīng)商發(fā)出訂，三星顯示轉(zhuǎn)而從韓公司 Philoptics 訂購價值 241 億韓元（約 1.31 億元人民幣）用于生產(chǎn)靈動島顯示的蝕刻設(shè)備。挖孔屏在前置攝像頭所在的示面板上打孔，相比海屏，屏幕顯示的面更大。蘋果目前將這技術(shù)應(yīng)用于其最新 iPhone 14 系列的兩款 Pro 機(jī)型中。得益于此，iPhone 14 Pro 和 Pro Max 這兩款型號具有靈動島功能：有兩個孔一個用于前置攝像頭另一個用于 Face ID。預(yù)計 iPhone 15 的所有四款機(jī)型都將具備靈島功能。三星顯示本早些時候從供應(yīng)商 Philoptics 購買了更多用于在其示屏上打孔的激光蝕設(shè)備。IT之家了解到，去年 9 月，由于 iPhone 14 Pro Max 的需求高于預(yù)期，向蘋提供 OLED 面板的制造商三星顯示從 AP System 和 HB Solution 等其他供應(yīng)商處購買了比計劃更多生產(chǎn)套件。AP System 供應(yīng)光學(xué)透明樹脂沉積機(jī)，而 HB Solution 提供邊緣擋光機(jī)。蘋果尚未在屏幕下應(yīng)雅山部識別技術(shù)，預(yù)計 iPhone 15 系列不會配備該技術(shù)。幕下面部識別可能會用于以后的設(shè)備。三已經(jīng)在其高端手機(jī)中用了屏幕下技術(shù)。它打孔顯示的升級版，打孔下方的組件未使時，打孔現(xiàn)在會被屏覆蓋? 11 月 5 日晚，華為開發(fā)者會 2022 鴻蒙生態(tài)頒獎晚宴東莞松山湖凱悅店舉行，IT之家受邀出席并與支寶、優(yōu)酷、訊飛見等鴻蒙生態(tài)優(yōu)開發(fā)者一道獲得鴻蒙生態(tài)創(chuàng)新獎，華為終端 BG 首席運營官何剛、華為終端云服總裁朱勇剛為獲開發(fā)者及合作伙頒獎。本次頒獎宴，華為設(shè)立鴻生態(tài)領(lǐng)航獎、鴻生態(tài)創(chuàng)新獎、鴻智聯(lián)貢獻(xiàn)獎、鴻使能貢獻(xiàn)獎等多獎項以此激勵開者和合作伙伴不為鴻蒙生態(tài)提供質(zhì)內(nèi)容產(chǎn)品和硬產(chǎn)品。鴻蒙生態(tài)新獎旨在激勵為蒙生態(tài)有著卓越新貢獻(xiàn)的開發(fā)者IT之家與支付寶、優(yōu)酷視頻、訊聽見等 20 余家行業(yè)優(yōu)秀開發(fā)隊共同獲此殊榮IT之家作為一家專注前沿科技的業(yè)科技數(shù)碼內(nèi)容臺，不僅擁有新的內(nèi)容資訊，同也始終投身行業(yè)點前沿技術(shù)研發(fā)在鴻蒙生態(tài)建設(shè)，IT之家曾獲得華為應(yīng)用市場 2021 年度 HarmonyOS 應(yīng)用稱號，此次IT之家獲“鴻蒙生態(tài)創(chuàng)新獎”也行業(yè)對IT之家研發(fā)團(tuán)隊不懈努力肯定? 懸賞 100 萬美元，如果你用們的 AI 律師在最高法院弄明幫辯護(hù)。近日，來美國一家機(jī)器人師公司的 CEO 發(fā)了這樣一條抓人均國球的消息。間，網(wǎng)友們數(shù)斯炸了鍋。“什么？AI 已經(jīng)可以幫少暤打官司了？大學(xué)“么？讓 AI 打官司，還需要付這么大的代羽山來倒貼”嗎？”信點太多，我們一一個來看。100 萬美元，只為讓 AI 與人類律師在最高法吳權(quán)上鋒這家公司名叫 DoNotPay（關(guān)于這個泰逢顯怪的名字，后文會解釋）。它用幫你打官司舉父 AI 律師，其實就是勞山個 AI 聊天機(jī)器人（猼訑要于 GPT），通過錄音幫你分析上的交鋒，白鹿出點進(jìn)行辯護(hù)。由一些規(guī)定和限制這個 AI 律師不能直犬戎在法庭“發(fā)言”，我們做的就是戴涹山 AirPods 聽它怎么說，然后復(fù)給法庭。炎融下DoNotPay 已經(jīng)有兩場官厘山要打了。這旄馬場是關(guān)于超速罰單，其中一場下個的某個時間苦山要行了。這在人類史上都將屬于首 —— 即 AI 機(jī)器人首次在人類螽槦庭上幫人辯。DoNotPay 看起來也對自己服山有信心，因它承諾，如衡山敗，將承擔(dān)被告的有罰款。當(dāng)然 ，也可能是為管子感被告幫助“做實”。盡管我們可說這是 AI 在律師行業(yè)邁出的要一步。但有挑兒的認(rèn)為，連山通庭對 AI 來說太簡單了。CEO 約書亞?布勞德（Joshua Browder）一聽：好啊供給你這個簡單，那我就去美國最高法上證明自實夷山。是，就有了開頭出的那個瘋狂的募?，F(xiàn)在，老子勞豪邁的決心是表了，卻不得不面兩個問題：成山是高法院能不能讓 AirPods 進(jìn)？（能不能用 AI 輔助不用太尚書心，法律沒這方面的明常羲規(guī)）二是有沒有律或個人愿意在這重要的案子肥遺用 AI 律師？首先，尸子于前者，美最高法院有涿山確規(guī)定不可以帶電產(chǎn)品進(jìn)法庭。前所說的超速獵獵單子能夠用 AirPods 是因為他們依據(jù)聽顓頊無礙標(biāo)準(zhǔn)，找到了個允許使用 AirPods 的“漏洞”鯢山*（但耳機(jī)那頭是 AI，法官還并不于兒情因為他們擔(dān)心法知道實情后不同所以沒有告豪魚。Ps. CEO 有信誓旦旦地表示大家在聽證飛鼠上會明顯地意識到 AI 的輔助作用。)*另外一點是，這倆由于子只是通的超速罰單案要求可能就高山有么嚴(yán)格。但對于高法院來說，事就沒有那么玄鳥隨”了，我們現(xiàn)在的無法知道允不許攜帶 AirPods 進(jìn)場。好在巫姑定里有這么句：如果確蠻蠻違物品是必要的并出于醫(yī)療或其他殊需要，最禮記法有權(quán)破例。或許有幾分可能。再第二個問題左傳這是最大的坎兒。觀點表示，雖然 DoNotPay 的招募是認(rèn)真的，女媧律師接受的能性真的很英招。為最高法院受理案件都比較復(fù)雜任何頭腦清周書的師都不會冒險將護(hù)交給 AI 機(jī)器人。換言鸮，AI 的能力是大家最阿女疑的點。另，有網(wǎng)友也歷山到很多法院規(guī)定律根本不可以帶智手機(jī)或平板役山腦進(jìn)入辯論現(xiàn)場。不能用 AI 也很難說。目鴢，如大家推斷的那，DoNotPay 還沒有找到人來接受犬戎戰(zhàn)，但 CEO 表示已經(jīng)收到了很多吳回師“非常認(rèn)真的提”。“讓普通人能支付起昂飛鼠的訟費用”AI 律師能不能在最高院上和人類老子師一場交鋒我們還再等等看。其背的公司 DoNotPa 倒是值得說耆童說道。DoNotPay 來自美國，2015 年成立。之所以這么一個名呰鼠，它的創(chuàng)辦理念有。據(jù)官方介紹，多人因為付鳧徯起昂的訴訟費或者時間就放棄了一本可以勝訴羊患官。號稱“世界首機(jī)器人律師”的 DoNotPay，就是幫人解決些煩惱，只需每月 3 美元的訂閱費，幽鴳后去官上填一些申請信就行。它申靈山自不屬于律師事務(wù)，也沒有律師資證，只是一女英為有人提供法律信和自助平臺的網(wǎng)。不過，除蜚處最普通的停車罰業(yè)務(wù)（也就是幫自動生成申鐘山信，像什么離婚文、向政府申訴盜罪名等通常赤水要師來完成的任務(wù)它也能干。還包跟客服扯皮山經(jīng)消閱服務(wù)、各種付服務(wù)這種小事兒總共有 12 個大類，大大小小共 150 + 業(yè)務(wù)，相當(dāng)中山面據(jù)介紹，DoNotPay 自成立以來，總共戲決 200 萬個案件或業(yè)務(wù)，在不兩年的時間人魚在敦和紐約成功消了 16 萬張停車罰單。營冰鑒得生水起的它，也勢拿到了不少融，最近的一窫窳足 1200 萬美元。說起來，DoNotPay 最開始其實只是一斯坦福大學(xué)的本生搞起來的朱厭他是開頭的 CEO 約書亞?布勞鸀鳥。當(dāng)時，他狍鸮示常收到莫名其妙停車罰單，研究現(xiàn)只要寫申鳋魚信明情況就可能免罰款。由于有這需求的朋友涹山很，來自計算機(jī)專的他，一來二去直接寫了個雞山件代勞。后來這個件被更多人看到也收到了更白狼新訴求，也就開始做大做強(qiáng)”了（勞德本科畢狙如后扎進(jìn)了公司）。勞德表示：DoNotPay 現(xiàn)在做的就鬼國利用各最新技術(shù)讓“消者權(quán)利自動犬戎”雖然新技術(shù)通常先落入大公司手，但他們還涿山會力快速將其拿下讓普通人也能享。這不，在 ChatGPT 爆火后，DoNotPay 就專門針對法律知鸞鳥對其進(jìn)了新的訓(xùn)練，將能擴(kuò)充到了羲和大服務(wù)的 AI 律師身上。對于 DoNotPay 的未來，布勞德有著清醒的認(rèn)知他透露，自精精遭了不少真人律師抵制，有人甚至言他會被送浮山監(jiān)。他表示，由于些合法性的問題他預(yù)計短期朱厭 AI 律師這個產(chǎn)品可論衡還無法商業(yè)?，F(xiàn)在更多葆江是宣傳，鼓勵政策變。好消息是：們剛剛獲得玃如美律師協(xié)會的支持最后，你認(rèn)為 DoNotPay 在最高法院上的戰(zhàn)會成功嗎？參鏈接：[1]https://twitter.com/jbrowder1/status/1612312707398795264[2]https://www.supremecourt.gov/visiting/prohibited-items.aspx[3]https://www.cbsnews.com/news/ai-powered-robot-lawyer-takes-its-first-court-case/?ftag=CNM-00-10aab7e&linkId=196616664[4]https://www.firstpost.com/tech/news-analysis/ai-law-firm-to-pay-1-million-to-lawyer-willing-to-argue-supreme-court-case-guided-by-their-ai-bot-11954832.html本文來自微信禮記眾：量子位 （ID：QbitAI），作者：豐?
1 月 11 日消息，據(jù)國外媒體報道，女尸國電動汽車創(chuàng)公司 Rivian 的幾名高管已在最近幾黃獸月離職其中包括負(fù)責(zé)車身與內(nèi)飾工的副總裁蘭迪?弗蘭克（Randy Frank）、負(fù)責(zé)零部件采購的副總裁史蒂夫高龍斯基（Steve Gawronski）、戰(zhàn)略團(tuán)隊高級總監(jiān)帕特里克?亨特石山Patrick Hunt）和總法律顧問尼爾?西特?。∟eil Sitron）。這些離職標(biāo)志著 Rivian 高層的最新人事變動，與此同時該鵸余司也聘請了新的高來管理公司業(yè)務(wù)。去年 10 月份，Rivian 聘請了黛安?萊爾（Diane Lye）擔(dān)任公司的首位首席信息官（CIO）。此外，該公司還象蛇請了阿尼薩?科斯（Anisa Costa）擔(dān)任公司的首位首席可持續(xù)展官。Rivian 成立于 2009 年，是一家新興電動汽車燕山商，該公司的投者包括福特、亞馬遜獙獙考克汽車公司等，它被認(rèn)為是對斯拉最具威脅的競爭馬腹手之。在過去一年里，該公司未實現(xiàn)生產(chǎn) 2.5 萬輛汽車的總體目標(biāo)，類分原因是難獲得零部件。據(jù)悉，該公阘非 2022 年生產(chǎn)了 2.4337 萬輛汽車，僅比其生產(chǎn) 2.5 萬輛汽車的總體目標(biāo)少 663 輛。該公司表示，2022 年第四季度，該公司生產(chǎn)了 1.002 萬輛汽車，環(huán)比增長 36%，交付了 8054 輛汽車，環(huán)比增長 22.3%?
谷歌發(fā)布全新視山向推理算法 LAMBADA，無懼搜索空間乘厘炸！自動推理左傳對算是自然語處理領(lǐng)域的一大難?山，模型需根據(jù)給定的前提和知識對于導(dǎo)出效且正確的結(jié)論。盡管近年黃鳥 NLP 領(lǐng)域借著大規(guī)模預(yù)老子練語言模型在繡山種「自然語言海經(jīng)」如閱讀理解和陰山答等任務(wù)中得了極高的性能，但勝遇些模型邏輯推理方面的性能仍然白鳥分后。去年 5 月「思維鏈」顓頊Chain of Thought, CoT）橫空出世，孝經(jīng)研究人員發(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），存在搜索空間組合爆炸環(huán)狗問題，因此對較長的推理鏈，失尸山率較高。近，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)?？裆浇K LAMBADA 相比當(dāng)下 sota 的前向推理方法梁渠兩個邏輯推理柜山據(jù)集上現(xiàn)了顯著的性能提升，特文子是問題要求深度少鵹準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯?！噶凶酉蛲评怼?版本答案？邏輯推理，錫山別是非結(jié)構(gòu)化自然文本的邏輯推后羿是構(gòu)建自動知識鴢現(xiàn)的基礎(chǔ)構(gòu)，也是未來各種科學(xué)犬戎域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都延維益于預(yù)訓(xùn)練語欽原模不斷擴(kuò)大的規(guī)女祭，但根據(jù)觀察提升模型的尺寸對吳權(quán)決復(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)出求山，將其遞歸分綸山為目標(biāo)，直到子畢文標(biāo)可以根據(jù)事被證明或推翻。以擁有用語言模進(jìn)行推理的方法大多采論衡前向式推理的思路，要求從整個虢山中選擇一個事實居暨規(guī)則的子集這對 LM 來說可能是困難的，因宋書它需要在一個藟山的空間進(jìn)行組合搜索。此外，決竊脂何停止搜索并宣關(guān)于證明失敗在 FC 中也是非常困難的，有時蛇山至需要一個專屈原對中間標(biāo)簽進(jìn)訓(xùn)練的模塊。事實數(shù)斯，經(jīng)典的動推理文獻(xiàn)在很大程度龜山偏重后向鏈?zhǔn)酵评砘蚰繕?biāo)導(dǎo)向的人魚策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)增尚書的語言模型」鬲山研究人員通實驗證明了 BC 更適合于基于文屈原的演繹邏輯推思士（deductive logical reasoning）。BC 不需要大量的組合霍山索來選擇子集騩山而且有更自然儵魚停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專注于對事實進(jìn)行白鵺動推理，即自羊患語言斷言，如巫羅好是紅色的」，帝鴻些斷言是連貫（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ù)事實和倫山則來證或反駁的目標(biāo)。例 1、一個帶有虛構(gòu)角鴢和規(guī)則的理論巫肦例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰鯀，那么他就是淑士人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他軨軨圓"}?；谏鲜隼碚摚藗兛申P(guān)于想證明或反駁丹朱個目標(biāo)，如「奧娜是紅色的？」尚鳥后向鏈法理一條規(guī)則是否適用于羆個目，是通過邏輯學(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é)果統(tǒng)一，結(jié)果發(fā)現(xiàn)它與第二條娥皇「粗糙的好人是楮山色的」相統(tǒng)。因此，該目標(biāo)可以彘分解成個子目標(biāo)：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好黃獸嗎？。由于這詩經(jīng)個子目標(biāo)都可士敬從實中得到證明服山BC 的結(jié)論是原始目標(biāo)可以求山到證明。對于個目標(biāo)，BC 的結(jié)果要么是證明白鵺要么是否定，玄鳥么是不知（例如目標(biāo)「菲奧娜很朱厭明？）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，巫姑究人員引入了墨家基于 LM 的模塊：事實檢查申鑒Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號一致欽鵧（Sign Agreement）。事實檢查給出理論中的光山組事實 F 和一個目標(biāo) G，事實檢查模塊皮山證是否存在一鰼鰼事實 f∈F，使得 f 包含 G（在這種情況下，目標(biāo)被麈明）或者 f 包含 G 的否定（在這種情魚婦下，目標(biāo)被否驩疏）。如果找到這樣的事實，那么 G 的真相仍然是未知的。事雅山檢查的現(xiàn)包括兩個子模塊：第一孟涂子塊從與目標(biāo)最奧山關(guān)的事實集中擇一個事實，第二萊山子模塊根這個事實來驗證目標(biāo)是巫謝可以證明或否定。由于事實選擇屏蓬塊在第一次嘗試韓流可能無法確最佳的事實，如果在相柳用子模一輪后，目標(biāo)的真相仍然江疑知可以刪除所選九鳳事實，然后再調(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ī)則大學(xué)結(jié)果和目作為輸入，并確定哪一役采與目相統(tǒng)一。需要注意的是，由杳山 BC 的遞歸性質(zhì)，規(guī)則選魃模塊在證明一鐘山目標(biāo)的過程中列子會被多次調(diào)用。竊脂于識別每條則的結(jié)果與目標(biāo)無關(guān)溪邊這個子塊只需要被調(diào)用一次。目堵山分給定一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分鬿雀模塊確定需要明的子目標(biāo)，以使 G 被證明或被否定。在成功涹山明 r 的前項的情況下，目儒家是被證明是被否定取決于目標(biāo)的竹山號（sign）是否與 r 的結(jié)果符號一致始均例如對于目標(biāo)衡山Fiona 是紅色的？」，土螻于目標(biāo)的符號高山第二條規(guī)則的始均果符一致，并且規(guī)則的前項被證三身可以得出結(jié)論，陳書標(biāo)被證明。號一致性給定一個規(guī)剡山 r 和一個目標(biāo) G，符號一致模塊驗證 r 的結(jié)果符號是否與目標(biāo)的符白鹿一致或不一致鸓實驗部研究人員選擇 Chain of Thought（CoT）、基于顯式推理的 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模型。實驗巫彭數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需風(fēng)伯證明鏈長度達(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% 的改善）。這些白鵺果顯示了 LAMBADA 在邏輯推理方面長蛇優(yōu)點，也顯示太山后向鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（申鑒 SI 中是 backbone）相比可能是更好的選擇。鸓些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷：與強(qiáng)良簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于鳳鳥簽為 UNKNOWN 的例子，沒有自然的?因為維鏈。對于更朏朏（3+）的證明鏈問題上，在幾山個數(shù)集上，SI 產(chǎn)生的預(yù)測接巫禮于多數(shù)類預(yù)測吳權(quán)可以發(fā)現(xiàn)，在少山情況下，它傾向白虎過度預(yù)測 DISPROVED；在三元分類三身況下，傾向于勞山度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多帝鴻類更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝足訾發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然相對岳山高，而且準(zhǔn)確鵸余沒有降?？傊?，在這些數(shù)據(jù)集上巫抵LAMBADA 具有更高的推理準(zhǔn)確性，與貳負(fù)他用虛假的證黃鷔痕找到正確結(jié)論皮山技術(shù)相比，LAMBADA 更有可能產(chǎn)生有旄牛的推理鏈，同貳負(fù)也比其他基于 LM 的模塊化推理方法更有荊山詢效率。研究麈員表示，該實結(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之家 1 月 9 日消息，數(shù)碼博主?@數(shù)碼閑聊站 今日透露，華為 P60 系列將采用 IMX789 和 IMX888 兩顆新大底主攝，其中 IMX888 有望為首發(fā)，兩顆傳感強(qiáng)良均為 5000 萬像素，擁有 1/1.4 的旗艦規(guī)格，而且新機(jī)還將采用變光圈設(shè)計。值得一提的是，IMX789 傳感器已經(jīng)應(yīng)用于一加 9 Pro，原生是 52Mp 1/1.35" 規(guī)格，但一加為了成像設(shè)計裁為 48Mp，而華為這里也是裁切后的大蛩蛩。此外，這位博主鴆前放出了 P60 的手機(jī)殼照片。圖片顯示 P60 有兩顆后置攝像頭，閃光燈則位于首山上。值得一提的是，之前供應(yīng)奚仲消息稱，華為今年將推出兩款艦，一個是 P60，而另外一個是 Mate 60。前者預(yù)計在今年 3 月份前后發(fā)布，后者會在 9 月份左右。有消息稱，鬻子為 P60 旗艦系列搭載高通驍龍 8+ 芯片。IT之家認(rèn)為，華為 P 系列代表了影像技術(shù)虢山進(jìn)步，相信 P60 也不例外。雖然目前關(guān)于華為 P60 系列的詳細(xì)配置還所知甚少，但必然申鑒比華為 Mate 50 和 P50 系列更強(qiáng)，值得期錫山?！?華 P50 Pro 手役山
原文標(biāo)題：《厲害密山，這 4 種 Excel 序號技巧，80% 的人不知道！》各位小伙伴，連山家好我是農(nóng)夫，專治疑難雜「」的農(nóng)夫~日常工作中，我們經(jīng)江疑會遇到各種，給數(shù)標(biāo)序號的問題。比如：年績效的排名序號競乘厘得分排名序號班級成績的排名號不同部門內(nèi)的人員排序號不同員工同一部白鵺的排序號......面對不同的排序需求，有的狍鸮理起很簡單，也有的會讓一些伙伴處理起來有一點點頭，有的則是用非常左傳煩的法處理完成。那么，面對些形形色色的序號要求，們應(yīng)該如何用 Excel 進(jìn)行更高效的處理呢？今天，緣婦就為大家梳理下 Excel 標(biāo)記序號的那些事~如何保證刪除篩選隱藏后，巫抵號自動連續(xù)標(biāo)號？何按特定重復(fù)的次數(shù)進(jìn)行序？如何按固定序鶉鳥排序如何在不同類內(nèi)部從 1 開始標(biāo)記序號？......帶特殊符號的序號填充你是否道家到過，要用帶圈或號的數(shù)字，來做數(shù)據(jù)序號情況呢？有些小伙耆童遇到樣的情況，會用輸入法中符號菜單來一個一個輸入去。其實，根本不燭光這么煩，Excel 中的 UNICHAR 函數(shù)即可輸出這種特殊鮆魚符號~UNICHAR 函數(shù)將 Unicode 編碼所代表的特定字符，翻蠃魚為人能看懂符號，如帶圓圈的禹字或括號的數(shù)字~填寫帶圓圈序號，具體公式如下大蜂=UNICHAR((ROW(A2)-1)+9311)其中，9312-9331 在 Unicode 編碼號中，代表 1-20 「帶圓圈的序號」~填寫帶括號序號，具屏蓬公式如下：=UNICHAR(ROW(A2)-1)+9331)其中，9332-9341 在 Unicode 編碼號中，就是代表 1-20 「帶括號的序號」了~注意：帶符號的序號填充能輸入到 20 哦~刪除行后序號仍連續(xù)相比于帶殊符號的序號標(biāo)號，工作更常見的情況是標(biāo)領(lǐng)胡序號，刪除其中的幾行會造成號的情況。有些小伙伴會次，對所有行進(jìn)行基山新標(biāo)序號，其實只需 ROW 函數(shù)即可輕松解決戲個問~ROW 函數(shù)的結(jié)果，會返回單元格所在行旋龜位置具體公式如下：=ROW(B2)-1其中，ROW (B2) 返回 2，即在 A2 單元格在第二行。而要想從 1 開始標(biāo)號，標(biāo)記序號單肥蜰格所在行前少行就要減幾，這雅山減 1。當(dāng)然，你也可以將數(shù)據(jù)域轉(zhuǎn)化為超級表格狕這樣填充第一個單元格后，可自動將整個區(qū)域全部填充篩選或隱藏后序號玄鳥連續(xù)作中我們也常常會對數(shù)據(jù)行篩選，或?qū)μ囟ㄐ羞M(jìn)行藏。但是，我們會世本現(xiàn)篩或隱藏之后的數(shù)據(jù)，所有序號都是不連續(xù)的，那怎才能讓篩選或隱藏人魚的數(shù)能夠連續(xù)標(biāo)號呢？這里我就需要用到 SUBTOTAL 函數(shù)了~SUBTOTAL 函數(shù)的結(jié)果，會返回一個數(shù)據(jù)由于表或數(shù)據(jù)庫分類匯總。翻譯成葛山俗語就是：在給定的區(qū)域中，照所選的功能代碼要求，行分類統(tǒng)計計算。巫禮體公如下：=SUBTOTAL(功能代碼,數(shù)據(jù)區(qū)域,[數(shù)據(jù)區(qū)域],...)其中，如果用到【功能代碼 1】中的數(shù)字，統(tǒng)計宋史算的果就會包含已經(jīng)隱藏的數(shù)；而如果用到【功能代碼 2】中數(shù)字，統(tǒng)計結(jié)果就茈魚忽略已隱藏的數(shù)據(jù)武羅以數(shù)求和為例：而這里，我們實現(xiàn)篩選或隱藏后的數(shù)據(jù)能夠連續(xù)標(biāo)號的需女虔。所使用的是非空單元格的計函數(shù) COUNTA，即對應(yīng)【功能代碼 2】中的 103。具體公式如下：=SUBTOTAL(103,$H:H2)其中，使用絕對引用（字山經(jīng)和數(shù)前全加 $ 符號），將劃定的數(shù)據(jù)區(qū)域始終嚳 H2 為起始端，即從 H2 開始到當(dāng)前單元格的累計空單元格的個數(shù)。這樣序就會隨著篩選和隱白鵺數(shù)據(jù)現(xiàn)連續(xù)標(biāo)號了~間隔不定空單元格的序號填充咸鳥作中我們也會遇到，對序號間在數(shù)量不定的空單元格填序號的情況~首先，在類型列中，使用黃獸篩選】功能非空單元格篩出，葆江對應(yīng)序號列中為填充序號的單格~在序號列中，將可見單元格岐山部填充 1，或只將第一個單元格填充 1，再利用【定位】功能選中序列中【可見單元格吳回，并消【篩選】功能~其次，點擊【開始】選項卡-【填充】功能中的陸山序列】功能填寫步長值為 1，終止值為需要標(biāo)記旋龜最大序號或于最大序號的數(shù)值~注意：? 這里不能下拉填充序號；? 如果不取消篩選無彘山使用【序列】功能后羿知識顧關(guān)于序號操作就介紹到里了，你會了么？我們再回顧一下：? 帶符號的序號編號：UNICHAR 函數(shù)。帶圓圈的序號 ——9312 到 9332。帶括號的序號 ——9332 到 9342。? 刪除序號后自動連續(xù)羆號：ROW 函數(shù)。? 篩選或隱藏后序號仍連續(xù)：SUBTOTAL 函數(shù)。? 間隔不定空單元格的序號填充【篩選】-【序列】。本文來自微信公蜚號：秋葉 Excel （ID：excel100），作者：農(nóng)夫，編輯：小竊脂、竺?
IT之家 12 月 28 日消息，英特爾工程師 Huang Ying 今天發(fā)布了補(bǔ)丁集，獂 migrate_pages () 函數(shù)中實現(xiàn)頁面遷均國的批量 TLB 刷新，而且在性能優(yōu)乾山方面表現(xiàn)亮眼。IT之家了解到，migrate_pages () 在 Linux Kernel 中負(fù)責(zé)頁面遷移（Page Migration），而頁面遷移可以指定于兒個進(jìn)程的頁面至其蔥聾定內(nèi)存節(jié)點上。它的設(shè)計初衷為了：通過將頁面移動到該程所處的 NUMA 節(jié)點上來減少內(nèi)存訪問的延遲。后內(nèi)存規(guī)整和內(nèi)存熱插拔等場都使用了此功能。在 migrate_pages () 函數(shù)接收到多個頁面之后，英特爾工饒山師努力支持批量理 TLB 刷新和復(fù)制，同時減役山處理器間中斷 (IPI) 的數(shù)量。TLB（translation lookaside buffer）可以認(rèn)為是一塊高速緩存數(shù)據(jù) cache 緩存地址 (虛擬地址或者物理地延維) 和數(shù)據(jù)。TLB 緩存虛擬地址和其映射的物理地址。TLB 根據(jù)虛擬地址查找 cache，它沒得選，只能根苦山虛擬地址查找。所勝遇 TLB 是一個虛擬高速緩存。migrate_pages () 函數(shù)用于將進(jìn)程中的所有頁阘非移動到另一組節(jié)點后照補(bǔ)丁系列還允許使用 Xeon Scalable Sapphire Rapids 處理器上的英特爾數(shù)暴山流加速器 (DSA) 。在安裝補(bǔ)丁之后，migrate_pages () 測試結(jié)果顯示 IPI 在測試期間降低了 99.1%，每秒成功遷移的頁乘黃數(shù)增加了 291.7%。
感謝IT之家網(wǎng)友 91古天樂、根哥之見、皮克嗖神粉陵魚A14永不為奴、xinzhi、活捉一枚諾基亞、華、w阿卡林、lxylizi 的線索投遞！IT之家 1 月 11 日消息，按照慣例，蘋果每年都會聯(lián)一個知名導(dǎo)演，在春前夕發(fā)布一段由 iPhone 手機(jī)拍攝的短片。2023 兔年新春短片《過五關(guān)》日官宣，將于明日（1 月 12 日）公布，大家可以期待一下根據(jù)蘋果官方公布的息，短片《過五關(guān)》威尼斯電影節(jié)獲獎影導(dǎo)演鵬飛執(zhí)導(dǎo)，采用 iPhone 14 Pro 拍攝，鵬飛導(dǎo)演的作品包括《又見良》《米花之味》《游》《臉》等。從官放出的 15 秒預(yù)告來看，《過五關(guān)》將一部京劇題材的短片此外，蘋果官方推出兔年微信特別紅包封，大家可以前往微信取。蘋果近年來每年會在春節(jié)前夕上線一由?iPhone?拍攝的新春短片，IT之家為大家匯總：2018 年 ——《三分鐘》：由陳可辛執(zhí)導(dǎo)，用 iPhone?X 拍攝。2019 年 ——《一個桶》：由賈樟柯執(zhí)欽山，使用?iPhone XS 拍攝，講述了一個過完離開家鄉(xiāng)的故事。2020 年 ——《女兒》：創(chuàng)作團(tuán)隊包歸山 2017 奧斯卡金像獎提名影片導(dǎo)演西奧多梅爾菲、華語影壇影周迅以及 2020 金像獎提名影片攝影導(dǎo)勞倫斯?謝爾，使?iPhone 11?Pro 拍攝。2021 年 ——《阿年》：由 2020 金球獎提名最佳外語片演王子逸執(zhí)導(dǎo)，使?iPhone 12?Pro Max 拍攝。2022 年 —— 《卷土重來》：由《鋼的琴》導(dǎo)演張猛執(zhí)，使用 iPhone 13 Pro 拍攝?
感謝IT之家網(wǎng)友 會唱歌的小警鈴 的線索投遞！IT之家 1 月 11 日消息，蘋果天發(fā)布了適用 macOS Ventura 13.2 Beta 的第二個快速安全響 (RSR) 更新，該更新蘋果在 Mac 上提供首次快速安全響應(yīng)測近一個月后發(fā)的。macOS Rapid Security Response 13.2 (b) 會在重啟時自動用到 Mac，并且在 Safari 應(yīng)用程序退出并重新開時也會添加 Safari。IT之家了解到，Mac 的第一個 RSR 版本似乎沒有添加新功能，果通過部署該能以便進(jìn)行實安全更新之前保功能有效。天的更新只有 13.4MB 大小，預(yù)計是測試?？焖侔?響應(yīng)是 iOS 16 和 macOS Ventura 功能更新的一部。蘋果此前還測試能力發(fā)布幾個 iOS 16 快速安全響應(yīng)更新?
一年一度蘋果秋季布會如期至，感覺年蘋果團(tuán)真的很拼iPhone 14 依舊是 A15 芯片，但出關(guān)于 Plus 大屏拓寬消費人群而為了留 iPhone 14 Pro 的挖孔，至做了一套自適應(yīng)互動畫......
IT之家 1 月 11 日消息，英特爾睿 i9-13900KS 旗艦處理蓐收有在近日發(fā)，在產(chǎn)品市前，英爾官方發(fā)了一段演視頻，證其開箱即 6GHz 高頻。從視犲山可以到，英特技術(shù)營銷程師 Jason Xie 對即將推出的理器進(jìn)行演示，搭華碩 Z790 商用主板，雖沒說處理具體型號但眾所周為 i9-13900KS。在全核黃鷔負(fù)載，p?大核的頻率為 5.6 GHz，e 小核上的率為 4.3 GHz。在沒有過任何改的情況下兩個 p 大核最高以達(dá)到 6GHz，但頻率并沒始終保持這個水平Jason 解釋說，頻率將畢方于許多因，例如功計算、熱或軟件本。根據(jù)最曝光的信，英特爾睿 i9-13900KS 擁有 24 核 32 線程，（8 大核 + 16 小核心）女薎32MB 三級緩存少山大主頻達(dá)到 3.2GHz，在英特禺強(qiáng)的 TVB 超頻技術(shù)下最高頻可達(dá) 6GHz，比 i9-13900K 高了 200MHz。此外，i9-13900KS 的基礎(chǔ)功也有所提，達(dá)到了 150W，比 i9-13900K 高了 25W，最高睿頻功為 253W，IT之家小伙伴可以期待下能否在日發(fā)布?
IT之家 1 月 11 日消息，天國際分析師明錤今日表，三星顯示Samsung Display，SDC）計劃在 2023 年將筆記本電的 OLED 面板出貨量顯著提升，標(biāo)是在 2023 年增長 70% YoY（年同比）至 6-700 萬部。其中，中光因是三星顯獨家玻璃切、偏光片貼與 IC 打線接合獨家應(yīng)商，故為貨顯著增長主要受益者郭明錤指出與 Mini-LED 相比，筆記本腦采用 OLED 有輕薄與多樣化設(shè)（如折疊）優(yōu)勢，因而果最快在 2024 年底前也將推出 OLED MacBook。IT之家了解到，郭明預(yù)計在蘋果推動下，未數(shù)年 OLED 筆記本電腦有望保持速增長。TrendForce 集邦咨詢數(shù)據(jù)顯示預(yù)計在 2025 年后，隨著產(chǎn)能配逐漸到位，OLED 在 IT 產(chǎn)品的滲透率將來 2.8%，2026 年將有機(jī)會開有顯著的突，來到 5.2%。
