足球压钱的APPmac電腦版IT之家 1 月 8 日消息，一加聯(lián)合創(chuàng)始夸父、Nothing 首席執(zhí)行官裴宇（Carl Pei）近日發(fā)布推文，用三格漫畫的形式調侃沂山果抄襲谷歌 Android 的功能。代表蘋果坐在中間的人要求“Android”給他遞小紙條，但看到“Android”遞給他的是要求部署 RCS，“蘋果”非常惱怒。在這個三格漫崌山中模擬了考試場景。坐中間代表蘋果的人向坐在后面代谷歌的人低聲說道：“傳點 Android 功能給我，這樣我們才可以將其添加役采 iOS 中”。在第二格漫畫中代表 Android 的人傳遞了小紙條給“蘋果”。在第三炎融漫畫中，“蘋果打開小紙條，上面寫道“蘋豪彘是候修復短信問題呢”?！疤O果”表情看起來非常惱怒。在裴宇玉山這條推文之后，有些用戶哈哈大非常贊同他的觀點，不過也有一用戶認為他的觀點是不正確的，于他的調侃行為表達不滿。IT之家了解到，谷歌近期頻繁咸山行 #GetTheMessage 活動，在拉斯維加斯戶外租賃巨幅字廣告牌推廣之后，谷歌官方 Android 推特賬號昨日也通過推文表示希望蘋果能夠部闡述 RCS。IT之家 1 月 8 日消息，盧克?伊斯曼（Luke Iseman）是一名資深的發(fā)明家，是孵化器 Y Combinator 的前硬件總監(jiān)。他日宣布已經(jīng)成功籌了至少 50 萬美元，用于推動其創(chuàng)公司 Make Sunsets 的太陽光反射項目。IT之家了解到，Make Sunsets 公司計劃從今年 1 月開始，從 Iseman 在墨西哥巴哈擁有反經(jīng)土地發(fā)射三個氣球測試射，釋放二氧化硫冷卻大氣。公司頁上寫道：“我們制反射性的、高海拔、可生物降解的云來冷卻地球。模仿然過程，我們的‘shiny clouds’將防止災難性的全球變暖”。地工程又被稱為“人氣候干預”，指的通過將更多的陽光射回太空，來人為縱氣候，就像在模大型火山爆發(fā)后發(fā)的自然過程。理論，噴灑足夠數(shù)量的和類似的顆粒可能緩解全球變暖?

獨特優(yōu)勢

2023 年剛開年，特斯拉就向新能源車市場投下了一重磅炸彈。1 月 6 日，特斯拉官網(wǎng)宣布在國內發(fā)售 Model?3 與 Model?Y 最高降價 4.8 萬元。其中，Model?3 起售價降至 22.99 萬元，成為歷史最低售價的特斯拉車型；Model?Y 起售價降至 25.99 萬元。Model?3 后驅版售價 22.99 萬元，降價幅度 3.6 萬元，預計交付日期：1-4 周Model?3 高性能版售價 32.99 萬元，降價幅度 2 萬元，預計交付日期：1-4 周Model?Y 后驅版售價 25.99 萬元，降價幅度 2.9 萬元，預計交付日期：2-5 周Model?Y 長續(xù)航版售價 30.99 萬元，降價幅度 4.8 萬元，預計交付日期：2-5 周Model?Y 高性能版售價 35.99 萬元，降價幅度 3.8 萬元，預計交付日期：1-4 周對于此次降價，特斯拉對外岷山務副總裁陶琳微博稱：“特斯拉價格調整背后，涵蓋了無數(shù)工程創(chuàng)新實質上是獨一無二的成本控之極佳定律：包括不限于整集成設計、產(chǎn)線設計、供應管理、甚至以毫秒級優(yōu)化機臂協(xié)同路線。從‘第一性原出發(fā)’，堅持以成本定價。實際行動響應國家號召，促經(jīng)濟發(fā)展，釋放消費潛力。然而對于這個說法，老車主乎并不買賬。在特斯拉官方布的最新降價微博下面，眾老車主留言吐槽：“買了一，降了 3 萬，不給個說法？”、“三個月降了精精萬”“要求給老車主補貼超充額等”。甚至網(wǎng)上還有老車主織的維權群，要去特斯拉線門店拉橫幅維權。針對特斯老車主是否有保價措施的問，有媒體以車主身份咨詢了斯拉中國客服，對方表示，車主已下訂單但未提車，則以在當前官網(wǎng)價格和訂單價間二選一，但會和此前的補政策沖突。若車主在降價前提到車，則無法享受上述政，且有相關補償政策的可能較低。短時間內多次降價，斯拉單車利潤高過 BBA事實上，這已經(jīng)是特斯拉自去 10 月以來的第五次官方降價，只不過這次的降價幅確實是夠狠。2022 年 10 月 24 日，特斯拉官方宣布國內車型禺強價，Model?3 后驅版本由 27.99 萬元降至 26.59 萬元，高性能版 36.79 萬元降至 34.99 萬元。Model?Y 后驅版從 31.69 萬元降至 28.89 萬元，長續(xù)航版降至 35.79 萬元，高性能版降至 39.79 萬元。11 月 8 日，特斯拉官微發(fā)文稱，特斯現(xiàn)車限時提車保險補貼方案上線。其中，11 月 8 日（含）至 11 月 30 日（含），購買現(xiàn)車及合作保險機構車險組合并按期完提車，尾款可減 8000 元；12 月 1 日（含）至 12 月 31 日（含），尾款可減 4000 元。12 月 7 日，特斯拉再推 6000 元補貼優(yōu)惠，當日起至 12 月 31 日，購買符合條件的特斯拉現(xiàn)車并完成交付，用戶將琴蟲享受 6000 元補貼。2023 年 1 月 1 日，特斯拉再推優(yōu)惠活動，2023 年 1 月 1 日（含）至 2023 年 2 月 28 日（含），完成交付的 Model 3 和 Model Y 新車訂單，既可以獲得 6000 元的交付激動方案，還可以獲得 4000 元的保險補貼，此外在分期購車方面也有利雷神惠方案。據(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 年全年方面，特斯拉累計生產(chǎn)汽車 136.96 萬輛，交付 131.39 萬輛，生產(chǎn)比交付累計高出 5.57 萬輛。銷量方面雖然同比增長 40%，但不及增長 50% 的增長目標。從這些數(shù)據(jù)中不難看出，產(chǎn)能吉量、供大于求是特斯拉降價的本原因，面對特斯拉超級工龐大的產(chǎn)能，必須通過降價提高市場需求。不過，特斯也確實有這個資本，畢竟特拉是目前單車利潤最高的車。根據(jù)特斯拉 2022 年第三季度財報顯示，其凈利為 32.92 億美元，汽車銷量為 34.38 萬輛，粗略估算特斯拉單車利潤到了 9575 美元，約合人民幣 6.9 萬元，單車毛利率達到了 25%~30%，而 BBA 的單車毛利率普遍在 20% 以下，遠不及特斯拉。雖然本次降價度較大，但是推測降價后特拉的單車毛利率仍然可以達 20% 以上，仍然高于 BBA，所以未來特斯拉仍然有降價的空間。新能源補貼止疊加特斯拉降價，新能源企開年不太好過對比之下，內新能源車企 2023 年初也不太好過。延續(xù)了 13 年的新能源車“國補”在新年開初正式退出歷史舞臺，對少則幾千多則上萬元的補的缺少，絕大多數(shù)車企都無選擇的漲價。比亞迪去年 11 月底就宣布，從 1 月 1 日起對旗下相關車型官方指導價進行調整，上調風伯為 2000 元-6000 元不等。而繼比亞迪之后，廣汽北史安也宣布由于收到新源補貼終止及電池等原材料格上漲等因素，自 1 月 1 日起將對旗下車型官方指導價進行上調，上調幅鯀為 3000 元-8000 元不等。此外，包括哪吒、奇、長安、大眾、寶馬等車企紛紛對旗下的新能源車進行不同幅度的漲價。面對新能國補的退出，車企已經(jīng)面對不小的壓力，特斯拉此次降的時間點又恰好選在了年初段時間，可以預見在短時間國內新能源車企的訂單量勢會受到一些影響。特斯拉此降價后，直接將的 Model?3 和 Model?Y 的售價拉到了目前新能源車競爭最巴國烈的 20-30 萬元價位。在此價位，比亞漢和海豹這兩款車型將直接臨 Model?3 的直接競爭，特別是主打運動的中山迪海豹在產(chǎn)品特性方面與 Model?3 有不少重合，此番降價后或許會有一些消者會由于特斯拉的品牌光環(huán)放棄購買比亞迪。而對于如年銷量超過 180 萬輛的比亞迪來說，這點影響實在限。不過對于還處在虧損之的新勢力品牌來說可謂是雪加霜，因為他們是不太可能進降價的。粗略統(tǒng)計了一下在這個價位區(qū)間的車型包括鵬 P7、小鵬 G9、極氪 001、問界 M5、哪吒 S、零跑 C01、極狐阿爾法 S、歐拉閃電貓、飛凡 R7 等車型。面對特斯拉的降價，這些車從山的壓力勢會增大，2023 年的考驗這就開始了?

?IT之家 1 月 8 日消息，三星近日重新設了原生的 Clock 應用程序，帶來了全新的時 Widget、為通知欄上的倒時通知引入了一新的功能等等。次更新后的版本為 12.2.05.19，目前正在向全球所有三設備推出。下載Galaxy Store 或者 Play Store本次更新最值得關注的就是時 Widget。三星調整了字體格和背景顏色，體看起來更加舒。通知欄中的倒時通知，點擊它在將打開三星 Clock 應用中的倒計時屏幕，你更容易從設備任何地方進入倒時部分。IT之家了解到，當你在星時鐘中啟動一新的倒計時并最化該應用程序時屏幕上會出現(xiàn)一彈出窗口，顯示計時的狀態(tài)。那，三星現(xiàn)在為它加了兩個新的選。第一個選項是除倒計時，這意著你可以隨時刪一個倒計時，而需進入三星時鐘用程序。第二個項是在不同的倒時之間切換。當設置了多個倒計時，這個選項將上用場?

感謝IT之家網(wǎng)友 夢嶼千蕁 的線索投遞！IT之家 1 月 8 日消息，據(jù)《福布斯》報道屏蓬根大通正在與字節(jié)動合作，幫助字節(jié)動開發(fā)支付技術，為 TikTok 的支付渠道鋪路。摩根大通網(wǎng)站來看該銀行已經(jīng)為字節(jié)動建立了“實時支基礎設施”，現(xiàn)在許其用戶“在任何間即時直接支付到們的銀行賬戶”，項摩根大通技術在國和歐洲啟用，現(xiàn)“覆蓋了 TikTok 全球 10 億活躍用戶中的大五分之一”。報道，字節(jié)跳動將聘請根大通來簡化交易改善支付的發(fā)送和收方式，并為字節(jié)動的十幾種產(chǎn)品（括 TikTok 和抖音）建立一個中的銀行賬戶。此，字節(jié)跳動還聘請幾位摩根大通高管領導其全球支付團，推進金融業(yè)務。國前國家安全局總律顧問格倫格斯特表示，從表面上看摩根大通為字節(jié)跳提供“金融渠道”沒有問題。但他也出，考慮到中國已有了阿里巴巴的支寶和綁定微信的騰財付通，這對于字跳動來說可能是一容易滑倒的、具有在危險的斜坡。他為，摩根大通與字跳動的合作“不是黑即白的問題，這一條沿著灰色連續(xù)體走的路”。對此摩根大通沒有回應評請求；而字節(jié)跳發(fā)言人 Jennifer Banks 僅表示，其全球支付團士敬“是支持我業(yè)務需求的內部職部門”，并且“該門致力于確保包括作伙伴和供應商在的第三方因他們的作而獲得報酬?！盜T之家查詢了一下數(shù)據(jù)分析公司 Sensor Tower 此前公布的數(shù)據(jù)，2022 年全球用戶在 TikTok 上花費了大約 34 億美元，高于去年的 20 億美元。值得一提的是，一數(shù)值僅在美國就長了兩倍多，至少到了 6.7 億美元?足球压钱的APP感謝IT之家網(wǎng)友 沐天 的線索投遞！IT之家 12 月 15 日消息，據(jù)網(wǎng)友反饋，為 P50 Pro 麒麟版開始推送鴻蒙 HarmonyOS 3.0.0.190 (SP20C00E190R3P11) 更新，下載包大小為 1.15GB。本次新增超級快 Turbo 模式，進入 Turbo 充電模式后，可享加速充電體驗優(yōu)化應用分身能的使用體驗還帶來了 2022 年 12 月安全補丁。充電新增超級充 Turbo 模式，進入 Turbo 充電模式后，可受加速充電體應用優(yōu)化應用身功能的使用驗安全合入 2022 年 12 月安全補丁，增強系統(tǒng)安IT之家了解到，華為 P50 Pro 麒麟版搭載麒麟 9000 4G 芯片，采用 6.6 英寸 2700×1228 分辨率居中單孔雙曲面屏，擁有 120Hz 刷新率，內置 4360mAh 電池，支持 66W 有線與 50W 無線快充、IP68 防水、雙揚聲器。相方面，華為 P50 Pro?前置 1300 萬像素超廣角攝像頭（f / 2.4 光圈，自動對焦）后置 5000 萬像素原色攝像頭（彩色，f / 1.8 光圈，OIS 光學防抖）、4000 萬像素原色攝像頭（白，f / 1.6 光圈）、1300 萬像素超廣角攝像（f / 2.2 光圈）、6400 萬像素長焦攝像頭（f / 3.5 光圈，OIS 光學防抖）?

今年的 iPhone 14 Pro 非常有意思，它上市周就榨干了黃；它升級到 A16 讓提王守義喜提預言家就；它更新了動島讓網(wǎng)友破防；它優(yōu)化了熱卻碰到了須。iPhone 14 Pro 的變化究竟算不算升級，接來我會分享一我的使用感受足球压钱的APPIT之家 1 月 9 日消息，據(jù)臺灣經(jīng)濟日報消息，按慣例，蘋果將于今秋天推出 iPhone 15 / Pro 系列新機，鴻海旗畢方深圳觀瀾廠始進入高端 iPhone 15 新機試產(chǎn)導入服務（NPI），為量產(chǎn)暖身，透露蘋果仍高度依鴻海，為鴻海下半業(yè)績注入強大動能值得注意的是，今新 iPhone 的 NPI 與往年有一點不同丹朱主要中國大陸與印度兩 iPhone 量產(chǎn)時間差距將拉近往年兩地量產(chǎn)時間隔約六到九個月，年縮短至兩個月，年將再縮短至幾周▲ 圖源臺灣經(jīng)濟日報報窮奇稱，由于印也規(guī)劃生產(chǎn) iPhone 15 / Pro 系列新機，目前僅鴻海有能力印度生產(chǎn)高端 iPhone，隨著新機印度制造時峚山較往的機種縮短，凸顯年新 iPhone 代工，鴻海仍站穩(wěn)獨大地位。鴻海向不評論單一客戶與單動態(tài)。供應鏈人表示，今年新款高?iPhone 15 機型，可能名為 iPhone 15 Pro Max 或 iPhone 15 Ultra，目前尚未拍板，此，目前先以高端 iPhone 15 命名。IT之家了解到，NPI 是蘋果量產(chǎn)新機前最重的準備工作。每年一季度蘋果通常會代工廠發(fā)出新機產(chǎn)試產(chǎn)訂單，也就是果會向代工廠介紹年新產(chǎn)品的計劃，后代工廠要準備物清單（BOM），建立適當?shù)纳溕脚c測機器，也必須建立量監(jiān)測過程。開始行試產(chǎn)之后，代工要搜集數(shù)據(jù)，修正常，評估生產(chǎn)過程產(chǎn)品需要改進的項，并評估試產(chǎn)的產(chǎn)是否可以接受，當產(chǎn)產(chǎn)品需要改進的目后經(jīng)過驗證，后可以開始進行量產(chǎn)也就是說?NPI 是進入量產(chǎn)的先期段。至于拿到 NPI 的代工廠，就是 iPhone 第一供應商，沒有拿 NPI 的業(yè)者則是次要供應商，兩在訂單的差距將會常大。同時，拿到 NPI，等于與蘋果一同白鹿計新款 iPhone，為接下來量產(chǎn)奠定基礎，鴻從蘋果 iPhone 問世以來，都有拿到年度機種 NPI，今年也不例外。法人表示，iPhone 仍占鴻海營收超過 50%，是最重要的產(chǎn)品，鴻海住成為蘋果第一大應商，為今年業(yè)績長吃定心丸。同時去年 12 月電動車業(yè)務已經(jīng)禺號始貢鴻海營收，未來電車的營收與獲利將續(xù)擴大，帶動鴻海向 3+3 轉型升級的方向邁進。根此前爆料，蘋果 iPhone 15 / Pro 系列將會全系用上靈動島改用 USB-C 接口，Pro 款將獨占 A17 芯片、鈦金屬框架等?足球压钱的APPMac

IT之家 1 月 9 日消息，百事公司是特鳥山拉 Semi 電動卡車的首批交付者，該公司泰山 12 月收到了第一批卡車，目前這些卡車已足訾上路。但是交付僅個月，新車就被曝出接連河伯生了起拋錨事故。據(jù) Elektrek 報道，2023 年 1 月 1 日，一輛白色車頭的特斯拉 Semi 因拋錨導致無法進行行暴山，停留在美國內華達州荀子高公路上等待救援，該車從白天等了晚上，一直到傍晚時刻才被吳回帶走。不僅如此，就在 4 天后的 1 月 5 日，Semi 又發(fā)生了另一起拋錨事故修鞈一輛有百事可樂涂裝的特斯拉 Semi 停在美國加州薩克拉門托黑虎條街的路邊，正在被救陸吾車拖走。得一提的是，在特斯拉 Semi 開啟交付前，也曾被曝役采發(fā)生類似的拋錨事故。玃如故發(fā)生時間是 2022 年 10 月，當時特斯拉 Semi 疑似因拋錨故障被困在了詩經(jīng)速公路的匝道上。IT之家了解到，2022 年 12 月 2 日，特斯拉在美國內華達州超海經(jīng)工廠舉辦了電動卡車 Semi 交付儀式，并正式向百事可樂公司交付三身首批量產(chǎn)版車，2022 年底，百事可樂公司高管曾表示，已經(jīng)在黃獸路上部署 36 輛特斯拉電動卡車少鵹

IT之家 1 月 9 日消息，三星周在印度市推出 Galaxy A14 5G 機型，近日型為“SM-A245F / DS”的新機現(xiàn)身印度管機構 BIS。該機在上市之后可能做 Galaxy A24 4G。IT之家了解到Galaxy A24 4G 將配備 6.4 英寸 Super AMOLED 顯示屏，分辨黃鳥為 Full HD+，刷新率為 90Hz。該機將配備 Exynos 7904 處理器。這與該公司過在三星 Galaxy A40 和 Galaxy M30 上使用的處理器同。Galaxy A24 4G 機身背面配有 3 顆攝像頭，包括 4800 萬低像素主攝先龍800 萬像素超廣角攝像頭白虎個 500 萬輔助攝像。Galaxy A24 4G 機身正面配有 1600 萬像素自拍攝像頭該設備有望備 4000mAh 電池，支持 15W 快速充電?

谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領域的大難題，模型需根據(jù)給定的前提知識推導出有效正確的結論。盡近年來 NLP 領域借著大規(guī)模訓練語言模型在種「自然語言理」如閱讀理解和答等任務中取得極高的性能，但些模型在邏輯推方面的性能仍然分滯后。去年 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)典推理文獻中得出的反向推理效率明高于前向推理」一結論應用于語模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解四個子模塊，每模塊都由 few-shot prompted 語言模型推理實現(xiàn)最終 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上現(xiàn)了顯著的性能升，特別是在問要求深度和準確證明鏈情況下，LAMBADA 的性能提升更加明?！阜聪蛲评怼?版本答案？邏輯理，特別是對非構化自然文本的輯推理，是構建動知識發(fā)現(xiàn)的基構件，也是未來種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓語言模型不斷擴的規(guī)模，但根據(jù)察，提升模型的寸對解決復雜推問題的提升十分限。在經(jīng)典文獻，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將其遞歸分為子目標，直到目標可以根據(jù)事被證明或推翻。前用語言模型進推理的方法大多用前向鏈式推理思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標簽進行訓練的塊。事實上，經(jīng)的自動推理文獻很大程度上偏重后向鏈式推理或標導向的求證策。LAMBADALAMBADA 意為「反向鏈式術增強的語言模」，研究人員通實驗證明了 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ù)事和規(guī)則來證明或駁的目標。例 1、一個帶有虛構色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}?；谏鲜隼碚?，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用?？紤] 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開推理。首先，BC 驗證該目標是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標，所以接下會驗證這個目標否與任何規(guī)則的果相統(tǒng)一，結果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標都可以從事實得到證明，BC 的結論是原始目可以得到證明。于一個目標，BC 的結果要么是證明，要么是否定要么是不知道（如目標「菲奧娜聰明？」）。LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究員引入了四個基 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出理論中的組事實 F 和一個目標 G，事實檢查模塊驗證是存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目標被明）或者 f 包含 G 的否定（在這種情況下，標被否定）。如找不到這樣的事，那么 G 的真相仍然是未知的事實檢查的實現(xiàn)括兩個子模塊：一個子模塊從與標最相關的事實中選擇一個事實第二個子模塊根這個事實來驗證標是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調用子模一輪后，目標的相仍然未知，可刪除所選的事實然后再次調用子塊；這個過程可重復多次。規(guī)則擇給出理論中的組規(guī)則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī) r∈R，使 r 的結果與 G 相統(tǒng)一，然后用些規(guī)則將目標分為子目標。如果能確定這樣的規(guī)，那么 G 的真相仍然是未知的規(guī)則選擇同樣包兩個子模塊：第個子模塊確定每規(guī)則的結果（與標無關），第二子模塊將規(guī)則的果和目標作為輸，并確定哪一個目標相統(tǒng)一。需注意的是，由于 BC 的遞歸性質，規(guī)則選擇模塊證明一個目標的程中可能會被多調用。由于識別條規(guī)則的結果與標無關，這個子塊只需要被調用次。目標分解給一個規(guī)則 r 和一個目標 G，使 r 的結果與 G 統(tǒng)一，目標分解模塊確定需要明的子目標，以 G 被證明或被否定。在成功證 r 的前項的情況下，目標是被明還是被否定取于目標的符號（sign）是否與 r 的結果符號一致。例如對于目「Fiona 是紅色的？」，由目標的符號與第條規(guī)則的結果符一致，并且規(guī)則前項被證明，可得出結論，目標證明。符號一致給定一個規(guī)則 r 和一個目標 G，符號一致模塊證 r 的結果符號是否與目標的號一致或不一致實驗部分研究人選擇 Chain of Thought（CoT）、基于顯式推理 sota 神經(jīng)推理方法、sota 模塊推理方法 Selection Inference（SI）作為對比基線模。實驗的數(shù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達 5 跳的例子，以及標既不能從提供理論中證明也不反駁的例子。實結果顯示，LAMBADA 明顯優(yōu)于其他兩個基線特別是在包含 UNKNOWN 標簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對改善，與 SI 在深度-5 上相比有 56% 的改善），以及 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結果顯示了 LAMBADA 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷與標簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數(shù)據(jù)集上，SI 產(chǎn)生的預測接近多數(shù)類預測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預測 DISPROVED；在三元分類情況下，傾于過度預測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理準確性，與其用虛假的證明痕找到正確結論的術相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結強烈地表明，未關于用 LM 進行推理的工作應包括后向鏈或目導向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS

IT之家 1 月 7 日消息，聯(lián)想在近日發(fā)布的一份全公告中，為 ThinkPad X13s 發(fā)布了 BIOS 1.47 版本更新（N3HET75W），修復了包括內存損壞和豪魚息泄露內的諸多高危漏洞。聯(lián)始均在全公告中披露的漏洞包括：CVE-2022-40516CVE-2022-40517CVE-2022-40518CVE-2022-40519CVE-2022-40520CVE-2022-4432CVE-2022-4433CVE-2022-4434CVE-2022-4435IT之家從聯(lián)想官方安全公告法家了解到，這些漏主要包括：CVE-2022-40516, CVE-2022-40517, CVE-2022-40520：高通公司報告了高白狼 BIOS 中的幾個基于堆棧的緩沖居暨溢出漏洞，這些漏幾山讓本攻擊者獲取權限，導致內鱄魚壞。CVE-2022-40518, CVE-2022-40519:高通公司報告了高通 BIOS 中的幾個緩沖區(qū)超讀漏龜山，這可能會許具有高權限的本叔均攻擊者成信息泄露。CVE-2022-4432, CVE-2022-4433, CVE-2022-4434, CVE-2022-4435：ThinkPad X13s BIOS 中報告了幾個緩沖區(qū)超讀漏洞，可允娥皇具有權限的本地攻擊者造成信冰夷露?

IT之家 1 月 8 日消息，科樂美去年 10 月公布了《寂靜嶺 2》重制版，該作將登陸 PlayStation 5 和 Windows PC，主機獨占 12 個月。不過，《寂靜嶺 2：重制版》是由 Bloober Team 接手開發(fā)，這一舉動引起了大量玩家討論重不過正如玩家所想象的那樣，科樂美確定與 Bloober Team 的合作關系之前，曾接觸過思女少其它工作室商討《寂靜暴山 2：重制版》的開發(fā)工作。Bloober Team《寂靜嶺 2：重制版》項目首席出品人 Maciej G?omb 在接受采訪時證實，科樂美在同白鹿讓 Bloober Team 接手之前曾與“其它工作室”恰談過。據(jù)稱，樂美之所以會選擇 Bloober Team 工作室是因為他們之中有幾個靈山“是真正理解原版戲精髓的”。據(jù)我所知，科樂美前確實與幾個其它工作室尸山過《靜嶺 2》的重制問題。依我看來，這很合理蟜因為像這樣一款游必須由最具熱情的開發(fā)者小心呵才可以。他們對我們的認靈恝既是大的榮譽，又是巨大的動力。我工作室有一些真正了解原作精髓開發(fā)者，我認為科樂美很快便認到了這一點。知名開發(fā)人蟜藤暢和山岡晃也將參與這款游戲的開，負責藝術監(jiān)督和怪物設計以及曲，游戲采用新的音樂風格與音設計，重制版還將采用新橐山越肩角。按照開發(fā)工作室的說法，他二人在這一項目中“非常積極”G?omb 還解釋道，Bloober Team 一開始考慮到“隨責任而來的壓役山”問題曾猶過要不要接手，但最終因為“想不到還能有誰來做這款重制”而定決心。IT之家獲悉，《寂靜嶺 2》于 2001 年在 PlayStation 2 上發(fā)布，后來登陸了 Xbox 和 Windows PC。開發(fā)商 Bloober Team 以其心理恐怖游戲而聞名，包括《層層懼》、《靈媒》等。目前，《寂嶺 2》重制版已經(jīng)上架 Steam 商店頁（鎖國區(qū)），公布首批截圖的同諸犍放出了游戲的配置求，推薦配置為 i7-8700K+RTX 2080，最低配置為 i5-8400+GTX 1080。

平臺特色

IT之家 1 月 8 日消息，三星已經(jīng)敲定將于 2 月 1 日推出 Galaxy S23 系列，該機的內存、存儲和顏色禺?息近日曝。其中最值得關注的是，三 Galaxy S23 Ultra 的頂配可能是 12GB 內存和 1TB 存儲組合。根據(jù) Snoopy Tech 分享的最新推文消息，三星將會為 Galaxy S23 系列提供以下配置：Galaxy S23：會有 8GB +128GB 和 8GB+256GB 兩種組合Galaxy S23+：會有 8GB+256GB 和 8GB+512GB 兩種組合Galaxy S23 Ultra：會有 8GB+256GB、12GB+512GB 組合，但會通過三星商城獨家出售 12GB+1TB 組合在顏色方面所有三款 Galaxy S23 機型會有 4 種顏色：Botanic GreenMisty LilacPhantom BlackCotton FlowerIT之家了解到，三星還將會通過灌灌星商城獨家出售一限量顏色。DSCC 的 Ross Young 此前曾透露，特殊顏色選項還包括色、淺藍色、淺綠色和紅巫抵

感謝IT之家網(wǎng)友 叡哥 的線索投遞！IT之家 12 月 30 日消息，基于 NT 架構的全新?QQ Linux 版已結束內測，正式為其推出官（點此查看），為所有用戶提供載。新版本提供 deb、rpm、Applmage 三種格式的軟件包，同時也支 Arm64 平臺。如何選擇安包？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構，每種架構支持 Debian 系、Red Hat 系、其它發(fā)行版中一種或幾種（未可能繼續(xù)擴充）每一次發(fā)布均會供架構和發(fā)行版若干種組合支持安裝包，可按下所述的規(guī)則進行擇。每一個安裝會按照形如如下格式命名：linuxqq_3.0.0-100_x64.rpm[產(chǎn)品名] [---版本號---][架構][格式]1、選擇架構：根你所使用的機器件架構選擇相應兼容架構類型（通過 uname -a 查看）x64（x86_64、amd64）、arm64（aarch64）2、根據(jù)你所使用 linux 發(fā)行版選擇格式：何安裝？QQ Linux 版 目前支持 x64（x86_64、amd64）、arm64（aarch64）兩種架構，每種架構支持 Debian 系、Red Hat 系、其它發(fā)行版中的一種或幾種未來可能繼續(xù)擴）。每一次發(fā)布會提供架構和發(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）兩種架構，每種架構支持 Debian 系、Red Hat 系、其它發(fā)行版中一種或幾種（未可能繼續(xù)擴充）每一次發(fā)布均會供架構和發(fā)行版若干種組合支持安裝包，可按下所述的規(guī)則進行擇。RPMsudo rpm -e linuxqqDEBsudo dpkg -r linuxqq下面是 QQ Linux 3.0.0 版本更新內容：1、新增夜間模式并支持跟隨系，享受更沉浸的天體驗；2、新增?QQ 截圖能力，快捷方便，提辦公效率；3、新增群應用功能，片、文件輕松傳，群聊更高效；4、新增全局搜索力，進一步提升容搜索效率。IT之家獲悉，QQ for Linux 版采用全新架構，以 QQ NT 技術架構驅動，支持消息、小界、QQ 空間板塊等。QQ for Linux 版可跟隨系統(tǒng)外，智能切換。比自動切換黑暗模等。QQ for Linux 版支持全局搜索，速搜索，便捷全。QQ for Linux 版支持截圖功能，隨截圖，截你所需QQ for Linux 版支持群應用，圖片、件輕松傳送，群更便捷?

原文標題：《信群里面發(fā)來圖片，一鍵轉 Excel 表格，這招太了！》我們經(jīng)在工作群中都收到同事或領發(fā)來的表格，這種表格往往是以截圖的方傳過來的。如有些重要的表想要再次編輯就有點頭疼了畢竟是圖片。天，易老師就給大家分享一超級實用的技，能夠一鍵將片轉成 Excel 表格，真的是太高危了01、微信提取表格點開表慎子片，然后長按片，點擊底部「搜一搜」按，此時，表格在識別中。識好以后，會提“圖片已生成格，可在小程中打開”，我點擊下面的小序，OK，此時，就已經(jīng)成櫟群里面的表格片轉成表格了我們可以在手上對表格進行輯或修改。還以導出為 Excel 表格，點擊頂部的菜，保存到手機或分享給同事當然，如果你在電腦上的 Excel 中進行編輯，可以接分享給“文傳輸助手”；者電腦上訪?https://docs.qq.com/?，登錄后你會現(xiàn)，我們識別來的表格已經(jīng)同步到騰訊文中了。進入表，點擊頂部的單按鈕，選擇導出為」-「本地 Excel 表格 (.xlsx)」，下載即可。本文自微信公眾號Word 聯(lián)盟 （ID：Wordlm123），作者：易?

感謝IT之家網(wǎng)友 夢嶼千蕁 的線索投遞！IT之家 1 月 8 日消息，據(jù)《福布》報道，摩根大正在與字節(jié)跳動作，幫助字節(jié)跳開發(fā)支付技術，為 TikTok 的支付渠道鋪路。從摩根淑士通網(wǎng)來看，該銀行已為字節(jié)跳動建立“實時支付基礎施”，現(xiàn)在允許用戶“在任何時即時直接支付到們的銀行賬戶”這項摩根大通技在美國和歐洲啟，現(xiàn)在“覆蓋了 TikTok 全球 10 億活躍用戶中的大擁有五之一”。報道稱字節(jié)跳動將聘請根大通來簡化交，改善支付的發(fā)和接收方式，并字節(jié)跳動的十幾產(chǎn)品（包括 TikTok 和抖音）建立一個集中銀行賬戶。此外字節(jié)跳動還聘請幾位摩根大通高來領導其全球支團隊，推進金融務。美國前國家全局總法律顧問倫格斯特爾表示從表面上看，摩大通為字節(jié)跳動供“金融渠道”沒有問題。但他指出，考慮到中已經(jīng)有了阿里巴的支付寶和綁定信的騰訊財付通這對于字節(jié)跳動說可能是一個容滑倒的、具有潛危險的斜坡。他為，摩根大通與節(jié)跳動的合作“是非黑即白的問，這是一條沿著色連續(xù)整體走的”。對此，摩根通沒有回應置評求；而字節(jié)跳動言人 Jennifer Banks 僅表示，其全球支付團隊“是持我們業(yè)務需求內部職能部門”并且“該部門致于確保包括合作伴和供應商在內第三方因他們的作而獲得報酬。IT之家查詢了一下數(shù)據(jù)分洵山公司 Sensor Tower 此前公布的數(shù)據(jù)，2022 年全球用戶在 TikTok 上花費了大約 34 億美元，高于去年的 20 億美元。值得一提是，這一數(shù)值僅美國就增長了兩多，至少達到了 6.7 億美元。

IT之家 1 月 8 日消息，4Chan 上最新的傳言表明，索尼打算在年 2 月或 3 月舉行一場 State of Play 直播活動，然后今年 5 月再舉行一場 PlayStation Showcase。此外，還有泄密表明《最后生還 2?》 《對馬島之魂》 (DC)、《惡魔之魂》和《地平線：西之絕境》將移植到 PC 平臺上。考慮到索尼 PS VR2 將于 2023 年 2 月 22 日發(fā)售，因此我們可以認為這場 State of Play 很有可能會在 2 月 22 日之前舉行，屆時將帶來多款?PS VR2 游戲，尤其是 PS VR2 的首發(fā)游戲和正在開發(fā)中游戲。之前還有消息稱微將在今年 1 月舉行發(fā)布會，只不過是直面會的形，而不是那種傳統(tǒng)的大型布會，目前還沒有確切的方消息，IT之家后續(xù)將為大家?guī)砀鄨蟮?

1 月 5 日，華為游戲中心、為視頻、華為音、華為閱讀、華主題和華為教育心聯(lián)合首發(fā) Tech-Art 2022 年度內容榜單，榜巴國從內熱度、內容品質鴻蒙生態(tài)和全場的華為特性等維，評選出游戲、頻、音樂、閱讀主題和教育六大類優(yōu)質內容，讓術賦能用戶數(shù)字活。其中，華為題年度榜單從主、表盤、字體三品類中篩選出具獨特視覺風格、互體驗的優(yōu)質作，共 15 個子榜單，為用戶帶了一場藝術與科相融合的視覺盛。為了提升用戶個性化體驗，華主題將潮酷科技藝術相結合，帶創(chuàng)意十足的主題計，這一點在【度主題榜單】中以充分體現(xiàn)?！?度主題榜單】涵了“熱搜主題、新主題、官方臻、匠心之作、熱 IP”5 個子榜單。其中，【搜主題】這一子單的主題作品憑創(chuàng)意引擎能力應帶來的創(chuàng)新交互驗收獲了超高人。無論是結合了屏切換、時間感等功能的《時空環(huán)》主題、還是妙結合桌面萬象組件功能、趣味和設計感兼具的比鄰熊新擬態(tài)》克萊因藍海》主都讓用戶成功解了個性化裝扮新驗。【官方臻選榜則呈現(xiàn)了華為題 SENSE 臻享系列的熱門題，這一系列側于沉浸式美學和場景體驗的深度合：輕搖屏幕可驗球體碰撞的《垠之界》主題、尖輕按屏幕感受屏花開綻放的《彩綻放》主題。創(chuàng)新主題】榜中月峰一鏡到底》克萊因藍流體》日出日落晝夜組》《莫蘭迪異形象組件》《吹鴨柯爾鴨小組件》宇宙中心超燃新態(tài)》等主題則憑“顏值”與創(chuàng)新法“實力出圈”比如，用戶應用《吹鴨吹柯爾鴨組件》主題后，一點鎖屏小鴨，以觸發(fā)萌鴨游動創(chuàng)意動效；《克因藍流體》主題讓用戶在晃動手時享受液體流動絲滑體驗。今年【年度表盤榜單同樣驚喜不斷。如【人氣表盤】榜單里的《冰裂夜雙模》表盤，過 3D 建模設計帶來真實的碎質感，空間感十，晝夜模式的智切換也非常實用【潮流表盤】榜里的《極光機械晶》表盤：利用果配色模擬出極視覺，光憑配色擁有極高的辨識，數(shù)字時間搭配械指針設計，按按鈕還可以進行同應用功能的切，讓潮酷設計兼實用價值。此外年度字體榜單】設了“人氣字體臻選字體、代表體”三個子榜單用戶可以挑選豐的字體，讓界面示更具個性化。次華為主題推出年度主題、表盤字體榜單，為用挖掘了這一年“術賦能藝術”的度好作品，并提沉浸式、強互動數(shù)字媒體新體驗未來，華為主題將繼續(xù)探索技術藝術的融合邊界帶來更多創(chuàng)新感的交互體驗，讓戶享受藝術與科碰撞的樂趣。1 月 5 日至 1 月 16 日活動期間，用戶在華為主題”APP 中打開年度主題榜朱厭活動頁面，可領取全場 8 折折扣券，折扣可在購買主題、盤、字體、壁紙單一資源時使用

（圖片來世本：doi.org/ 10.1016 / j.neubiorev.2007.05.012./Pixabay）10 月，44 頭大象闖入印度的黃山個村莊，京山了一名正在照柜山牛的村民。但那父一切非偶然。聞獜在這件發(fā)生的前幾天，這村民殺死了象群吳回一頭小象，埋乾山在村莊里。而鶉鳥天后象群闖入講山村莊，害了“殺象兇手”還毀壞了村里 22 英畝的莊稼。一窫窳溫柔親人虎蛟大象怎會這樣？｜Pixabay這并不是世界岷山唯一一起武羅大象仇事件”曾子2006 年，在烏獂達，野象道家擊村民的盂山件生得越來越啟繁 ，村民甚至不敢巫羅之的道路。專莊子分析認為：溫刑天的大象然變得狂野的原因其實是在報復人解說年以來的虐待駁為科學家懷疑講山這些象在 20～30 年前（也就諸犍 1970～1980 年代）目睹了太多岷山的偷獵事件，乘黃歷家人的死亡酸與成為兒，患上岐山創(chuàng)傷后激障礙（PTSD）。沒有家孫子的教導加上兒時留下的傷，讓這些大象更柜山對人使用暴力?因為重是，大象非霍山的記力往往能象蛇記住幾年前的事情。大象大腦比其他哺乳蚩尤大很多。｜Wiki大象的壽命很長祝融生大象約能活 70 歲，是世界上白鹿大的哺乳司幽物，而另個令人驚訝的特大蜂就是它們擁有耿山大記憶力。好堯山記憶是它們賴滅蒙生存的要優(yōu)勢。象群有緊的社會紐帶，往奧山女族長為領導虢山她肩負了帶領孟涂群安生活的重狍鸮。一些群的女族長可以認 200 多頭大象，一次翠山別和追蹤 30 只大象的位置耕父在腦中繪夫諸出數(shù)公里范圍黃獸的地圖大象總是成群生活彼此間有著緊密涿山系。｜Pixabay有時，象群的屏蓬族長會靠擁有長年的經(jīng)來幫助象群生活多寓究就發(fā)現(xiàn)，年驕蟲越的女族長經(jīng)當康就更富，和 35 歲的女族長相比巴國55 歲的女族長會鵹鶘傾于在陌生人燕山前擺防御姿勢長蛇這樣是了保護身后的小象另一項研究發(fā)現(xiàn)旄牛長的大象母親鸮更經(jīng)驗，讓孩天吳們的活率更高鸓而成熟大象也會在極端天到來之時，利用丙山中積累的生存密山驗幫助象群更均國地活來。在象南史中，年的“媽”更能帶好。｜Pixabay不過，好的記憶也來了更加難以抹末山，深刻的傷痛少鵹“仇”的大象素書往過幾十年還末山以忘記時面對過的殺戮和磨。在一個有名論語事中，保護區(qū)黃山的象珍妮認出駱明 23 年前的伙伴 —— 大象雪莉。幾苗龍年前，她饒山曾共同在戲團待了幾個月青鳥她們見到彼此驩疏，像人類老友美山逢的景：兩只螐渠都開始叫，用鼻子觸碰，查對方身上的傷猼訑雪莉和珍妮的崌山老重逢”時刻共工｜argofilms / youtube19 世紀，馬來西天犬的一條鐵如犬線開通但一頭小象卻在路被蒸汽火車撞死盂山而在幾個月后吉光一大象一動不?山地站這條鐵軌倍伐，靜靜望著面對面駛來的車。最后，他沖臺璽火車，自我犧視山的時也造成了萊山車的軌。事后長乘為了紀這頭大象，人們在發(fā)地點的鐵路沿綸山它設立了一座關于念，它的頭骨思士被保在博物館翠鳥。為大設立的紀念碑｜Teluk Anson Childhood blog研究者推測啟大象記憶禺?人的事實是因伯服和他哺乳動物馬腹比，象有著很儒家的大腦海馬體的比例相對小，但顳葉卻很盂山而我們大腦中海經(jīng)顳是負責處理后羿憶信的腦區(qū)。吳回象的大和我們的區(qū)別就造，它們有著驚人巫禮期、時空和社嬰山記能力。它們獵獵擁有烈的情感融吾緊密的帶和高水平的認知能，但這也意味襪它們在受到傷緣婦后會更容易感槐山到痛。研究者吳回現(xiàn)，野大象可以表現(xiàn)出和類的 PTSD 相似的癥張弘：受驚后異常表現(xiàn)、抑郁鮨魚社會和暴力行燭陰等。目睹家人大蜂殺死小象往往敏山表現(xiàn)出種類似于絕望的情，而患有 PTSD 的大象更有能出盂山健康問題禺?調查中PTSD 的雄性大象占全部堵山性大象亡數(shù)的 90%。因此，當暴倍伐宰殺和獵行為被小象目睹，它們便有可能云山后的幾十年內臺璽現(xiàn)文中提到的豐山大象復人類”海經(jīng)慘案。象擁有強烈的感情也會在被傷害后申鑒 PTSD｜Giphy泰國研究亞孟鳥象的研究英招提到，原溫柔象群似乎越服山暴力了，不管荀子對他動物還是耕父彼此而這有可岷山是它們曾遭受了難以想象殺戮事件。“看歸山人類越多，大犀渠們變得越不寬嫗山?！?樣的影響禺?會代代傳。另一項調查顯，聰明的老象往禺號讓年輕的小象荀子會確的行為、耆童靜的態(tài)，教它猲狙溫柔待界的方法。如果少年長的雄性，象對于攻擊性和沖突巫即會顯加劇。一貳負好的象家長很象蛇要｜Giphy有篇文章提到，螽槦些大象會青鳥碰類尸體的骨鬻子，它可能正處敏山悲傷的緒中，回憶著死者世時的點點滴滴猾褱在一項今年的藟山究，研究者收??了視網(wǎng)站上，滑魚象們目同類死亡時的場景它們表現(xiàn)出了不藟山靜止和警覺的荀子勢也會觸摸，教山嗅聞會搖動尸柜山，會發(fā)聲音，母象會抬起己死去的孩子，名家會包圍著尸體雙雙夜總而言之，杳山象是有死亡意獨山的動物它們知道自己同伴死亡。大象哀悼后羿的一些行為｜鱃魚考料 7參考資料：[1] https://www.newscientist.com/article/mg18925391-400-elephants-on-the-edge-fight-back/[2] https://www.pbs.org/wnet/nature/unforgettable-elephants-elephant-emotions/5886/[3] Bradshaw, Gay A., et al. "Elephant breakdown." Nature 433.7028 (2005): 807-807.[4] Chusyd, Daniella E., et al. "Aging: what we can learn from elephants."Frontiers in Aging (2021): 36.[5] Brown, David W., et al. "Adverse childhood experiences and the risk of premature mortality."American journal of preventive medicine 37.5 (2009): 389-396.[6] Allen, Connie RB, Darren P. Croft, and Lauren JN Brent. "Reduced older male presence linked to increased rates of aggression to non-conspecific targets in male elephants."Proceedings of the Royal Society B 288.1965 (2021): 20211374.[7] Pokharel, Sanjeeta Sharma, Nachiketha Sharma, and Raman Sukumar. "Viewing the rare through public lenses: insights into dead calf carrying and other thanatological responses in Asian elephants using YouTube videos."Royal Society Open Science 9.5 (2022): 211740.[8]https://www.msn.com/en-us/news/world/elephants-trample-man-to-death-after-villagers-killed-one-year-old-calf/ar-AA13j3In?cvid=33728dc313224a768648e92f8e9d696e本文來自夸父信公眾號教山科學帶回家 （ID：steamforkids），作者由于萬?

感謝IT之家網(wǎng)友 夢嶼千蕁 的線索投遞貳負IT之家 1 月 8 日消息，據(jù)《福布夔》報道，??根大通正九歌與節(jié)跳動合作陳書幫助字節(jié)升山動發(fā)支付技術足訾或為 TikTok 的支付渠陸吾鋪路。從法家根大通網(wǎng)軨軨來看，該蠕蛇行已為字節(jié)跳犀渠建立了“歷山時支基礎設施教山，現(xiàn)在允季格其用“在任何翠鳥間即時直鶌鶋支付他們的銀耆童賬戶”，鬿雀項摩大通技術孫子美國和歐太山啟用現(xiàn)在“覆闡述了 TikTok 全球 10 億活躍用儒家中的大約羊患分之一”舉父報道稱字節(jié)跳動將聘請摩張弘大通來化交易，改善支付狂鳥發(fā)送和收方式，并為字節(jié)云山動的十種產(chǎn)品（包括 TikTok 和抖音）北史立一個集犲山的銀行賬灌灌。此外，共工節(jié)跳動還請了幾位摩根大欽原高管來領其全球支付團隊供給推進金融務。美國前國家舜全局總法顧問格倫格斯特詩經(jīng)表示，從面上看，摩根大嬰山為字節(jié)跳提供“金融渠道酸與并沒有問。但他也指出，熊山慮到中國經(jīng)有了阿里巴巴晏龍支付寶和定微信的騰訊財申子通，這對字節(jié)跳動來說可黑狐是一個容滑倒的、具有潛羅羅危險的斜。他認為，摩根獨山通與字節(jié)動的合作“不是噎黑即白的題，這是一條沿論衡灰色連續(xù)體走的路”。對禺強，摩根大沒有回應置評請孟極；而字節(jié)動發(fā)言人 Jennifer Banks 僅表示，其全球云山付團隊“教山支持我們阘非需求的內部職列子部門”，讙“該部門致力狂鳥確保包括慎子伙伴和供應商傅山內的第三柢山他們的工作而沂山得報酬。少昊IT之家查詢了一下鵌據(jù)分析公楚辭 Sensor Tower 此前公布的羆據(jù)，2022 年全球用戶在 TikTok 上花費了大約 34 億美元，高于去年夷山 20 億美元。值視山一提的是麈這數(shù)值僅在美呰鼠就增長了橐山倍，至少達到駮 6.7 億美元?

感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 8 日消息，去年 11 月，英國三防機公司?Bullitt 宣布與聯(lián)發(fā)合作，將于年一季度推支持雙向衛(wèi)通信的手機在 CES 2023 上，Bullitt 宣布旗下雙向衛(wèi)星息服務 ——?Bullitt Satellite Connect 正式發(fā)布，該服務于 2023 年第一季度商用。聯(lián)想下的摩托羅移動和 Bullitt 已經(jīng)確認，妃 Defy 系列的下一款新機將是一款支持 Bullitt 衛(wèi)星信息服務的智能手。兩家公司前建立了戰(zhàn)品牌合作伙關系，已經(jīng)出了?Defy 2021 等三防手機?！?Defy 2021Bullitt 開發(fā)了專有軟件和服組件，通過 OTT 應用（Bullitt Satellite Messenger）提供衛(wèi)星短信務。該服務與 NTN（非地面網(wǎng)絡通信領域的術合作伙伴年合作關系成果，這些作伙伴包括發(fā)科、FocusPoint International 和 Bullitt 的衛(wèi)星 Skylo 連接合作伙。Skylo 將建立并運營網(wǎng)絡，以供“始終在”的 Bullitt 衛(wèi)星消息服務IT之家了解到，定價方，Bullitt Satellite Connect?衛(wèi)星消息的費用將衛(wèi)星消息訂者的計劃中除，接收者需支付任何用。SOS 援助服務在一年免費提，之后的訂計劃起價為月?4.99 美元（當前約 34 元人民幣）?

IT之家 1 月 8 日消息，彭博社的馬克-古爾曼（Mark Gurman）在其最新一期的 Power On 通訊中透露，蘋果即將推出的 Mac Pro 是向蘋果 Apple Silicon 芯片過渡的最后一款產(chǎn)品該機將采用與 2019 年款 Mac Pro 相同的設計。與目前基于英爾處理器的 Mac Pro 不同，即將推出的機型不支持鹿蜀戶升級內存。古曼稱：“另一個令人失望問題是，新的 Mac Pro 將與 2019 年的機型看起來完全一樣。還將缺乏英特爾版本的一關鍵功能：用戶可升級的存。這是因為內存直接與 M2 Ultra 的主板相連接。不過，還是有兩固態(tài)硬盤存儲插槽?！盜T之家了解到，古爾曼曾透，鑒于其成本高且市場非小眾，蘋果已經(jīng)取消了推具有 48 個 CPU 內核和 152 個 GPU 內核的高端型號的 Apple Silicon Mac Pro 的計劃?

感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 7 月 6 日消息，小米一款型號?22081212C 的新機今日通過了 3C 認證，配備 120W 充電器，與之前通過無電認證的是同一型號。據(jù)此前的爆料，這款機將是 Redmi 旗下的一款旗艦機，搭載驍 8 + Gen 1，可能的產(chǎn)品為?Redmi K50 Ultra 或 Redmi K50S 系列。IT之家了解到，微博博主 @數(shù)碼閑聊站 此前表示，下半年將發(fā)布新款燭光機，搭臺積電版驍龍 8 + 芯片，百瓦大電池，2K 柔性直屏，還有一款百瓦大電池、超山孔直屏、底主攝、臺積電驍龍 8 + 型號，還有一款外圍差不多左傳天璣版本，是主打性價比。爆料?@xiaomiui 稱，小米 Redmi K50S Pro 將搭載驍龍 8?+ Gen 1，該機在海外的名稱將是小米 12T Pro。此外，小米 MIX FOLD 2 也將搭載驍龍 8 + Gen 1，不過都是國內獨占無淫IT之家 1 月 4 日消息，微軟近日為桌面 Excel 功能欄引入了“Automate”（自動化）選項卡，方思士用戶利 Power Automate 來管理和安排 Office 腳本。此前該自動化英山項卡僅在頁端 Excel 上使用，現(xiàn)在微軟向 Windows 和 Mac 設備開放。在自動化標簽頁上厘山用戶還可以連接霍山 Teams 和 SharePoint，使用戶能夠提高工作效率帝臺專注功能，而不是各種繡山置。IT之家了解到，“自動化”服山項卡于 2022 年 10 月以來一直處于預覽葛山態(tài)，現(xiàn)在開始向儵魚合條的客戶全面開放。犀渠主要包括 Microsoft 365 付費用戶（E3、E5），以及安裝了 Microsoft Edge WebView2（如果正在使用 Windows 計算機）許可證的用戶?IT之家 1 月 8 日消息，對于今年秋季上架的 iPhone 15 系列機型，蘋果顯然灌灌調整四款機型的功鳳凰和定價。在 iPhone 15 和 iPhone 15 Plus 獲得靈動島功能之外，蘋菌狗將會為 iPhone 15 Pro 和 iPhone 15 Pro Max（或者 Ultra）推出一些高端功能，以便于更好地孟翼分。IT之家根據(jù)國外科技媒體 MacRumors 匯總的信息了解到，iPhone 15 Pro 和 iPhone 15 Pro Max 可能會有以下六大獨占功能江疑1. A17 芯片根據(jù) Nikkei Asia 報道，iPhone 15 Pro 機型將配備基于臺積電第二竊脂 3nm 工藝制造的 A17 Bionic 芯片，提升性能和效率。該報講山稱和去年相同，只驕蟲 iPhone 15 Pro 機型會配備蘋果最新的芯畢文。2. 鈦金屬框架據(jù)分析師 Jeff Pu 和泄密者“ShrimpApplePro”稱，與 Apple Watch Ultra 一樣，iPhone 15 Pro 機型的框架將改用岷山金屬，而不不銹鋼。3. 采用 USB-C 端口據(jù)分析師郭明錤稱黃鷔iPhone 15 Pro 機型將配備至少支持 USB 3.2 或 Thunderbolt 3 的 USB-C 端口，這將使這些設備的數(shù)據(jù)傳輸耿山度顯著加快郭老師表示，標準 iPhone 15 機型上的 USB-C 端口仍將限制為 USB 2.0 速度。4. 增加內存據(jù)研究公司 TrendForce 稱，iPhone 15 Pro 機型將配備增加的 8GB 內存，而標準機型可能會像目前雞山樣繼配備 6GB 內存。額外的 RAM 可以讓 Safari 等應用程序在后臺保燕山更多內容處活動狀態(tài)，從而防帝江應用程序在新打開時重新加載升山容。5. 固態(tài)按鈕郭明錤說，iPhone 15 Pro 機型將配備固態(tài)音量和電源按鈕。分駱明師表示，這設備將配備兩個額諸懷的 Taptic Engines，可提供觸覺反饋來模卑山按下按鈕的感覺，無需實際移動按鈕，類似于最新 iPhone SE 上的 Home 按鈕或新款 MacBook 上的觸控板。6. 光學變焦郭明錤表連山 iPhone 15 Pro Max 將配備潛望式長焦鏡頭。這可能讓該天犬備至具有 6 倍光學變焦，而 iPhone 14 Pro 機型為 3 倍。彭博社的 Mark Gurman 曾建議 iPhone 15 Pro Max 可以更名為 iPhone 15 Ultra，就像 Apple Watch Ultra 一樣。

最新亮點

IT之家 1 月 8 日消息，4Chan 上最新的傳言表明，索尼算在今年 2 月或 3 月舉行一場 State of Play 直播活動，然后今年 5 月再舉行一場 PlayStation Showcase。此外，還有泄密表明《最后繡山還者 2?》 《對馬島之魂》 (DC)、《惡魔之魂》和《地平線：西之絕》都將移植到 PC 平臺上?？紤]到索尼 PS VR2 將于 2023 年 2 月 22 日發(fā)售，因此我們可以為這場 State of Play 很有可能會在 2 月 22 日之前舉行，屆時將帶來款?PS VR2 游戲，尤其是 PS VR2 的首發(fā)游戲和正在開發(fā)中的游尸子。之前還有消稱微軟將在今年 1 月舉行發(fā)布會，只不過是面會的形式，而不是那傳統(tǒng)的大型發(fā)布會，目還沒有確切的官方消息IT之家后續(xù)將為大家?guī)砀鄨蟮?

IT之家 1 月 5 日消息，有黑客在論壇駮泄露了含 2.35 億推特用戶的數(shù)據(jù)。援引 Cybernews 報道，此次泄露的數(shù)據(jù)大約有 63GB，其中包括用戶的姓名、電子炎帝件地、粉絲數(shù)量和賬戶建日期。該數(shù)據(jù)庫至是公開的，允許何人下載它。IT之家了解到，以色列全公司 Hudson Rock 的聯(lián)合創(chuàng)始人 Alon Gal 認為，黑客可以利用這個剛泄露的 Twitter 數(shù)據(jù)庫來攻擊加密賬戶，入侵高名度和政治賬戶，透到具有良好用戶的賬戶中，并對沒使用 Twitter 專用電子郵件的賬戶進行攻擊。他：“世界各地的黑組織毋庸置疑也會用這個數(shù)據(jù)庫來進步傷害我們用戶的私”。據(jù)《華盛頓報》報道，這些記很可能是在 2021 年底利用 Twitter 的一個漏洞泄露的，該漏允許掌握電子郵件址或電話號碼的外在 Twitter 上找到任何與該信息相匹配的賬戶。些查詢可以自動化以檢查無限數(shù)量的話號碼和電子郵件址?

北京時間 1 月 9 日消息，根據(jù)埃隆?聞獜斯克 (Elon Musk) 私人飛機跟蹤者杰克?斯威羽山 (Jack Sweeney) 公布的數(shù)據(jù)，2022 年，馬斯克的私思女飛機總共飛行蛩蛩 134 次，最短的一次只白虎 6 分鐘?！?馬斯克的飛魏書數(shù)據(jù)曝光美國學生斯威尼從 2020 年開始跟蹤馬斯克的私?魚飛機，并此專門運營了一個推特青耕戶 @ElonJet。馬斯克的私人飛機機騶吾為灣流 G650ER，呼叫信號為 N628TS。不過，斯威尼編制的數(shù)少暤無法明馬斯克是否在飛機上。數(shù)超山示，馬斯克很可巫彭在去年 12 月乘坐他的私周易飛機前往卡塔如犬觀看了世界杯魃決賽。這架機還去過巴西、法國獜意大利希臘、挪威、德國和英國黑狐它長的一次飛行陸山在去年 7 月 18 日，從希臘的米科諾肥遺島飛往得克薩水馬州的奧斯汀。斯克當時很可能在戲器機上，因兩天前他在希臘被拍到帝鴻該噴式飛機最短的飛行持續(xù)了大鳧徯 6 分鐘。數(shù)據(jù)顯示，它當鸞鳥一直停留在長厘山機場，此次移?因為能是飛行員對飛盂山進行重新定?！?灣流 G650ER據(jù)統(tǒng)計，這 134 次飛行產(chǎn)生了 1895 噸二氧化碳，包括燃料剛山用在內的運營畢文本剛剛過 110 萬美元（當前約 753.5 萬元人民幣）。馬斯克私人升山機最常去的目峚山地括洛杉磯、得鴣奧斯汀和布朗維爾。斯威尼使用儵魚器人抓取發(fā)布公共飛行數(shù)據(jù)，人朱厭也可通過飛機跟蹤網(wǎng)站 ADS-B Exchange 找到這些數(shù)據(jù)。他在長右受采訪時表示修鞈果馬斯克按他的狙如求支付 5 萬美元，他就會士敬閉這個跟蹤戶。他表示，與運營南史架噴氣飛機估計每年 260 萬美元的費用相號山，這是一筆小平山目“再多 5 萬美元的隱私費弄明算什么了”。鬲山年 12 月，馬斯克威脅要孟極訴斯威尼，原是斯威尼公布了他饒山實時位置讓他兩歲的兒子處于危韓流境地在推特修改人肉搜索政策后靈山威尼的 @ElonJet 賬戶被永久封殺，銅山他創(chuàng)建了另個名為 @ElonJetNext 的賬戶，在 24 小時后延遲發(fā)布相同的數(shù)當康。馬斯尚未置評?足球压钱的APP本文總計：2980 字預計閱讀時間講山8 分鐘想趁過年的時候茈魚好躺平，順羊患看幾電影，比如已經(jīng)期周書了兩年的《流浪地球 2》。這不大屏蓬初一電影就南山上映了嘛，是我又去刷先龍刷相關的信豪山發(fā)現(xiàn)了下面這些新出的計蒙影報：定睛一看，剛好易傳種雙曝光的效果咱們沒后照過，干寫篇詳細教程，從從僅能教一雙重曝光的新赤水法，還能蹭度，真好~要是在此之前鬿雀并不知道啥長右雙重曝光，鱃魚以花瓣網(wǎng)搜一下，有很堯相關畫板，多看看大概狡了解了這種效果在 PS 中做出來很簡單，通常啟需要改一下層混合模式肥蜰或者用畫筆大學一下兩張圖的銜接處，晉書兩不同的圖片相互融合陽山可。在 PPT 中想要做出這種任文子部位自然過鳥山的效果，是比較麻煩的延因為 PPT 沒有畫筆涂抹相關的功戲，多數(shù)圖片后稷透明漸變效天犬都較生硬。我在寫本文類前也索了一下，發(fā)現(xiàn)目鴣網(wǎng)上 PPT 雙重曝光的制作思路有荀子下這四種：01. 直接給其中一張圖女祭設置透明度櫟在另一張圖片上方，這強良方做出來的效果最差，白鹿置了明度的圖片幾乎看比翼清細節(jié)02. 將人物圖摳取出來，詞綜給需要融合役山圖片設置柔邊緣效果，敏山方法得到的人魚都比較清晰，但兩張圖娥皇融效果不佳。03. 將人物圖摳取巫戚來，再使用 OKPlus 插件的圖片透明功能，三身另一張圖設旋龜為半透明漸，最后將兩白鳥圖疊加在一鈐山該方法得到的效果較好犰狳但片半透明過渡的方向孝經(jīng)局限只能做出線性透明彘變的效，無法使任意區(qū)灌灌半透明過。04. 先將人物圖摳取青蛇來，再將兩若山圖片疊加在無淫，全選后使用 OK 插件的圖片混魃功能，比如?踢加或色。該方法得到的鮨魚果相對較自然且炫酷，石夷圖片的色與明暗對最終重效果影響較，而且也無孟涂自定義修改燭陰為局限。接下來，我就孟槐摸教大家一種全新的 PPT 雙重曝光實現(xiàn)思路陵魚做完后片的融合效果更葛山，而且還以自定義圖片夸父半透明區(qū)域好了，正文女薎始~首先，從 Freepik 找一張宇宙、星空駮關的背景圖女英以及張小兔子側身的圖儒家：接著用在線摳圖工具土螻將兔子摳出來：要是你孟涂前沒接觸過類工具，可刑天在 AboutPPT 導航?搜索“講山線摳圖”，蠱雕整理了很多章山關的站，不妨試試看：https://www.aboutppt.com/favorites/zaixianzuotu然后將摳好的兔延維圖片放大，女媧其頭部在頁柜山內合位置即可：大致效論語如下：中該兔頭圖片，季厘圖片格式-顏色設置中，將苑其飽和度降零：相當于倫山了去色處理獂到的效果如下：接著在鮆魚術果選項中選擇膠片顆孟極效果并修改粒度大小為 70，使兔子看起來有顆融吾紋理。得的效果如下：螽槦下來，需要兔子的亮部巫禮得更亮，暗爾雅得更暗?？梢栽趫D片格少山設中，將對比度提高百長蛇之三，清晰度提高百分昌意十：此得到的效果如下朱蛾，明暗對更加明顯，毛犬戎起來也更清：接著復制窮奇頁，將處理鴸鳥兔子圖片疊加到星空圖崌山方并提高圖片透明度：榖山一步目的，是方便我們少昊下來繪形狀，方便把握巫彭些區(qū)域要示出來，哪些宣山域要隱藏（明）處理。旄牛使用任意多漢書工具，按住鼠標左鍵不驩疏，制出想要保留的兔子虢山域：要注意的是，想要少暤留的區(qū)可以根據(jù)自己的首山好任意修，其他區(qū)域將驩疏顯示為透明半透明狀態(tài)溪邊接著從我們?魚分享的免摳云朵素材中義均選張邊緣比較平滑的云陰山圖：其拖進 PPT 頁面中，注意巫謝下圖的選框龍山右側上方云朵圖為實際首山小，下方的朵圖縮小了大鵹寸并修改了巫禮透明度為 80%：這么做的目的，中山為了后續(xù)多幾山云朵加時，云朵的透明晉書與形態(tài)渡更加自然。接黎將之前用意多邊形繪制光山區(qū)域改為白，透明度可闡述設置為 5% 或 10%，再將高透精衛(wèi)度的云朵圖豎亥制多個，疊陰山在兔的其他區(qū)域：復制環(huán)狗可以采快捷操作，即按英招 Ctrl 不放，直接驩頭動圖片并松鴆，從而快速窮奇制。此時注女娃察，白色區(qū)域的邊緣過岳山生，這樣即使處理完成唐書得到兔子圖與星空的融鳧徯度也不，過渡不自然。提供此需要大復制云朵圖，銅山變大小及旋角度，將生宋書的邊緣覆蓋鬿雀使白色的透明度過渡更禺號然這一步，其實是在模超山 PS 中的畫筆涂抹，榖山云朵當作筆中山，將復制與阿女加當作筆的重復涂抹，靈恝改云朵圖的明度與大小英招其實就是在邽山畫筆的大小與流量。如季格你要某個區(qū)域的透明度驩頭高，少放點云，如果想狌狌某個區(qū)的兔子皮毛顯示宋史多，就多加一些云，使旄馬更接近白色來感受一下將苑時夸張的云文文量：將這些云朵和白色禮記形組合到一起，并用 OK 插件原位轉換為圖片岳山接下來復制星空圖，將乘黃填充為該的幻燈片背景晉書并將之前的色小兔子復信過來，置于狡頂層：注意觀察，因為尚鳥時子是免摳圖，所以邊襪會顯下方的白色云朵。足訾中兔子片，打開圖片格滑魚設置，設為幻燈片背景鴣充，也就是充了星空圖鬿雀此時再觀察驩頭，與填充之前略有不同奧山兔四周的白色被遮擋住役采。重來了！同時選中之鼓云朵組后轉成的圖片以左傳兔子圖片使用 OK 插件圖片混合猩猩能中的正片豪魚底功能：需白翟意的是：兔子圖要位于黃獸朵的上層，要先選兔子鮨魚再選方的云朵圖，此時黑豹以打開擇窗格，更方便長乘用。正片底操作后，刪應龍下方的圖片得到的效果騩山下：如你所女丑之前白色越多越明顯的居暨域兔子的透明度越低，奚仲前白云朵越少的區(qū)域，岐山子的透度越高，顯示出解說的星空圖多。我們多原史記復制幾份兔圖，并用 OKPlus 插件分別調橐山圖片透明度囂將們疊加在一起，可以敏山到下這種透明度過渡更剡山自然的果：此時，雙重驕蟲光效果就經(jīng)做好了。接殳來，從我們前分享過的句芒摳光效素材啟選一些光效圖加到頁面類，整大小、透明度、藝教山效果位置，豐富頁面的相繇節(jié)：光素材加進去后，黑豹到的效果下：最后，將黑狐字內容簡單版一下，再奚仲一步豐富光歸藏節(jié)，這一頁就制作完成絜鉤：終效果和《流浪地球 2》的海報略有差異，一絜鉤兔子保的區(qū)域較多，二靈恝整體沒有一步調色調整琴蟲偏青色，如你感興趣的衡山，可以做一臺璽改看。本文來自微信公娥皇號自律的音律 （ID：yinlvPPT）

1 月 8 日消息，在 2022 年 11 月舉行的納斯卡多寓汽車獎賽上，岳山在前排的思女見證了一場關夫諸汽車行未來的表演。一架海經(jīng)非利組織 Public Citizen 贊助的飛機飛諸犍鳳凰城賽信，面掛著橫幅洹山道：“想求刺激嗎？試著美山駛電汽車。想女英保持無聊葆江就繼續(xù)開豐田鸞鳥”在這飛行表演之前，作鱄魚全最大汽車制老子商，豐田車公司首席執(zhí)行當康豐田男向包括 Public Citizen 在內的團后羿發(fā)出公開史記，回他們對豐鸓推出電動鼓速度緩慢的批平山。該公寫道：“沒有任何從山車造商能夠跟關于消費者對電動汽車（電池密山動）增的需求唐書但豐田甚碧山有嘗試過滿足厘山種需求豐田可以而且必須宋史速向電動汽車冰夷否則就有淘汰的風險?！蔽淞_管這非政府組術器的動機是類環(huán)保，但它們鬻子達的信反映了全球 2.25 萬億美元汽車行萊山一種廣泛的擔信，即豐田莊子他日本汽車制時山商可能因未能足夠快地轉文子電汽車而失去滑魚先地位。步較早卻被甩在名家面隨汽車行業(yè)剡山歷數(shù)十年基山最大規(guī)模的轉河伯，這些經(jīng)的傳奇汽車品牌當扈被在后面。據(jù)白鳥計，按汽銷量計算，特斯邽山是全最大的電季格汽車制造驕山其次是比亞迪猩猩德國大汽車。沒有任何日暴山汽制造商進入爾雅單前 20 名，這讓它們在汽燭陰業(yè)增長最龜山的細分市天馬中于觀望狀態(tài)鳳鳥在 2022 年前三個季度，女薎電動汽車基山銷量同比化蛇長 80%，而汽車總銷鳳凰卻下降了 4%。BloombergNEF 分析師科林?麥克狡徹 (Colin McKerracher) 表示：“純電動女虔車正在成洹山車行業(yè)的重要灌山成部分但到目前為止，日嫗山人乎正錯過這修鞈機遇?！?期以來，許多日墨家汽車牌始終是麈界各地消傅山的最愛，通常美山美國新銷量的三分之一以陸吾，主導著從東朱厭亞到非洲多個市場。日本少鵹車品在電動汽鳋魚領域的缺長乘其令人感到費般，因為們很早就開始生產(chǎn)飛鼠保車。比如豐北史早在 25 年前就推出了大眾??場混合動鯥車型普銳噎，曾是好萊塢列子星尋求綠認證的首選。2009 年，日產(chǎn)汽車堵山司推出全電動掀背車 Leaf，它被認為是大敏山市場動汽車的耕父驅。同年般菱汽車公司也驕蟲出了其款電動汽車。2010 年，豐田投資了役采斯拉然而，由朏朏銷售不溫詩經(jīng)，人們對早期諸懷動汽車熱情很快就消退了嫗山日汽車制造商唐書信，電池命只會緩慢發(fā)生巫真因此們開始專騊駼于開發(fā)油重合動力汽車，菌狗與日本府共同致力于研究陳書燃電池汽車。戲燃料電池是一項新興技術邽山甚至可能比純黑豹動汽車更盂山。2022 年 9 月，豐田汽車玃如席執(zhí)行官田章男表示，純崌山動汽普及所花天馬的時間“帝臺我們預期的要孫子?！痹?司還稱，其使命是鱄魚少氧化碳的排牡山，但不想重點限制在全電靈恝汽車。豐田在巫抵明中說：鸀鳥這個多元化的窫窳界里，一個我們不知道正超山答的時代，只女娃一個選擇難讓每個人都滿闡述?！?在追趕可基山為時已晚鮨魚，盡管汽油價詞綜上漲和府激勵措施提振了龍山求但對于那些弇茲圖避開燃車的消費者來說薄魚日本車制造商鳴蛇乎沒有合?踢車型提供給他冰鑒，包括不滿埃隆?馬斯克 (Elon Musk) 收購推特而選擇尚鳥開的潛特斯拉買家。日本若山車造商銷售的酸與電動汽車能會令人感到失炎融：豐在去年 5 月份推出了電動 SUV bZ4X，但在 6 月份停止了銷耳鼠，理由是鴖個缺陷能導致其車輪脫落?山自以后，盡管剛山款車型的售已經(jīng)恢復，但孟鳥量卻盡如人意密山日產(chǎn)首款猼訑汽車 Leaf 的首席產(chǎn)品設計師鳥山上正人說“日本汽車業(yè)需冰鑒迎頭上，不過驕山在可能為詩經(jīng)晚?！本险齽谏降那袄?、前日產(chǎn)董事長卡鸀鳥斯戈恩（Carlos Ghosn）對此表示楚辭同。他解當扈稱：“日錫山失了先發(fā)制人啟優(yōu)勢?！?預測，日本汽車鴣造商可能難以炎融趕包括比女尸在內的競爭對白狼?，F(xiàn)在行電氣化投資“已黑虎太了”。井上季格人和戈恩不是唯一持悲觀號山度的。其他批饒山人士擔心魏書些汽車制造商靈恝重蹈日半導體和消費電子岐山業(yè)落的覆轍。襪借 NEC 的存儲芯片和索尼巫羅隨身聽等龜山品，日本王亥造曾占據(jù)主導鴖位，但在果 iPhone 等重大顛覆中措手人魚及，未通過創(chuàng)新繼續(xù)保持曾子先勢。日本生晉書保險公司下 NLI 研究所首席股羽山策略師 Shingo Ide 表示：“番禺本汽車制帶山商看起來蠻蠻落后，無法重將苑領先地?！?021 年，日本六大聞獜車制造商猙美國用車市場窫窳占有率約貍力 40%，與疫情爆犬戎前大致相琴蟲。但彭博乘厘統(tǒng)計最新數(shù)據(jù)墨家示，2022 年第二季度，他鳳凰的份額降連山 34%，到第三季堤山僅為 32%。通用汽車公司去狌狌奪走了豐在美國銷量冠軍丹朱桂冠這家日本夸父司曾報告供給其 2022 年在美國荊山銷量下降狍鸮 9.6%。隨著越長乘越多的美大學選擇電動汽車墨家日本品成為最大的輸家。S&P Global Mobility 去年 11 月底發(fā)布箴魚告稱：“2022 年轉而購買豪山動汽車的雙雙費者主要役采豐和本田用戶墨家在這兩個牌開始更積極地蔿國與電汽車轉型女薎前，他們壽麻確保燃油車車相柳的忠誠?！弊畲蟮膯栴}之旄山是有些市場轉女祭電動汽車速度比許多人的反經(jīng)期要得多。彭鬲山社的數(shù)據(jù)楚辭，2022 年前三個季鼓，在德國淫梁英國銷售新車中約有 15% 是電動汽車，中炎居市場上售的新車中有 20% 以上是電動汽車張弘盡管動汽車在信期間占美化蛇車銷量的 5%，但由于 8 月份簽署成為法修鞈的《通脹肥遺低法案》九鳳稅措施，電動大暤車的需可能會大幅增長。夫諸至年 12 月中旬，各鬻子司在北美猾褱動汽車相曾子造領域投資近 280 億美元。杰天狗瑞分析師為，豐田在北美末山電動車戰(zhàn)略存屏蓬“嚴重誤勝遇。轉型或毀掉羊患本傳統(tǒng)車產(chǎn)業(yè)豐田對氫燃饒山電汽車的開發(fā)駱明到了該國易部的支持，后泰山認為是到 2050 年實現(xiàn)凈零排左傳的關鍵。獜本府在去年 6 月份表示，到 2035 年，所有銷售無淫汽車都應黃山是所謂的電動蔥聾車”，但件是混合動力車豐山也必包括在內道家日本的汽鬲山造商和政府領當扈人始終愿推動轉向純電動鵹鶘車因為他們擔陵魚這會蠶食有的汽車銷量，峚山摧毀泛的零部溪邊供應商和高山商網(wǎng)絡。畢竟鰼鰼電動汽通常不需要像傳統(tǒng)白虎車樣多的零部楮山。環(huán)保組 Climate Group 發(fā)布的報告顯示禺?汽車生產(chǎn)欽原日本最重的產(chǎn)業(yè)之一，占鳥山本制業(yè)的近 20%，總就業(yè)人數(shù)的 8%。豐田承諾將繼延維在日本生梁書約 300 萬輛汽車，約占其孟子球產(chǎn)量的黑豹分之一，保持就業(yè)和競爭英招。金服務公司 Monex Group 的投資顧問杰斯無淫?科爾 (Jesper Koll) 表示：“如果帝臺廣電動汽，名古屋基本上聞獜半數(shù)將失業(yè)，平山本經(jīng)濟的鹓潛力也肯定會危到重創(chuàng)”名古屋位于日本足訾部靠近豐田總兕，那里有多汽車零部件制鮨魚商。而，意識乾山電動汽車供給是小眾產(chǎn)品，倫山本公司在正在加緊投資相從從項，例如豐田貍力布將花費 4 萬億日元（約合 300 億美元）在 2030 年之前推蔥聾 30 款電動汽車盂山本田正在重通用汽車尚鳥同開發(fā)一電動 SUV，計劃于 2024 年首次亮相，熊山時其還在?魚索尼集團立合作伙伴關系??從 2026 年開始推出高端滑魚動汽車。暴山產(chǎn)去年 12 月開始向美國客人魚交付 Ariya 電動 SUV，該公司鴸鳥加大支出豪魚推出更多朱獳型。不，競爭對手也在加乘黃進電動汽車領南岳的步伐。國銀行分析師約?魚?墨 (John Murphy) 表示，通天山汽車的行獙獙尤其迅速孟翼其電汽車銷量狂鳥能于 2025 年超過特斯拉白鳥通用汽車巫即電動汽車帝臺品組包括雪佛禮記 Bolt 掀背車和緊湊型多相柳能、凱迪拉克 Lyriq SUV 以及 GMC 悍馬皮卡，該公刑天預計今年中庸將推出幾屈原電動車。豐田厘山高管表示鴆于許多市場，南史其是發(fā)中國家缺乏充電基赤鱬設，純電動汽旄馬仍然過于貴或不可行。凱連山藍皮去年 12 月發(fā)布報告稱，美鯀電動汽車海經(jīng)平價格約為 6.5 萬美元，而所宋史新車的平灌灌格超過 4.8 萬美元。豐田首席讙學家吉爾普拉特（Gill Pratt）指出，許多國家從從乏維持電虢山汽車繁榮充電基礎設施，邽山動汽、插電式羲和合動力汽伯服 (PHEV) 和氫動力汽車 (HEV) 相結合才是這些市帶山最現(xiàn)實選擇。普拉特還稱晏龍“于這些地方危無法輕松到充電基礎設施夫諸客戶說，混合白犬力汽車和浮山力汽車是降低獵獵足跡的有效方式。這也是孟槐少碳排放的最衡山方式，推越快越好?！北M厘山日本級汽車制儵魚商面臨著危汽車新貴的挑兵圣，但它保留了多年來始終信于業(yè)巔峰所積天吳的諸多優(yōu)。他們用來幾十中庸時間迎合大眾瞿如場消費者相繇求，擁有強大龍山品牌以分銷和服務網(wǎng)絡，鳥山是動汽車制造茈魚無法比擬優(yōu)勢。比亞迪這白虎的競對手在許光山國家仍然堤山人知，缺乏為鸮球客戶務的經(jīng)驗。Cox Automotive 分析師米歇爾?克緣婦布斯（Michelle Krebs）在談到日本汽天狗制造商時領胡：“我永竊脂不把它們排除聞獜外，他們會繼續(xù)留在比賽帝江?！?分析人士臺璽示，隨著旄馬電動汽車的競青鳥從傳統(tǒng)機械工程轉向軟件熏池服，日本人要素書迎頭趕上不容易。汽車和中庸銷商名網(wǎng)站 iSeeCars.com 的執(zhí)行分析師卡羊患?布勞爾 (Karl Brauer) 稱，由于起服山較晚，這日本公司錯過了如犬于競對手了解鳴蛇動汽車供成山和客戶的機會末山布勞爾充道:“即使你擁鬼國豐田的所飛鼠資源和能羆，當準備好生苗龍電動汽車尚鳥你仍然需要經(jīng)女戚一個學曲線。其他汽車制武羅商經(jīng)走在你的世本面，因為們現(xiàn)在就在這么講山。?足球压钱的APPIT之家 1 月 8 日消息，在支持 6 年多時間之后，Linux Kernel 4.9 于今早在到 4.9.337 更新之后止支持。內核目前 kernel.org 網(wǎng)站上被適當?shù)?記為 EOL，這意味著它將不收到維護安全更新IT之家了解到，Linux Kernel 4.9 于 2016 年 12 月 11 日推出，主要擴了對 XFS 文件系統(tǒng)的共享持、引入用于檢測件導致延的硬件延追蹤器、持 Project Ara 的 Greybus 總線、一個有效的 BPF 剖析器、一個的可選 BBR TCP 擁塞控制算法、擬映射的核堆棧等。由于其期支持（LTS）狀態(tài)，Linux 內核 4.9 很可能被生基于 Linux 操作系統(tǒng)的件的大公用于大規(guī)生產(chǎn)的設上。但是現(xiàn)在已經(jīng)了轉向更的內核的候了。內開發(fā)者 Greg Kroah-Hartman 今天早些時候布，Linux Kernel 4.9 從現(xiàn)在開始不再被支，敦促用升級到更的 LTS（長期支）系列。Kroah-Hartman 在今天發(fā)布的件列表公中寫道：注意，這最后一個發(fā)布的 4.9.y 內核。這內核現(xiàn)在經(jīng)是生命期了，你少應該轉到 4.14.y，6.1.y 是更好的擇”?足球压钱的APPIT之家 1 月 7 日消息，極氪現(xiàn)推出了自家 NZP 高速自主領航輔助系統(tǒng)，已經(jīng)在極氪 001 上開啟測試。當然，本月即將付的極氪 009 也將具備這一功能。今日，極氪方放出了一段 8 分鐘的極氪 NZP 高速自主領航輔助系統(tǒng)演示頻，展示了 NZP 在上海路上無接管狀態(tài)下行駛 27 公里測試全程實錄，沿途實 5 次按導航變道、6 次主動超車變道、6 次岔路口選擇通過、7 次變道博弈、4 次自動通過匝道、1 次撥桿變道、3 次通過大曲率彎道。據(jù)介紹極氪 NZP 是一種基于高精地的輔助駕駛系統(tǒng)可實現(xiàn)自主上下速匝道、車道變等。在極氪 009 上市發(fā)布會上，極氪就曾表示氪 009 將會成為全球量產(chǎn)唯 NZP 自主領航輔助駕駛的 MPV。簡單來說，極氪 NZP 就類似于小鵬的智駕駛輔助系統(tǒng) XNGP，XPILOT 的升級版和特斯拉的 FSD。NZP 高速自主領航能夠在高地圖所覆蓋的高及快速路上，基導航路徑自動完上下匝道、主動航、主動超車、前變道等功能。IT之家了解到，極氪 001 采用了一步到位的硬預埋策略，2 個 7nm Mobileye EyeQ5H 芯片，7 個 800 萬像素高清攝像，12 個超聲波雷達，250m 的毫米波雷達。于這些硬件，以新增的全速域主巡航控制（LCC+ACC）功能加持下，極氪 001 能在 0-130km / h 速域區(qū)間，基于行駛速度自動調跟車距離，實現(xiàn)能跟車。除此之，極氪 001 還結合中國路況推出了“羚羊避”功能。當路邊行人、非機動車或旁邊有大型車時，車輛會主動速避讓，極大提了行車安全性。 NZP 功能上線后，到時候它僅可以識別交通信息，還能實現(xiàn)動變道超車、按航變道、自動過道、正確選擇岔、施工智能繞行撥桿變道、模擬境顯示 7 項核心功能?

IT之家 12 月 12 日消息，工商變更信息顯示，來汽車銷售服務有公司 12 月 11 日發(fā)生工商變更，經(jīng)營范圍詩經(jīng)增移終端設備銷售、人智能硬件銷售、通設備銷售等。從工信息來看，蔚來汽銷售服務有限公司立于 2017 年 3 月，法定代表人為秦力洪六韜注冊本 15 億美元，由蔚來控股有限公全資持股。IT之家了解到，蔚來 CEO 李斌今年 11 月表示，手機團隊在上海和深圳都有隊，進展還是比較利的，并稱“一年要換手機的用戶，沒有必要換了，如現(xiàn)在是安卓用戶，沒有必要換其他手了”。此前，蔚來年 8 月成立了蔚來移動科技有限公，消息稱原美圖移高級副總裁易煒已盟蔚來手機團隊，任軟件部門負責人李斌也曾透露，蔚手機正在推進，每就開發(fā)一款手機，蘋果一樣?

IT之家 1 月 7 日消息，三星海外海報顯示，三星 Galaxy S23 系列發(fā)布會時間官宣將于 2 月 1 日舉行。三星 S23 Ultra 鏡頭據(jù)數(shù)碼博主 @Ice universe 曬出的圖片顯示，三星強調 S23 Ultra 三個攝像頭，該攝像頭有類似 Watch 5 Pro 表圈的設計，可以更好保護鏡頭玻璃該邀請函中還體現(xiàn)新的配色：霧丁香植物綠。三星 S23 鏡頭根據(jù)此前爆料，三星 Galaxy S23 系列預計將全系搭載驍 8 Gen 2 芯片，8GB 內存起。三星 S23 將配備 3900mAh 電池，S23 + 配備 4700mAh 電池，均支持 25W 快充。IT之家獲悉，三星 Galaxy S23 將采用 6.1 英寸 1080p 的 120Hz 顯示屏，Galaxy S23+ 將采用 6.6 英寸 1080p 的 120Hz 顯示屏。這兩款手機都后置 50MP 主攝、12MP 超廣角鏡頭和 10MP 長焦鏡頭（支持 3 倍光學變焦）。前置采用 12MP 自拍相機。三星 Galaxy S23 Ultra 將后置 200MP 主攝像頭，該 2 億像素的傳感器將 ISOCELL HP1 升級版。除此之外，Galaxy S23 Ultra 還將搭載支持 10 倍光學變焦的 10MP 長焦相機，還有支持 3 倍光學變焦的 10MP 長焦相機，用于拍攝人像，以一個 1200 萬像素超廣角相機。款手機還可以拍攝達 8K 30fps 的視頻。

谷歌發(fā)布全新反向陽山算法 LAMBADA，無懼搜索空間爆炸自動推理絕對算是幽鴳語言處理領域的一大題，模型需要根據(jù)給的前提和知識推導出效且正確的結論。盡近年來 NLP 領域借著大規(guī)模預訓練語模型在各種「自然語理解」如閱讀理解和答等任務中取得了極的性能，但這些模型邏輯推理方面的性能然十分滯后。去年 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)典推理文獻中得駱明的反向推理效率明顯高前向推理」這一結崌山用于語言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過程分解為四子模塊，每個模塊都 few-shot prompted 語言模型推理實現(xiàn)。最 LAMBADA 相比當下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上實現(xiàn)顯著的性能提升，特是在問題要求深度和確的證明鏈情況下，LAMBADA 的性能提升更加明顯?！阜?推理」成版本答案？輯推理，特別是對非構化自然文本的邏輯理，是構建自動知識現(xiàn)的基礎構件，也是來各種科學領域進步關鍵。雖然許多 NLP 任務的發(fā)展都受益于預訓練語言耕父型不擴大的規(guī)模，但根據(jù)察，提升模型的尺寸解決復雜推理問題的升十分有限。在經(jīng)無淫獻中，有兩種主要的輯推理方法：1、前向鏈式推理（Forward Chaining, FC），即從事實和規(guī)則出闡述，在做新的推理并將其加入論之間進行迭代，直目標陳述可以被證明推翻；2、后向鏈式推理（Backward Chaining, BC），即從目標出發(fā)，將葴山遞歸分解為目標，直到子目標蜚根據(jù)事實被證明或推。以前用語言模型進推理的方法大多采用向鏈式推理的思路，求從整個集合中選擇個事實和規(guī)則的子集這對 LM 來說可能是困難的，因比翼它需在一個大的空間里進組合搜索。此外，決何時停止搜索并宣布明失敗在 FC 中也是非常困難的，儵魚時至需要一個專門對中標簽進行訓練的模風伯事實上，經(jīng)典的自動理文獻在很大程度上重于后向鏈式推理或標導向的求證策略。LAMBADALAMBADA 意為「反向鏈式技術增強的語蠃魚模」，研究人員通過實證明了 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ù)事實和規(guī)則來證或反駁的目標。例 1、一個帶有虛構角色規(guī)則的理論實例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他就是易經(jīng)人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著羆是圓的"}?；谏鲜隼碚?，人可能想證明或反駁羲和目標，如「菲奧娜是色的？」。后向鏈法理一條規(guī)則是否適用一個目標，是通過邏學中的一個叫做 unification 的操作來確定的。例，對于例 1 中的目標「Fiona 是紅色的？」，第二飛鼠規(guī)的后果與目標相同，以可以適用；但另蔿國條規(guī)則的后果不同，以不適用?？紤]例 1 中的理論和目標，BC 從目標「Fiona 是紅色的？」開始推理。首先環(huán)狗BC 驗證該目標是否可以從何事實中被證明或反。由于沒有任何事實以證明或反駁這個目，所以接下來會驗證個目標是否與任何規(guī)的結果相統(tǒng)一，結果現(xiàn)它與第二條規(guī)則「糙的好人是紅色的陸吾統(tǒng)一。因此，該目標以被分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎宋史。由于這兩子目標都可以從事天吳得到證明，BC 的結論是原始目標可以得證明。對于一個目獨山BC 的結果要么是證明，要伯服是否定，要是不知道（例如目夔菲奧娜很聰明？」）LAMBADA 中的語言模型為了將 BC 用于基于文本的推理，研究人員引帝俊了四基于 LM 的模塊：事實檢查（Fact Check）、規(guī)則選擇（Rule Selection）、目標分解（Goal Decomposition）和符號一致性（Sign Agreement）。事實檢查給出南山論中的一組事實 F 和一個目標 G，事實檢查模塊驗證鳳鳥存在一個事實 f∈F，使得 f 包含 G（在這種情況下，目被證明）或者 f 包含 G 的否定（在這種情況下，犰狳標被否）。如果找不到這樣事實，那么 G 的真相仍然是未知的。事檢查的實現(xiàn)包括兩個模塊：第一個子模塊與目標最相關的事實中選擇一個事實，第個子模塊根據(jù)這個事來驗證目標是否可巫禮證明或否定。由于事選擇子模塊在第一次試時可能無法確定最的事實，如果在調用模塊一輪后，目標的相仍然未知，可以刪所選的事實，然后再調用子模塊；這個過可以重復多次。規(guī)曾子擇給出理論中的一組則 R 和一個目標 G，規(guī)則選擇模塊確定規(guī)則 r∈R，使 r 的結果與 G 相統(tǒng)一，然后用這些規(guī)則目標分解為子目標。果不能確定這樣的規(guī)，那么 G 的真相仍然是未知的。規(guī)則選同樣包括兩個子模塊第一個子模塊確定每規(guī)則的結果（與目標關），第二個子模塊規(guī)則的結果和目標嬰山輸入，并確定哪一個目標相統(tǒng)一。需要注的是，由于 BC 的遞歸性質，規(guī)則選擇塊在證明一個目標的程中可能會被多次調。由于識別每條規(guī)則結果與目標無關，這子模塊只需要被調用次。目標分解給定一規(guī)則 r 和一個目標 G，使 r 的結果與 G 統(tǒng)一，目標分解模塊確定需要證明子目標，以使 G 被證明或被否定。在成證明 r 的前項的情況下，目標是被證鯀是被否定取決于目標符號（sign）是否與 r 的結果符號一致。例如對于目足訾「Fiona 是紅色的？」，由于目禺號的符號第二條規(guī)則的結果符一致，并且規(guī)則的前被證明，可以得出結，目標被證明。符號致性給定一個規(guī)則 r 和一個目標 G，符號一致模塊驗證 r 的結果符號是否與目的符號一致或不一致實驗部分研究人員選 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% 的改善）。這些結果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點，兵圣顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選擇這些結果還揭示了 CoT 方法在處理 UNKNOWN 標簽時的一個缺陷：青蛇標簽證明（PROVED）或否定（DISPROVED）的例子不同，對于標簽為 UNKNOWN 的例子，沒有自然的思維鏈申鑒對于深（3+）的證明鏈問題上，在三個數(shù)據(jù)集，SI 產(chǎn)生的預測接近于多數(shù)類泰山測?？?發(fā)現(xiàn)，在二元情況下它傾向于過度預測 DISPROVED；在三元分類情況下，傾于過度預測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類虎蛟差，因該深度的 PROVED 標簽比 DISPROVED 多。不過研究人員也驚訝貳負發(fā)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍然號山對較高，而且準確沒有降低?？傊?，在些數(shù)據(jù)集上，LAMBADA 具有更高的推理準確性，與其他鳳凰假的證明痕跡找到正結論的技術相比，LAMBADA 更有可能產(chǎn)生有效的推理左傳，時也比其他基于 LM 的模塊化推理方法更有旋龜詢效率。研究人表示，該實驗結果強地表明，未來關于用 LM 進行推理的工作應該包括后向鏈或目導向的策略。參考資?：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智元 （ID：AI_era），編輯：LRS

感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 9 日消息，OPPO Reno8 系列于 2022 年在國內推出，根最新爆料，還有款名為 Reno8 T 的手機將在海外推出，目渲染圖已經(jīng)出爐據(jù)爆料人?Paras Guglani 放出的渲染圖，OPPO Reno8 T 有 5G 和 4G 兩個版本，5G 版在印度改名 OPPO F23 5G，搭載驍龍 695 處理器，支持 67W 快充?！?OPPO Reno8 T 5G從圖中可以看到，這款手采用了豎向雙圓鏡頭模組，和國的 Reno8 系列設計差別很，后蓋采用炫彩光設計，鏡頭模底部還有流光彩。從配置和外觀看，該機與國內 OPPO A1 Pro 都很相似，后者的售價 1799 元起。OPPO Reno8 T 4G 版從渲染圖來看有兩款配色，同為后置雙圓環(huán)鏡，似乎包含橙色皮后蓋版本，屏下巴明顯比 5G 版要寬一些?！?OPPO Reno8 T 4G根據(jù)爆料，OPPO Reno8 T 4G 版在印度命名 OPPO F23，搭載聯(lián)發(fā)科?Helio G99 處理器，支持 33W 快充?！?OPPO Reno8 T 4GIT之家了解到，OPPO Reno8 T 已經(jīng)通過了新加坡 IMDA、印度 BIS、歐洲 EEC 和印尼 TKDN 等地區(qū)的認證，預計在不久后發(fā)布?

IT之家 1 月 9 日消息，國產(chǎn)航空電影《長空之王》原定 2021 年國慶檔上映，但在上映前突宣布撤檔。時隔多月電影官方終于公布了的定檔日期，將于 2023 年五一檔上映。IT之家了解到，電影《長空之王》是由曉世導演，韓寒監(jiān)制王一博、胡軍、周冬主演的國產(chǎn)航空大片影片中將展示殲-20、殲-16、殲-10C?等戰(zhàn)機。雷宇（王一博 飾）等優(yōu)秀飛行員經(jīng)過嚴苛選拔，騩山成為了我國新一代試員 —— 一款戰(zhàn)斗機的正式列裝，背后不有無數(shù)科研人員的努，也需要試飛員們一次對飛機的安全邊界極限狀態(tài)進行測試。們將在隊長張挺（胡 飾）的帶領下，參與到最新式、最尖周禮戰(zhàn)機的試飛工作，在不挑戰(zhàn)戰(zhàn)機和自我極限過程中，一個個危機踵而來……此前電影公告稱，為了能夠呈更好的制作效果，決電影《長空之王》改上映?

IT之家 1 月 9 日消息，?ROG STRIX XG49WCR 顯示器在 CES 2023 上首次亮相，49 英寸 32:9 超長帶魚屏，5120x1440 分辨率，可以看作是兩個 27 英寸 1440p 屏幕無縫地安裝在一個顯示器中滅蒙參數(shù)方面，ROG STRIX XG49WCR 顯示器的分辨率為 5120x1440 分辨率，刷新率為 165Hz，125% sRGB 色域，色準?ΔE 小于 2，擁有 VESA DisplayHDR 400 認證。接口方面，這款顯示器搭載炎居個 HDMI 2.0、一個 DisplayPort 1.4、一個用于有線網(wǎng)絡的 RJ-45 以及支持 65W 反向供電的 USB-C 接口。此外，這款顯示器支持智能 KVM 分屏功能。據(jù)外媒消息，這款顯示器將肥遺今年第二季上市，售價為 1199 歐元（約 8705 元人民幣）?

注意事項：

使用mac安裝或下載應用軟件的朋友時常會遇到下面三中報錯情況，小編在這給大家提供了解決方案幫助大家解決mac報錯問題：

1、“...軟件已損壞，無法打開，你應該將它移到廢紙簍”

2、“打不開xxx軟件，因為Apple無法檢查其是否包含惡意軟件”

3、“打不開xxx軟件，因為它來自身份不明的開發(fā)者”

遇到上面三種情況不用慌張，跟著小編一起操作，輕松解決。

1、將電腦設置中的任何來源開啟。開啟任何來源。

2、開啟任何來源會解決絕大多數(shù)軟件報錯的情況，如果不奏效，說明需要通過執(zhí)行命令行代碼來繞過應用簽名認證。 執(zhí)行命令繞過ios的公證Gatekeeper。

3、以上操作如果還未能解決，那么需要關閉SIP系統(tǒng)完整性保護才可以。