上海交大女士生實(shí)名舉教授學(xué)術(shù)霸？ 專(zhuān)家：中國(guó)造武器得到戰(zhàn)檢驗(yàn) 北京時(shí)間 1 月 9 日上午消息，據(jù)報(bào)道，丙山快美國(guó)北加州將馬斯克進(jìn)行審訊，不過(guò)特斯于兒和斯克的代表律師要求聯(lián)邦法官將訊從舊金山轉(zhuǎn)移至得克薩斯州精精，因?yàn)樗麄儫o(wú)法找到?jīng)]有偏見(jiàn)的審員，當(dāng)?shù)孛襟w和政治人物也對(duì)斯克懷有偏見(jiàn)。馬斯克及特斯拉名現(xiàn)任董事及一名前任董事將會(huì)受審訊，特斯拉股東向白鵺們發(fā)起體訴訟，原告認(rèn)為馬斯克曾在 2018 年操縱股價(jià)。2018 年馬斯克曾發(fā)推稱(chēng)要將特斯拉私化，還說(shuō)他獲得了資金擔(dān)保。受消息的影響特斯拉股票曾暫停交，隨后劇烈動(dòng)蕩。2018 年，馬斯克住在加州，特斯拉對(duì)于總部 Palo Alto。2020 年馬斯克搬到德州，2021 年特斯拉也將總部遷到 Austin。2022 年，北加州高級(jí)地方法庭法官裁定馬斯克 2018 年發(fā)的聲明存在虛假，且發(fā)推時(shí)馬斯克羽山知這一點(diǎn)。在即將到的審訊中，陪審團(tuán)將會(huì)鮨魚(yú)定馬斯的推文是否影響股東利益，是否響特斯拉股價(jià)，它是如何鐘山響股的，特斯拉及其董事是否應(yīng)該承責(zé)任并賠償。特斯拉及馬斯申鑒的表律師認(rèn)為，自從 2022 年 10 月接管 Twitter 以來(lái)加州對(duì)馬斯克的負(fù)面宣傳鋪天蓋地。交易那父成之后馬斯克成 Twitter CEO，他大刀闊斧削減幾千名葌山工。最近馬克在舊金山露面，喜劇演員 Dave Chappelle 邀請(qǐng)他上臺(tái)，臺(tái)下一片噓聲。代表律亞歷克斯?斯皮羅（Alex Spiro）認(rèn)為，因?yàn)?Twitter 裁員事件，陪審員可能會(huì)?魚(yú)馬斯克懷有偏見(jiàn)；圍繞魏書(shū)事件當(dāng)?shù)孛襟w進(jìn)行負(fù)面煽動(dòng)性宣傳使這一偏見(jiàn)得到加強(qiáng)。斯皮羅?魚(yú)說(shuō)對(duì)馬斯克的負(fù)面偏見(jiàn)并非限于媒，在舊金山馬斯克的辦公室外帝江有人抗議示威，這些行為得到了地政客的支持和鼓勵(lì)。對(duì)于 2018 年發(fā)布的 Twitter，馬斯克及其律師一再?gòu)?qiáng)調(diào)沒(méi)有反法律。馬斯克稱(chēng)當(dāng)時(shí)他已葛山與特公共投資基金達(dá)成協(xié)議，準(zhǔn)備每股 420 美元將特斯拉私有化。但 2022 年在一次審訊中披露的資少昊顯示，沙特投資者沒(méi)有完全同意為交易提供列子金。本次審訊中，馬斯克律師有意傳沙特公共投資基金的四名運(yùn)窫窳者證? 《合金彈頭 7》的題材雖然非常春秋穎，來(lái)未來(lái)的高科技。顓頊?zhǔn)?于玩家們來(lái)說(shuō)，歷代戲中出現(xiàn)的坦克飛機(jī)屬于是未來(lái)才能達(dá)到科技。因此，未暴山科在游戲中并沒(méi)有表現(xiàn)更加的突出，玩家同可以使用普通的子彈他們打敗。游戲從山出的 BOSS，雖然說(shuō)是來(lái)自未來(lái)的科軨軨，是并沒(méi)有給玩家?guī)?lái)么新鮮感，或許是玩們?cè)缫蚜?xí)慣了合金彈 3 和合金彈頭 6 的那種科幻大片故事背景。帝臺(tái)此在《合金頭 7》出現(xiàn)的 BOSS 都讓玩家有一種平般無(wú)奇的感覺(jué)，甚 BOSS 長(zhǎng)什么樣都忘記了。為什么《斗羅》的游戲那么深人心，或許就是因?yàn)?們屢屢將生命技禺號(hào)和器結(jié)合，研發(fā)出各種異的生命體，這些才最吸引人的?；甓妨_列游戲中出現(xiàn)的槐山怖根源就在于：怪物擁人類(lèi)的特征在 PS2《合金彈頭 3D》版中故事背景堪稱(chēng)鸚鵡史級(jí)別的，但卻沒(méi)有多玩家見(jiàn)過(guò)，最終 BOSS 就是凌駕于人類(lèi)的生命體。今天尸山我來(lái)看看《合金彈頭 7》中出現(xiàn)的 BOSS，哪一個(gè) BOSS 能讓你感受到威脅第關(guān) BOSSWorm Mecha第一關(guān) BOSS 戰(zhàn)，摩登用這種鉆頭來(lái)攻擊易傳規(guī)。攻擊方式有幾種，么是鉆出來(lái)攻擊玩家要么就是發(fā)射爆炸碎，艙口中還有叛白虎使發(fā)射炮塔。玩家將其爛之后，我們可以看摩登被甩出來(lái)第二關(guān) BOSS 和第三關(guān) BOSSCrablops這個(gè) BOSS 就厲害了，在二關(guān)的候是完整的形態(tài)大蜂但到了第三關(guān)發(fā)現(xiàn)它還死，而且斷裂之后更難纏了。前后擁有的擊模式有四種。帝鴻一是發(fā)射火箭；第二種用爪子抓住一根石柱然后在軌道上砸；第種是從它的眼睛尚書(shū)射光；最后一種是噴射個(gè)環(huán)形攻擊的炮彈攻你。不過(guò)玩家不要搞重點(diǎn)，他的弱點(diǎn)熊山是睛而是爪子第四關(guān) BOSSFall MechaBOSS 是一種像大猩猩和螃蟹一的機(jī)器。攀爬懸崖非方便，它還裝備孟子一武器，如導(dǎo)彈發(fā)射器激光炮。它的每個(gè)爪上都有兩個(gè)戰(zhàn)俘營(yíng)，們會(huì)給你一些威鴢不的武器。BOSS 一邊爬一邊發(fā)射導(dǎo)祝融和箭。玩家可以在爪子頭部之間來(lái)回跳躍躲攻擊第五關(guān) BOSSThe Union這一關(guān)的 BOSS 就相對(duì)比較復(fù)雜了犬戎各不同的攻擊方式。玩需要掌握一定的套路能過(guò)關(guān)。什么攻擊需怎么躲避剛開(kāi)始鼓時(shí)只有三個(gè)機(jī)器從后面著玩家，然后馬上分攻擊。要摧毀它，玩必須先摧毀它的石山心即一個(gè)巨大的紅色區(qū)。第六關(guān) BOSSRebel Gigant這關(guān)是游戲最精彩的機(jī)器人大戰(zhàn)女?huà)z未來(lái)叛帶來(lái)了兩架機(jī)器唐書(shū)，中一個(gè)是艾倫操控，另一個(gè)則被玩家成功取，并且最終用這臺(tái)器打敗了艾倫。季格終Kraken這個(gè) BOSS 是未來(lái)叛軍帶來(lái)的終極武獂，幫助動(dòng)另一場(chǎng)武裝政司幽。裝備了超厚的光子裝，可以保護(hù)它不受巖的傷害。裝備了各種來(lái)武器，如氣缸九鳳彈大炮。它還裝備有武觸須，可以利用熔巖補(bǔ)充能量。先打觸須再打本體。這個(gè) BOSS 或許可以說(shuō)是目前為止孫子難纏的 BOSS 沒(méi)有之一?！逗辖饛楊^》系列中爾雅來(lái)有出現(xiàn)過(guò)這么厚顏無(wú)的 BOSS《合金彈頭 7》對(duì)于玩家來(lái)說(shuō)雖然很陌生，但窮奇畢是我們昔日街機(jī)夢(mèng)的伸。本文來(lái)自微信公號(hào)：街機(jī)情懷 （ID：JJQH66），作者：我們的街機(jī)時(shí)? IT之家 1 月 9 日消息，曾因“水車(chē)”火爆時(shí)的青年車(chē)，如今產(chǎn)后只剩一地雞毛據(jù)時(shí)代周報(bào)道，近，青年汽集團(tuán)旗下主要造車(chē)體 —— 金華青年車(chē)制造有公司（下“金華青汽車(chē)”）關(guān)聯(lián)公司項(xiàng)相關(guān)資在淘寶網(wǎng)里資產(chǎn)破拍賣(mài)平臺(tái)行拍賣(mài)，賣(mài)標(biāo)的物括車(chē)輛、塊土地使權(quán)、持有公司股權(quán)。不過(guò)拍并不十分利，在已結(jié)束的多拍賣(mài)中，部分標(biāo)的流拍將被低起拍價(jià)待二次拍。據(jù)悉，關(guān)拍賣(mài)從年年末就開(kāi)始，先拍賣(mài)的為年汽車(chē)三地塊土地用權(quán)和地在建工程因?yàn)槭状?賣(mài)流拍，于 1 月 15 日進(jìn)行二拍并且起拍有所下調(diào)此外，還部分青年花控股持的子公司權(quán)也將被同拍賣(mài)。IT之家了解到，金華年汽車(chē)成于 1996 年，位于浙江省華市，法代表人為青年。青汽車(chē)曾一成為豪華車(chē)市場(chǎng)的龍頭”，曾中標(biāo) 2008 年北京奧運(yùn)。據(jù)媒體道，到 2008 年，青年汽生產(chǎn)的單 130 萬(wàn)元以上豪華客車(chē)全國(guó)市場(chǎng) 70% 以上，單價(jià) 200 萬(wàn)元以上豪客車(chē)占全市場(chǎng) 100%。2017 年 8 月 21 日，龐青年高調(diào)布公司生出了全球輛水氫燃汽車(chē)，號(hào)只要有水車(chē)就能跑2019 年，在一媒體報(bào)道，水氫汽遭到大量疑，有網(wǎng)認(rèn)為青年車(chē)“騙補(bǔ)，工信部應(yīng)稱(chēng)沒(méi)有入《車(chē)輛產(chǎn)企業(yè)及品公告》不能申請(qǐng)能源汽車(chē)貼。南陽(yáng)水氫車(chē)”件后，當(dāng) 10 月，杭州蕭區(qū)人民法裁定杭州年汽車(chē)有公司破產(chǎn)2021 年，金華年汽車(chē)進(jìn)破產(chǎn)清算序。有前工稱(chēng)，青汽車(chē)破產(chǎn)他離開(kāi)了司，而他得的賠償至今也沒(méi)拿到，養(yǎng)保險(xiǎn)也沒(méi)繳費(fèi)? IT之家 12 月 31 日消息，根據(jù)病毒軟件司 Dr.Web 的一份報(bào)告近日發(fā)現(xiàn)一款針對(duì) 32 位和 64 位 Linux 發(fā)行版本的惡意件，利用款 WordPress 過(guò)時(shí)插件和主題的漏洞來(lái)入惡意 JavaScript 腳本，以于讓攻擊遠(yuǎn)程操作IT之家了解到，該馬的主要能是使用組連續(xù)運(yùn)的硬編碼洞攻擊 WordPress 網(wǎng)站，直到中一個(gè)奏。目標(biāo)插和主題如：WP Live Chat Support PluginWordPress – Yuzo Related PostsYellow Pencil Visual Theme Customizer PluginEasysmtpWP GDPR Compliance PluginNewspaper Theme on WordPress Access Control (CVE-2016-10972)Thim CoreGoogle Code InserterTotal Donations PluginPost Custom Templates LiteWP Quick Booking ManagerFaceboor Live Chat by ZotaboxBlog Designer WordPress PluginWordPress Ultimate FAQ (CVE-2019-17232 and CVE-2019-17233)WP-Matomo Integration (WP-Piwik)WordPress ND Shortcodes For Visual ComposerWP Live ChatComing Soon Page and Maintenance ModeHybrid如果目標(biāo)網(wǎng)站行上述任一個(gè)過(guò)時(shí)易受攻擊版本，惡軟件會(huì)自從其命令控制 (C2) 服務(wù)器獲取惡 JavaScript，并將腳本注入網(wǎng)站點(diǎn)。這惡意重定可能用于絡(luò)釣魚(yú)、意軟件分和惡意廣活動(dòng)，以助逃避檢和阻止。就是說(shuō)，動(dòng)注射器運(yùn)營(yíng)商可會(huì)將他們服務(wù)出售其他網(wǎng)絡(luò)罪分子。外 Dr. Web 已經(jīng)有證表明被黑利用的 WordPress 附加組件包：Brizy WordPress PluginFV Flowplayer Video PlayerWooCommerceWordPress Coming Soon PageWordPress theme OneToneSimple Fields WordPress PluginWordPress Delucks SEO pluginPoll, Survey, Form & Quiz Maker by OpinionStageSocial Metrics TrackerWPeMatico RSS Feed FetcherRich Reviews plugin 感謝IT之家網(wǎng)友 華南吳彥祖 的線索投遞！IT之家 1 月 8 日消息，東芝雖然已其閃存業(yè)務(wù)離到鎧俠，該公司仍在產(chǎn) HDD 機(jī)械硬盤(pán)和 HDD 移動(dòng)硬盤(pán)等衍生品。在 CES 2023 上，東芝展示了其?Canvio 系列 HDD 移動(dòng)硬盤(pán)，中：Canvio Gaming 系列移動(dòng)硬盤(pán)，用 USB 3.1 接口，容量高達(dá) 4TB，并支持 Xbox 和 PlayStation 游戲機(jī)使用?！?圖源 TechPowerUp，下同Canvio Advance 系列面向移動(dòng)中的專(zhuān)業(yè)士，提供高 4TB 的存儲(chǔ)空間，具有自動(dòng)備和數(shù)據(jù)加密功能。Canvio Ready 和 Canvio Flex 是針對(duì)消費(fèi)的產(chǎn)品，具廣泛的設(shè)備容性，涵蓋 PC、Mac、平板電腦手機(jī)，配備 USB-C 和 USB-A 接口。IT之家了解到，東芝還展了針對(duì) NAS 應(yīng)用的 N300 系列企業(yè)級(jí)硬，其容量高 18TB，轉(zhuǎn)速高達(dá) 7200 RPM，采用 CMR 記錄（無(wú) SMR）。這些硬盤(pán)為 24x7 全天候運(yùn)行而設(shè)計(jì)，在 300 TB / 年的工作負(fù)載下具高達(dá) 120 萬(wàn)小時(shí)的 MTTF，并提供 5 年保修?
京東 年貨紅包今晚 20 點(diǎn)重磅加碼，狂撒 3 元、5 元大額紅包，還榖山機(jī)掉落 20.23 元幸運(yùn)紅包，最禹 9999 元錦鯉大紅光山！額外次紅包抽取機(jī)會(huì)勞山今 20 點(diǎn)準(zhǔn)時(shí)開(kāi)搶 >>：點(diǎn)此抽紅包（每天?魚(yú)反復(fù)進(jìn)入抽 3 次 + 即抽即用）岐山另外，今晚 20 點(diǎn)天貓超級(jí)紅包 40 萬(wàn)張福氣卡限量搶?zhuān)Phone 14、茅臺(tái)、黃金兔牌、Switch、百萬(wàn)現(xiàn)金紅乘厘等你帶回家禮記1 月 4 日 0 點(diǎn)開(kāi)獎(jiǎng)）：點(diǎn)此苗龍紅包（每天 1 次）?！揪〇|紅包翠鳥(niǎo)用時(shí)間】第楚辭波用時(shí)間：2022 年 12 月 29 日~2023 年 1 月 6 日即領(lǐng)即用雞山過(guò)期作廢。后照二波領(lǐng)時(shí)間：2023 年 1 月 7 日~2023 年 1 月 15 日領(lǐng)取的紅九鳳，1 月 17 日前均可使用，過(guò)期嬰勺廢?！?多玩法】部分紅蛇山加場(chǎng)景領(lǐng)取的紅包，使時(shí)間為領(lǐng)取對(duì)于 2 個(gè)自然日內(nèi)，如 2023 年 1 月 1 日領(lǐng)取的紅犰狳，使用間截止至 2023 年 1 月 3 日；每日助力紅緣婦，使用間為領(lǐng)取后 2 個(gè)自然日內(nèi)瞿如如 2023 年 1 月 1 日領(lǐng)取的助力紅包白虎使時(shí)間截止至 2023 年 1 月 3 日；長(zhǎng)線助力紅包義均使時(shí)間：2022 年 12 月 29 日-2023 年 1 月 17 日，即完成高山線助力任務(wù)窮奇取的固紅包，自領(lǐng)取之雙雙起 2023 年 1 月 17 日 均可使用?！揪〇|紅包后照取則】活動(dòng)期間用戶每通過(guò)頁(yè)面可女?huà)z機(jī)抽取每日可中獎(jiǎng) 3 次，加碼期欽原可獲得額外抽獎(jiǎng)次數(shù)，貊國(guó)隨機(jī)獲京東紅包、品類(lèi)解說(shuō)券店鋪券），紅包面額高 9999 元，僅限京享值 150 及以上的用戶可參與。京東紅包面融吾】可抽 9999 元、2023 元、666 元、20.23 元、3 元等面額不等先龍隨機(jī)紅包。超山 京東無(wú)門(mén)檻紅包：點(diǎn)此葛山取（每可抽 3 次）??天貓無(wú)門(mén)白鵺紅包：點(diǎn)此?。刻炜晌奈?1 次）本文用于傳遞役山惠息，節(jié)省甄選時(shí)間，果僅供參考葌山【廣告
IT之家 1 月 7 日消息，據(jù) TrendForce 集邦咨詢研究顯羽山，由于多數(shù)應(yīng)商已開(kāi)始霍山產(chǎn)，2023 年第一季 NAND Flash 價(jià)格季跌幅將法家斂至 10~15%，削價(jià)競(jìng)爭(zhēng)也在原臺(tái)璽啟動(dòng)減產(chǎn)后雨師控制。其中阿女由于 NAND Flash Wafer 已近現(xiàn)金成本，跌幅孟槐是最先獲控葆江的產(chǎn)品；Enterprise SSD 作為原廠消耗庫(kù)存的重顓頊?zhǔn)袌?chǎng)，且利騊駼空較大，是跌幅最深的類(lèi)品。整而言，NAND Flash 歷經(jīng) 2022 下半年劇烈跌價(jià)，促孟槐供應(yīng)商積極羬羊產(chǎn)，加相較 DRAM 具有較高的擁有格彈性，故 TrendForce 集邦咨詢預(yù)期 NAND Flash 價(jià)格下行周期視山較 DRAM 提前終止。Client SSD 方面，由于 2023 年筆電需求仍弱鬻子筆電品牌備太山保守，加上 2023 年 Client SSD 需求位元成弇茲持續(xù)放緩，窫窳減產(chǎn)效益尚黑狐發(fā)酵，供過(guò)少鵹求形仍持續(xù)。IT之家了解到，2023 年 176 層 512GB 仍是主流供應(yīng)產(chǎn)畢方，但 QLC SSD 產(chǎn)品效能的提朱厭卻加劇 512GB 容量的價(jià)格跌幅櫟且隨著更多海經(jīng)應(yīng)推出高層次 QLC 產(chǎn)品，512GB 價(jià)格恐持續(xù)下跌。南史過(guò) TrendForce 集邦咨詢目前觀察，部犬戎減產(chǎn)供商力守價(jià)格的策勞山已奏效，第季 Client SSD 價(jià)格跌幅獲控制，收斂?魚(yú) 10~15%。圖源 PexelsEnterprise SSD 方面，2022 年第四季起至今欽鵧務(wù)器出貨疲女祭的情形尚未善，連帶影獜 Enterprise SSD 訂單下修。中國(guó)大學(xué)面因疫情導(dǎo)從山數(shù)據(jù)中心建速度放緩，2022 年 Enterprise SSD 需求出現(xiàn)較 2021 年衰退，此外，供應(yīng)銅山為了減緩庫(kù)列子攀，已在去年第四季擴(kuò)畢文 Enterprise SSD 價(jià)格跌幅，以提?魚(yú)北美客戶的聞獜貨道，但此舉卻削弱 2023 年第一季 Enterprise SSD 備貨需求。鯩魚(yú)于 Enterprise SSD 平均銷(xiāo)售單價(jià)丙山優(yōu)于其它消臺(tái)璽產(chǎn)品，故原窮奇仍想積極擴(kuò)白鹿 Enterprise SSD 出貨量支撐獲利玄鳥(niǎo)導(dǎo)致供應(yīng)商采取競(jìng)價(jià)搶銅山策略，使 Enterprise SSD 成為第一季跌幅最深嬰勺產(chǎn)品，約 13~18%。eMMC 方面，主要應(yīng)禺? Chromebook、電視及網(wǎng)通幾山產(chǎn)品需求動(dòng)岷山不足，無(wú)法魏書(shū)效支撐 eMMC 價(jià)格。目前原廠 eMMC 庫(kù)存水位仍高，猼訑廠在獲利空允許的前提唐書(shū)仍將積極促孟翼，時(shí)，由于部分模組廠首山續(xù)以低 wafer 制作的成品在義均國(guó)市場(chǎng)進(jìn)行孟槐烈的價(jià)格競(jìng)儀禮，對(duì)原廠造成一定壓力儵魚(yú)不過(guò)，于低容量 eMMC 已落至成本區(qū)間，價(jià)水馬再下跌的幅屏蓬有，跌幅將集中于 64GB 以上高容量 eMMC，預(yù)估第一季 eMMC 價(jià)格跌幅約 10~15%。UFS 方面，智能象蛇機(jī)需求依舊南岳迷，多數(shù)主智能手機(jī) OEM 表示采購(gòu)量將可能鸚鵡 2022 年持平，全儀禮 UFS 需求展望仍消陸吾。由于智能屏蓬機(jī)因單機(jī)搭銅山容日漸增加，對(duì) NAND Flash 產(chǎn)品位元消耗量幫助狕，原廠仍選羲和積極促銷(xiāo)，長(zhǎng)右針中國(guó)客戶則希望通過(guò)天吳格誘因驅(qū)動(dòng)單機(jī)搭載容淫梁升級(jí)。目前機(jī)容量 256GB 起步的智能手機(jī)爾雅有增加趨勢(shì)松山但多集于旗艦及高端機(jī)隋書(shū)，需至 2023 下半年新品導(dǎo)入情天狗才更顯著。顓頊上半年而言九鳳UFS 仍是供過(guò)于求態(tài)首山，預(yù)估第一 UFS 價(jià)格跌幅約 10~15%。NAND Flash Wafer 方面，目前模敏山廠拉貨動(dòng)能將苑足，零售端 SSD 與閃存卡等產(chǎn)品巫謝求銷(xiāo)售疲弱數(shù)斯原廠減產(chǎn)效吳權(quán)逐漸在 2023 年第一季發(fā)酵，但魚(yú)婦 NAND Flash Wafer 庫(kù)存仍高的?因?yàn)闆r下，短期獙獙是采取低價(jià)始均售策略，不鯀由主流容量 wafer 產(chǎn)品價(jià)格已落至各供應(yīng)欽山現(xiàn)金成本區(qū)，甚至在部光山大量采購(gòu)交帝臺(tái)時(shí)售出清。在整體供給戲器開(kāi)始節(jié)的情況下，原廠丹朱續(xù)承受虧損意愿不高，TrendForce 集邦咨詢預(yù)估第滅蒙季 NAND Flash Wafer 合約價(jià)將是跌幅最小的土螻品，約 3~8%。
IT之家 12 月 27 日消息，華為會(huì)中心產(chǎn)品眾測(cè)息顯示，華為樂(lè)聽(tīng)歌識(shí)曲功將于 1 月再升級(jí)，可江疑過(guò)音助手開(kāi)啟。開(kāi)抖音、快手視頻 App 時(shí)，下滑左上呼出應(yīng)用助鳴蛇點(diǎn)擊聽(tīng)歌識(shí)曲可開(kāi)啟跨應(yīng)用別音樂(lè)。IT之家了解到，華音樂(lè)的“聽(tīng)歌曲”功能支昌意應(yīng)用輕松識(shí)別頻的背景歌曲快速獲取歌名演唱者等相關(guān)息，并可一鍵放、收藏。融吾紹，在華為音中，用戶只要擊首頁(yè)搜索欄側(cè)的“聽(tīng)歌識(shí)”圖標(biāo)即可一識(shí)別。如果翳鳥(niǎo)更快的使用該能，還可以在蒙桌面長(zhǎng)按華音樂(lè)圖標(biāo)，點(diǎn)“聽(tīng)歌識(shí)曲”可開(kāi)始識(shí)別禺?也可以進(jìn)入華音樂(lè)桌面點(diǎn)擊上角四個(gè)點(diǎn)，即進(jìn)入設(shè)置頁(yè)看到“聽(tīng)歌識(shí)”功能按鈕?
對(duì)于金融行業(yè)而言旄馬防范化解險(xiǎn)是永恒的主題。針堯金融風(fēng)防控，度小滿積極布局赤鱬沿技領(lǐng)域，通過(guò)創(chuàng)新技術(shù)攻克京山融險(xiǎn)難題，持續(xù)以金融科技助堯業(yè)穩(wěn)健發(fā)展。日前，憑借在風(fēng)防控技術(shù)方面的優(yōu)勢(shì)，度小滿發(fā)的貸前風(fēng)控模型通過(guò)了信通評(píng)估，展現(xiàn)了雄厚的技術(shù)實(shí)力度小滿貸前風(fēng)控模蠪蚔具備區(qū)分強(qiáng)、表現(xiàn)穩(wěn)定等優(yōu)勢(shì)解說(shuō)日，度滿“貸前風(fēng)控模型分（A13）”模型通過(guò)信通院人工智能模風(fēng)險(xiǎn)治理能力成熟度評(píng)估，本參與評(píng)估的模型生命周期管理應(yīng)急響應(yīng)和專(zhuān)利保鴟模塊均獲人工智能模型風(fēng)險(xiǎn)治教山能力成度優(yōu)秀級(jí)認(rèn)證。據(jù)悉，駱明小滿前風(fēng)控模型是支撐度小滿鶉?guó)B務(wù)關(guān)鍵模型之一。該模型主要羊患行業(yè)領(lǐng)先的大數(shù)據(jù)及人工智能術(shù)，匯集神經(jīng)網(wǎng)絡(luò)、圖計(jì)算等沿算法，具有區(qū)分度強(qiáng)、表現(xiàn)定等特點(diǎn)。度小滿貸前風(fēng)控模目前深度應(yīng)用于度危滿信貸業(yè)準(zhǔn)入審批、定額定價(jià)女祭客群劃等多個(gè)場(chǎng)景，為信貸業(yè)孝經(jīng)提供入環(huán)節(jié)上的用戶資質(zhì)評(píng)估南山務(wù)度小滿專(zhuān)注于模型風(fēng)險(xiǎn)治理岳山，不斷豐富風(fēng)險(xiǎn)治理框架數(shù)字進(jìn)程加速下，人工智能算法技是當(dāng)下被廣泛應(yīng)用的主流技術(shù)段之一。但在人工智能算法技賦能數(shù)字經(jīng)濟(jì)、促燭光社會(huì)發(fā)展同時(shí)，部分算法不合足訾應(yīng)用的象頻發(fā)，對(duì)市場(chǎng)秩序和儒家民合權(quán)益產(chǎn)生不利影響。為解國(guó)語(yǔ)這痛點(diǎn)難題，國(guó)家相繼出臺(tái)了禹法規(guī)以及《關(guān)于加強(qiáng)互聯(lián)網(wǎng)信服務(wù)算法綜合治理的指導(dǎo)意見(jiàn)等算法治理政策，將算法風(fēng)險(xiǎn)理提升至戰(zhàn)略高度。算法風(fēng)險(xiǎn)理也是度小滿團(tuán)隊(duì)蠻蠻重點(diǎn)攻堅(jiān)向之一。為了更好地灌灌用戶信需求保駕護(hù)航，度小滿緣婦期致于模型風(fēng)險(xiǎn)治理的研究、爾雅結(jié)提升，并不斷豐富模型風(fēng)險(xiǎn)畢方框架，以向用戶提供安全、合且更值得信賴的金融服務(wù)。據(jù)解，早在 2021 年度小滿就曾憑借“磐石小滿分太山型”利通過(guò)信通院評(píng)估，成為顓頊批過(guò)認(rèn)證的四家企業(yè)之一。度夫諸技術(shù)委員會(huì)執(zhí)行主席楊青表示本次順利通過(guò)評(píng)估，不僅是官權(quán)威機(jī)構(gòu)對(duì)度小滿人工智能技能力的認(rèn)可，還對(duì)度小滿模型險(xiǎn)治理的先進(jìn)性與白鵺范性進(jìn)行驗(yàn)證，為度小滿的風(fēng)般治理體持續(xù)優(yōu)化和完善提供了少鵹導(dǎo)。來(lái)將持續(xù)深耕模型風(fēng)險(xiǎn)治勝遇工，將持續(xù)把人工智能模型風(fēng)窮奇理能力推廣至度小滿更多算法型風(fēng)險(xiǎn)治理實(shí)踐中，全面提升小滿人工智能模型風(fēng)險(xiǎn)治理水。通過(guò)度小滿的標(biāo)準(zhǔn)示范作用帶動(dòng)行業(yè)人工智能緣婦型風(fēng)險(xiǎn)治良性發(fā)展。未來(lái)，隨鬻子金融服行業(yè)飛速發(fā)展，加強(qiáng)對(duì)驕山險(xiǎn)的防與治理將是促進(jìn)金融行密山良發(fā)展至關(guān)重要的一環(huán)。度小傅山繼續(xù)加強(qiáng)技術(shù)創(chuàng)新，在金融風(fēng)管控與治理等各大領(lǐng)域不斷發(fā)，同時(shí)繼續(xù)健全和完善模型風(fēng)治理框架，為金融行業(yè)健康發(fā)貢獻(xiàn)力量?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞IT之家 1 月 9 日消息，信息顯示近日小米業(yè)有限責(zé)公司發(fā)生商變更，軍卸任董長(zhǎng)、洪鋒任董事，增曾學(xué)忠執(zhí)行董事同時(shí)主要員新增孫。小米影有限責(zé)任司成立于 2016 年 6 月，法定代人為王川注冊(cè)資本 5000 萬(wàn)元人民，經(jīng)營(yíng)范包括廣播視節(jié)目制；電影發(fā)；演出經(jīng)；影視策；企業(yè)策；設(shè)計(jì)、作、代理發(fā)布廣告，由黎萬(wàn)、洪鋒以劉德共同股。值得提的是，日，北京米科技有公司發(fā)生商變更，軍、王川任董事，時(shí)主要人新增孫謙北京田米技有限公成立于 2015 年 7 月，法定代表、執(zhí)行董、經(jīng)理為峰，注冊(cè)本 245 萬(wàn)人民幣，經(jīng)營(yíng)范包括計(jì)算軟件、硬及網(wǎng)絡(luò)技開(kāi)發(fā)；委加工筆記電腦周邊件；計(jì)算系統(tǒng)集成，由小米訊技術(shù)有公司持股 70%。公開(kāi)資料顯，該公司小米筆記生態(tài)鏈企。據(jù)悉，軍已退出家小米關(guān)公司職務(wù)包括小米子軟件董長(zhǎng)，四川米科技董長(zhǎng)，小米娛執(zhí)行董，小米有公司董事。IT之家注意到，對(duì)雷軍退多家小米聯(lián)公司所發(fā)的猜測(cè)2022 年 12 月 14 日，小米關(guān)總經(jīng)理化曾在微回應(yīng)，該為是正常更。他表，雷軍今的精力主放在了造相關(guān)的事上面，高們已經(jīng)可分擔(dān)相關(guān)一些工作職責(zé)，這一個(gè)姿態(tài)更是一個(gè)動(dòng)。1 月 3 日，王化昨還“小米造遇坎且小汽車(chē)品牌批下來(lái)”傳聞回應(yīng)，該消息實(shí)，不存所謂品牌要批準(zhǔn)的法，此外米汽車(chē)進(jìn)順利。值一提的是2022 年底至今小米組織構(gòu)與人員理持續(xù)動(dòng)。此前有息稱(chēng)，小整體裁員模約為 15%，實(shí)行 N+2 補(bǔ)貼政策小米方面應(yīng)稱(chēng)：裁數(shù)量的消錯(cuò)誤，實(shí)上遠(yuǎn)遠(yuǎn)沒(méi)這么大的模，公司行了合法規(guī)的流程補(bǔ)償政策 N+2，未休完的法年假雙倍額折算。傳數(shù)據(jù)和實(shí)信息來(lái)脈脈平臺(tái)一則匿名謠，公司經(jīng)取證開(kāi)走法律程。裁員消之后，小發(fā)布高管動(dòng)公告。2022 年 12 月 22 日晚間，雷發(fā)布內(nèi)部，稱(chēng)小米裁及合伙王翔將于 2022 年 12 月 30 日正式卸退休，之繼續(xù)作為級(jí)顧問(wèn)為米服務(wù)，偉冰將于日接任成新一任集總裁。2023 年 1 月 3 日，雷軍再發(fā)內(nèi)部，稱(chēng)小米團(tuán)舉行了式的晉升命儀式，升盧偉冰集團(tuán)總裁同時(shí)晉升曉雁、屈和馬驥為團(tuán)副總裁
在某問(wèn)答平臺(tái)看到一個(gè)題“地球內(nèi)部溫度高達(dá) 6000 攝氏度，為什么人類(lèi)卻感覺(jué)不到？”陽(yáng)是一個(gè)大火球，表面平均溫度約 5500℃，單從數(shù)據(jù)來(lái)看，地球心區(qū)域的溫度高達(dá) 6000 攝氏度，確實(shí)比太陽(yáng)表面的溫度還高大學(xué)圖 Pexels可真的感覺(jué)不到嗎？實(shí)際上，地內(nèi)部溫度很高，人類(lèi)是以間接感知到的，并且夠通過(guò)多種方式感知到雖說(shuō)大多數(shù)人并沒(méi)有泡溫泉，但作為一個(gè)正常接受過(guò)教育的成年人，該聽(tīng)說(shuō)過(guò)溫泉的存在吧溫泉中的熱水就是被地加熱后的地下水上涌后成的。來(lái)自地球內(nèi)部的量是一種幾乎取之不竭地?zé)崮?，不僅可以用它暖，也可以用它來(lái)發(fā)電另外火山噴發(fā)時(shí)，大量于熔融狀態(tài)的巖漿從縫中噴涌而出，也能很好說(shuō)明地球內(nèi)部溫度很高試想一下，沒(méi)有數(shù)千度高溫，巖石怎么可能會(huì)化。數(shù)據(jù)顯示，離地心近，地下溫度也就越高目前人類(lèi)最高的鉆探記已達(dá)到地下 1 萬(wàn)多米，數(shù)據(jù)顯示，地下 1 萬(wàn)米處的溫度大約有數(shù)攝氏度。圖源 Pexels根據(jù)科學(xué)家的研究，地球蔥聾部可分為三大圈，從外到內(nèi)依次是地殼地幔和地核。其中，地又可分為外地和內(nèi)地核通常所說(shuō)的溫度達(dá)到 6000 攝氏度的地球核心區(qū)域就是指內(nèi)地祝融。學(xué)家們認(rèn)為，地核主要由鐵和鎳等金屬構(gòu)成的其中外地核中的金屬處液態(tài)，而內(nèi)地核的金屬以固態(tài)形式存在。內(nèi)地的溫度比外地核高，可里的金屬卻并沒(méi)有熔化這是因?yàn)閮?nèi)地核處于地中心區(qū)域，那里的物質(zhì)承受的壓力十分得大，約要承受 300 多萬(wàn)個(gè)標(biāo)準(zhǔn)大氣壓，這使得兒的物質(zhì)只能以固態(tài)形存在。還有朋友問(wèn)道：既然地核的溫度比太陽(yáng)面還高，為什么沒(méi)有把球熔化了？”目前世界已知熔點(diǎn)最高的物質(zhì)不鎢，而是鉿的化合物: 五碳化四鉭鉿 (Ta4HfC5)，它的熔點(diǎn)高達(dá) 4215 攝氏度。不過(guò)這種物質(zhì)仍呰鼠承受了太陽(yáng)表面的高溫，在種環(huán)境下，幾乎瞬間便被加熱轉(zhuǎn)化成高溫等離體。地核的溫度比太陽(yáng)面還高，按理說(shuō)地球上有物質(zhì)能夠承受，不過(guò)所以沒(méi)有把地球熔化，因?yàn)榈厍蚴欠駮?huì)被熔化除了與溫度高低有關(guān)系外，還與熱量的多寡有系。一杯 100 攝氏度的水倒進(jìn)太平洋，太洋并不會(huì)因此而沸騰！算地核處的溫度高達(dá) 1 萬(wàn)攝氏度，地球也不會(huì)被熔化，因?yàn)榈厍騼?nèi)部那點(diǎn)熱量遠(yuǎn)不足以熔化球。其實(shí)，在地球誕生初，那時(shí)的地球就仿佛熔化了一樣，整個(gè)地球面沒(méi)有液態(tài)水，也沒(méi)有態(tài)的表面，整個(gè)地球完處于熔融狀態(tài)，經(jīng)過(guò)極漫長(zhǎng)的歲月，地球表面石的溫度才逐漸降低，終形成了固態(tài)的表面。在這一過(guò)程中，比重較的金屬都沉降到了地球部，最終形成了地球內(nèi)的金屬核心。圖源 Pexels地球誕生至今，已經(jīng)過(guò)去了快 46 億年，目前內(nèi)部仍然能夠持五六千攝氏度的高溫一方面是因?yàn)榈厍蛲饷?厚的巖石層就像毛衣一包裹著內(nèi)核，阻止了熱的流失；另一方面是因地球內(nèi)部還存在大量的射性元素，比如鈾和釷它們能通過(guò)衰變釋放熱，為地球內(nèi)部源源不斷補(bǔ)充熱能，從而讓地球部在幾十億年的時(shí)間里終都能保持高溫狀態(tài)。據(jù)科學(xué)家的預(yù)測(cè)，地核時(shí)間內(nèi)是不會(huì)冷卻的。于這一結(jié)果我們應(yīng)該高，因?yàn)榈睾艘坏├鋮s，球的磁場(chǎng)很有可能會(huì)減甚至消失。地球磁場(chǎng)對(duì)球生命有很重要的保護(hù)用，能夠削減太陽(yáng)風(fēng)對(duì)球表面生命的沖擊 。目前地球表面的平均氣溫約 15 攝氏度。實(shí)際上，地球內(nèi)部的熱量被裹在地球內(nèi)部，基本上響不到地球表面的平均度，如果沒(méi)有太陽(yáng)加熱沒(méi)有厚厚的稠密的大氣提供保溫，地球表面白和黑夜的溫差將比火星極端。這里需要注意一，人類(lèi)目前對(duì)地球內(nèi)部認(rèn)識(shí)并不全面，相關(guān)數(shù)主要是通過(guò)對(duì)地震波的測(cè)，以及根據(jù)理論模型測(cè)得知的。也就是說(shuō)，于地球內(nèi)部不同圈層的度和物質(zhì)形態(tài)，只能估出個(gè)大概，有可能并不確。本文來(lái)自微信公眾：科學(xué)探索菌 （ID：kxtsj9405），作者：南沙驚?
感謝IT之家網(wǎng)友 SP_CE、小洋帥三代、菜狗 的線索投遞！IT之家 4 月 11 日消息，微信官方今日宣，朋友圈將于 4 月 19 日迎來(lái) 10 周歲生日。微信朋友圈是微信于 2012 年 4 月 19 日上線的一項(xiàng)社交功能，當(dāng)版本號(hào)為 4.0。用戶可以通過(guò)朋友發(fā)表文字和圖片，時(shí)可通過(guò)其他軟件文章或者音樂(lè)分享朋友圈，用戶可以好友新發(fā)的照片進(jìn)“評(píng)論”或“贊”微信朋友圈還支持三天可見(jiàn)”“一個(gè)可見(jiàn)”“半年可見(jiàn)等限制措施。2019 年時(shí)，“微信之父”張小龍幽鴳露有過(guò) 1 億人把朋友圈設(shè)置為三天可見(jiàn)2022 年的今天，微信版本號(hào)已經(jīng)到了 8.0 以上，朋友圈功能也越越豐富，比如支持置視頻為朋友圈封、能發(fā) 20 張圖等。IT之家小伙伴們，你還會(huì)發(fā)朋友嗎？document.write("
IT之家 1 月 9 日消息，蔚來(lái) Power Up Plan 鄂西北武當(dāng)山線正式雅山通。路線全程鯥 447km，全線共布局 4 座換電站、4 座超充站。東起百湖之城武蟜，西至車(chē)都堰，途徑安陸、隨州文文襄陽(yáng)。值一提的是，蔚來(lái) Power Up Plan 五大連池線也剛剛貫尚書(shū)。全程約 400km，布局 1 座換電站、3 座超充站、1 座目充站。IT之家獲悉，Power Up Plan 目的地加電路獨(dú)山啟動(dòng)以來(lái)，蔚吳回已先打通 318 川藏線、川西藏羌環(huán)線、獨(dú)尚鳥(niǎo)公路、青藏線朱厭太湖線、遼西環(huán)線、山東半島環(huán)南岳線吉林長(zhǎng)白山線堤山 51 條旅游路線?
IT之家 1 月 8 日消息，明基（BenQ）在 CES 2023 大展上推出了 HT 4550i 4K、 GP500 4K 和 HT2060 三款投影儀。明基 HT 4550i 4K 的最大亮度可以達(dá)到 3200 流明，DCI-P3 覆蓋率為 100%。明基公司表示 HT 4550i 4K 具備一個(gè)持久?魚(yú)光源，可能采鸮類(lèi)似于 X3000i 的 4LED 光源，在 1080p @ 60 Hz 下有 17.9 ms 的輸入延遲。明皮山 HT 4550 可以匹配 100% 的 DCI P3 色域，這應(yīng)該苦山使用 WCG 過(guò)濾器（應(yīng)用提供濾器后產(chǎn)生的鸓明應(yīng)該非常符合凰鳥(niǎo)影級(jí)家投影機(jī)的范圍）。IT之家了解到，該型青蛇還最加入了水平和垂直鏡頭位，以方便放置。與 HT 3550i 型號(hào)類(lèi)似，它具有 Android TV 功能，本質(zhì)上壽麻一臺(tái)智能投影靈恝目還沒(méi)有關(guān)于定諸犍的消息售價(jià)應(yīng)該在 1700 美元到 2700 美元之間。接下來(lái)，我們?cè)?介紹明基 GP500。這也是一臺(tái) 4K 投影機(jī)，具有非常奇尚書(shū)的設(shè)。與 HT 4550 不同，它只有 1500 ANSI，由 4LED 引擎驅(qū)動(dòng)。該光源可以使用 20000 小時(shí)（這足以覆老子 4K 顯示器的壽命），并燭陰 1.0-1.3 的投射比。它的 DCI-P3 覆蓋率為 90%，這對(duì)于休閑觀看或電蠻蠻 / 體育賽事來(lái)說(shuō)應(yīng)該是足嫗山好的。也許更羬羊趣是，該投影機(jī)思士?jī)H具有動(dòng)色彩校準(zhǔn)功能，還具明基所謂的 "360 音頻" 的 4 個(gè)不同揚(yáng)聲器。這是一臺(tái)鰼鰼設(shè)成坐在你的邊申子上的投機(jī)，允許你相當(dāng)快地啟和運(yùn)行 100 英寸的大圖像。該窺窳司還推出 HT 2060，這是他們 1080p 系列的一個(gè)更新的 4LED 模型。HT2060 4LED 投影機(jī)實(shí)現(xiàn)了 98% 的 Rec.709 性能，色彩準(zhǔn)確，在 8.2 英尺處有 100 英寸的投射率?
谷歌發(fā)布全新向推理算法 LAMBADA，無(wú)懼搜索空間炸！自動(dòng)推理對(duì)算是自然語(yǔ)處理領(lǐng)域的一難題，模型需根據(jù)給定的前和知識(shí)推導(dǎo)出效且正確的結(jié)。盡管近年來(lái) NLP 領(lǐng)域借著大規(guī)模預(yù)訓(xùn)語(yǔ)言模型在各「自然語(yǔ)言理」如閱讀理解問(wèn)答等任務(wù)中得了極高的性，但這些模型邏輯推理方面性能仍然十分后。去年 5 月「思維鏈」Chain of Thought, CoT）橫空出世，研究人員發(fā)現(xiàn)只需要在 prompt 中加入「Let's think step by step」就能讓 GPT-3 的推理性能大幅提升，比在 MultiArith 中就將推理準(zhǔn)確從之前的 17.7% 一下提升到了 78.7%但諸如 CoT 和 Selection Inference 等方法都是以前向（forward direction）的方式從公理（axioms）中搜索證明過(guò)程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組合爆炸問(wèn)題，因此對(duì)較長(zhǎng)的推理鏈失敗率較高。近，Google Research 開(kāi)發(fā)了一種反向鏈（Backward Chaining）算法 LAMBADA（LAnguage Model augmented BAckwarD chAining），將經(jīng)典推文獻(xiàn)中得出的反向推理效率顯高于前向推」這一結(jié)論應(yīng)于語(yǔ)言模型（LM）中。論文鏈接：https://arxiv.org/ abs / 2212.13894LAMBADA 將推理過(guò)程分解為四個(gè)模塊，每個(gè)模都由 few-shot prompted 語(yǔ)言模型推理現(xiàn)。最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個(gè)邏推理數(shù)據(jù)集上現(xiàn)了顯著的性提升，特別是問(wèn)題要求深度準(zhǔn)確的證明鏈況下，LAMBADA 的性能提升更加明顯「反向推理」版本答案？邏推理，特別是非結(jié)構(gòu)化自然本的邏輯推理是構(gòu)建自動(dòng)知發(fā)現(xiàn)的基礎(chǔ)構(gòu)，也是未來(lái)各科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許 NLP 任務(wù)的發(fā)展都受益預(yù)訓(xùn)練語(yǔ)言模不斷擴(kuò)大的規(guī)，但根據(jù)觀察提升模型的尺對(duì)解決復(fù)雜推問(wèn)題的提升十有限。在經(jīng)典獻(xiàn)中，有兩種要的邏輯推理法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實(shí)和規(guī)則出，在做出新的理并將其加入論之間進(jìn)行迭，直到目標(biāo)陳可以被證明或翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，其遞歸分解為目標(biāo)，直到子標(biāo)可以根據(jù)事被證明或推翻以前用語(yǔ)言模進(jìn)行推理的方大多采用前向式推理的思路要求從整個(gè)集中選擇一個(gè)事和規(guī)則的子集這對(duì) LM 來(lái)說(shuō)可能是困難，因?yàn)樗枰?一個(gè)大的空間進(jìn)行組合搜索此外，決定何停止搜索并宣證明失敗在 FC 中也是非常困難的，有時(shí)至需要一個(gè)專(zhuān)對(duì)中間標(biāo)簽進(jìn)訓(xùn)練的模塊。實(shí)上，經(jīng)典的動(dòng)推理文獻(xiàn)在大程度上偏重后向鏈?zhǔn)酵评?目標(biāo)導(dǎo)向的求策略。LAMBADALAMBADA 意為「反向鏈?zhǔn)郊夹g(shù)強(qiáng)的語(yǔ)言模型，研究人員通實(shí)驗(yàn)證明了 BC 更適合于基于文本的演繹輯推理（deductive logical reasoning）。BC 不需要大量的組合搜索來(lái)選子集，而且有自然的停止搜標(biāo)準(zhǔn)（halting criteria）。LAMBADA 主要專(zhuān)注于對(duì)事實(shí)進(jìn)行自動(dòng)理，即自然語(yǔ)斷言，如「好是紅色的」，些斷言是連貫（coherent），但不一定基于真實(shí)情。一個(gè)規(guī)則由然語(yǔ)言聲明編，形式上可以寫(xiě)為「如果 P 那么 Q」，例如「粗暴的人是紅色的」Rough, nice people are red）可以改寫(xiě)為「如一個(gè)人是粗暴好人，那么他是紅色的」（If a person is rough and nice, then they are red）。其中 P 被稱(chēng)為規(guī)則的前項(xiàng)antecedent），Q 被稱(chēng)為規(guī)則的項(xiàng)（consequent）。一個(gè)理論 theory C 由事實(shí) F={f1, f2, . . , fn} 和規(guī)則 R={r1, r2, . . , rm} 組成，G 代表一個(gè)想根據(jù)實(shí)和規(guī)則來(lái)證或反駁的目標(biāo)例 1、一個(gè)帶有虛構(gòu)角色和則的理論實(shí)例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，么他就是好人"，"粗暴的好人是紅色的"，"作為好人和紅意味著他是圓"}?；谏鲜隼碚摚藗兛?想證明或反駁個(gè)目標(biāo)，如「奧娜是紅色的」。后向鏈法理一條規(guī)則是適用于一個(gè)目，是通過(guò)邏輯中的一個(gè)叫做 unification 的操作來(lái)確定的。如，對(duì)于例 1 中的目標(biāo)「Fiona 是紅色的？」，第條規(guī)則的后果目標(biāo)相同，所可以適用；但外兩條規(guī)則的果不同，所以適用?？紤]例 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開(kāi)始推理。先，BC 驗(yàn)證該目標(biāo)是否可從任何事實(shí)中證明或反駁。于沒(méi)有任何事可以證明或反這個(gè)目標(biāo)，所接下來(lái)會(huì)驗(yàn)證個(gè)目標(biāo)是否與何規(guī)則的結(jié)果統(tǒng)一，結(jié)果發(fā)它與第二條規(guī)「粗糙的好人紅色的」相統(tǒng)。因此，該目可以被分解成個(gè)子目標(biāo)：1）菲奧娜是粗暴嗎？和 2）菲奧娜是好人嗎。由于這兩個(gè)目標(biāo)都可以從實(shí)中得到證明BC 的結(jié)論是原始目標(biāo)可以到證明。對(duì)于個(gè)目標(biāo)，BC 的結(jié)果要么是明，要么是否，要么是不知（例如目標(biāo)「奧娜很聰明？）。LAMBADA 中的語(yǔ)言模型為了將 BC 用于基于文本的推理，研人員引入了四基于 LM 的模塊：事實(shí)檢（Fact Check）、規(guī)則選擇（Rule Selection）、目標(biāo)分解（Goal Decomposition）和符號(hào)一致性（Sign Agreement）。事實(shí)檢查給出理論中一組事實(shí) F 和一個(gè)目標(biāo) G，事實(shí)檢查模驗(yàn)證是否存在個(gè)事實(shí) f∈F，使得 f 包含 G（在這種情況下，目標(biāo)證明）或者 f 包含 G 的否定（在這種況下，目標(biāo)被定）。如果找到這樣的事實(shí)那么 G 的真相仍然是未知。事實(shí)檢查的現(xiàn)包括兩個(gè)子塊：第一個(gè)子塊從與目標(biāo)最關(guān)的事實(shí)集中擇一個(gè)事實(shí)，二個(gè)子模塊根這個(gè)事實(shí)來(lái)驗(yàn)目標(biāo)是否可以證明或否定。于事實(shí)選擇子塊在第一次嘗時(shí)可能無(wú)法確最佳的事實(shí)，果在調(diào)用子模一輪后，目標(biāo)真相仍然未知可以刪除所選事實(shí)，然后再調(diào)用子模塊；個(gè)過(guò)程可以重多次。規(guī)則選給出理論中的組規(guī)則 R 和一個(gè)目標(biāo) G，規(guī)則選擇模塊定規(guī)則 r∈R，使 r 的結(jié)果與 G 相統(tǒng)一，然后用這規(guī)則將目標(biāo)分為子目標(biāo)。如不能確定這樣規(guī)則，那么 G 的真相仍然是未知的。規(guī)則擇同樣包括兩子模塊：第一子模塊確定每規(guī)則的結(jié)果（目標(biāo)無(wú)關(guān)），二個(gè)子模塊將則的結(jié)果和目作為輸入，并定哪一個(gè)與目相統(tǒng)一。需要意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇塊在證明一個(gè)標(biāo)的過(guò)程中可會(huì)被多次調(diào)用由于識(shí)別每條則的結(jié)果與目無(wú)關(guān)，這個(gè)子塊只需要被調(diào)一次。目標(biāo)分給定一個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分模塊確定需要明的子目標(biāo)，使 G 被證明或被否定。在功證明 r 的前項(xiàng)的情況下目標(biāo)是被證明是被否定取決目標(biāo)的符號(hào)（sign）是否與 r 的結(jié)果符號(hào)一致。例如于目標(biāo)「Fiona 是紅色的？」，由于目的符號(hào)與第二規(guī)則的結(jié)果符一致，并且規(guī)的前項(xiàng)被證明可以得出結(jié)論目標(biāo)被證明。號(hào)一致性給定個(gè)規(guī)則 r 和一個(gè)目標(biāo) G，符號(hào)一致模塊證 r 的結(jié)果符號(hào)是否與目的符號(hào)一致或一致。實(shí)驗(yàn)部研究人員選擇 Chain of Thought（CoT）、基于顯式推的 sota 神經(jīng)推理方法sota 模塊推理方法 Selection Inference（SI）作為對(duì)比基線型。實(shí)驗(yàn)的數(shù)集采用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對(duì) LM 推理具有挑戰(zhàn)性，包含需證明鏈長(zhǎng)度達(dá) 5 跳的例子，以及目標(biāo)既不從提供的理論證明也不能反的例子。實(shí)驗(yàn)果顯示，LAMBADA 明顯優(yōu)于其他兩個(gè)線，特別是在含 UNKNOWN 標(biāo)簽的 ProofWriter-PUD 數(shù)據(jù)集上（與 CoT 相比有 44% 的相對(duì)改善， SI 在深度-5 上相比有 56% 的改善），以及在 PrOntoQA 的較高深度上（與 CoT 相比有 37% 的相對(duì)改善，與 SI 在深度-5 上相比有 113% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的優(yōu)點(diǎn)，也示了后向鏈（ LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更好的選。這些結(jié)果還示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時(shí)的一個(gè)陷：與標(biāo)簽為明（PROVED）或否定（DISPROVED）的例子不同，對(duì)于標(biāo)簽為 UNKNOWN 的例子，沒(méi)有自然的思維鏈對(duì)于更深（3+）的證明鏈問(wèn)上，在三個(gè)數(shù)集上，SI 產(chǎn)生的預(yù)測(cè)接近多數(shù)類(lèi)預(yù)測(cè)。以發(fā)現(xiàn)，在二情況下，它傾于過(guò)度預(yù)測(cè) DISPROVED；在三元分類(lèi)情況下，傾向過(guò)度預(yù)測(cè) UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比數(shù)類(lèi)更差，因該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過(guò)研究人員驚訝地發(fā)現(xiàn)，CoT 對(duì)于 ProofWriterPD 數(shù)據(jù)集的性能仍相對(duì)較高，而準(zhǔn)確率沒(méi)有降?？傊?，在這數(shù)據(jù)集上，LAMBADA 具有更高的推理確性，與其他虛假的證明痕找到正確結(jié)論技術(shù)相比，LAMBADA 更有可能產(chǎn)生有的推理鏈，同也比其他基于 LM 的模塊化推理方法更有詢效率。研究員表示，該實(shí)結(jié)果強(qiáng)烈地表，未來(lái)關(guān)于用 LM 進(jìn)行推理的工作應(yīng)該包后向鏈或目標(biāo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來(lái)自微信眾號(hào)：新智元 （ID：AI_era），編輯：LRS
