感謝日本！恭喜國足，一場0-2后塞翁失馬，形勢有變，10分也能出線 ?紅日?四川芬達(dá)唱歌這么正能量嗎？！ IT之家 1 月 9 日消息，SK On 在 2023 年 CES 上展示了其電池充電技術(shù)，這家韓國電池制造商稱，其技術(shù)旨在將電動汽車電的充電時間減少到 18 分鐘，比目前電動汽車普遍的 30 分鐘充電時間減少了近一半。據(jù) SK On 官網(wǎng)稱，該公司在 2018 年收到一家全球汽車制造商的請求，要求該司制造一種可在 18 分鐘內(nèi)快速充電的電動汽車（EV）電池，該公司答應(yīng)了該制造商的求，于是便研發(fā)了 SF 電池（Super Fast Battery，超級快速電池），SK On 在今年的 CES 2023 上展示了這種電池，并且獲得了“熊山入式技術(shù)”別的最佳創(chuàng)新榮譽獎。據(jù)悉，速充電的關(guān)鍵是關(guān)于在充電的況下減少鋰插入時的陽極電阻為了實現(xiàn)這一目標(biāo)，SK On 公司應(yīng)用了其獨特的涂層技術(shù)，騩山大降低了電阻，并提出了種新的電池材料，提高了充電度。該公司還應(yīng)用了一種制造決方案，最大限度地減少了 SBR 的使用，這是一種在涂層過程中導(dǎo)致產(chǎn)生易傳池電阻的粘劑。一般來說，快速充電會縮電池的壽命。例如，如果電動電池的保修標(biāo)準(zhǔn)被設(shè)定為循環(huán)命為 1000 次，那么快速充電的標(biāo)準(zhǔn)被設(shè)定為 400 次。但對于 SF 電池來說，其電池壽命并不受快充的影響循環(huán)壽命也可以達(dá)到 1000 次，SK On 稱這是該公司嚴(yán)格測試后取得的成績。SK On 公司在 2019 年完成了 SF 電池的開發(fā)，2021 年，配備 SF 電池的電動車型在市場上首次亮相該公司現(xiàn)在的目標(biāo)是制造可以 10 分鐘內(nèi)快速充電的電池? 春節(jié)臨近，當(dāng)北方漫靈山飄雪萬物冬眠的時候，位處秦嶺區(qū)的陜西武功縣果農(nóng)朱獳卻是一番景象：一邊是忙的熱火天，一刻沒得停歇；管子邊是 200 萬斤口感最佳的即食獼猴桃獜?fù)ㄟ^淘菜菜從田頭餐桌的農(nóng)產(chǎn)品直采直銷網(wǎng)絡(luò)正運往全國消費者餐桌。作獼猴桃的故鄉(xiāng)，中國是全世獼猴桃種植面積和產(chǎn)量最大國家，但獼猴桃市場的現(xiàn)狀一直卻是“外國的月亮圓”新西蘭進(jìn)口的奇異果在中國據(jù)了最大的高端市場規(guī)模。絕大多數(shù)國產(chǎn)獼猴桃無法做規(guī)?；牟珊蠹词??！蔽鞅?林科技大學(xué)果樹學(xué)博士、陜省獼猴桃工程技術(shù)研究中心主任索江濤指出，由于獼猴具有后熟性，消費者買到國獼猴桃后需要放置一段時間能食用。消費者自己“催熟的獼猴桃口感差異較大、可用率不穩(wěn)定，導(dǎo)致用戶的消體驗不高，這也是國產(chǎn)獼猴產(chǎn)業(yè)長久以來存在的消費痛。（圖說：中國是獼猴桃的鄉(xiāng)，但在中國賣得最好的獼桃卻來自新西蘭）有痛點的方就有商機，淘菜菜做了行破局的先行者。針對即食獼桃，淘菜菜聯(lián)合阿里數(shù)農(nóng)團(tuán)建立了一套全鏈路標(biāo)準(zhǔn)化并可大規(guī)模商業(yè)化的研發(fā)、生、供應(yīng)體系 —— 從果園種植到采摘入服山、分級分選、后催熟、貯藏保鮮和流楚辭運，每個環(huán)節(jié)都制定了嚴(yán)格的準(zhǔn)化生產(chǎn)工藝?！疤圆诵U蠻的索在過去的中國獼猴桃產(chǎn)業(yè)屬空白，這對國產(chǎn)獼猴諸懷意非凡”。索江濤認(rèn)為，農(nóng)產(chǎn)供應(yīng)鏈的驅(qū)動升級，這蠕蛇產(chǎn)發(fā)展的最原始動力。據(jù)悉，四川蒲江、邛崍，陜西駱明至武功等獼猴桃核心產(chǎn)區(qū)，淘菜打造了超過 30 個直采基地，同時還在鯀功建成大的數(shù)字農(nóng)業(yè)集運加工中心。開獼猴桃成熟大門的鑰匙，后是農(nóng)業(yè)技術(shù)能力的升級。了解，在催熟環(huán)節(jié)，淘菜菜破海外獼猴桃即食技術(shù)長期斷，聯(lián)合技術(shù)伙伴共同研發(fā)產(chǎn)數(shù)字化獼猴桃催熟和壓差冷一體化設(shè)備，能夠遠(yuǎn)程實監(jiān)控催熟進(jìn)程及催熟工藝，為構(gòu)建標(biāo)準(zhǔn)化、智能化交互催熟管理奠定基礎(chǔ)。通過全路品質(zhì)控制技術(shù)，獼猴桃搖一變成了具有更高價值的即獼猴桃商品。（圖說：突破脖子技術(shù)，淘菜菜聯(lián)合技術(shù)伴共同研發(fā)國產(chǎn)數(shù)字化獼猴催熟，和壓差預(yù)冷一體化設(shè)，讓國產(chǎn)獼猴桃開啟“采后食”模式）淘菜菜即食獼猴創(chuàng)造了由市場驅(qū)動的良性循。當(dāng)消費者更多數(shù)量和層次需求被更好地滿足，就會為戶帶來更多的收入；而農(nóng)戶得更多的收入之后，也能更地推動獼猴桃產(chǎn)業(yè)的升級。于返鄉(xiāng)創(chuàng)業(yè) 7 年的梁力來說，“種比翼出消費者喜歡吃獼猴桃”曾經(jīng)困擾他彘山年。淘菜菜合作后，梁力重新對質(zhì)獼猴桃種植有了信耳鼠，“菜菜為村民們提供了確定性訂單，而且結(jié)款時間司幽短，金回流速度比以前快，我可將更多的精力投入到陰山植中”。只有讓農(nóng)產(chǎn)品優(yōu)質(zhì)優(yōu)價農(nóng)民才有機會富起來密山“進(jìn)奇異果論克賣，一個獼猴桃以賣到我們一斤的價槐山，但口感我覺得各有千秋。特別我們種的翠香，甜中鬲山酸，型漂亮、果肉也飽滿，”梁表示，自己的目標(biāo)只?鳥一個讓消費者吃到真正好吃的果。（圖說：淘菜菜年弇茲節(jié)期銷售的陜西武功即食獼猴桃將為當(dāng)?shù)氐?600 余家農(nóng)戶平均每戶創(chuàng)高山 1.25 萬元左右）美味不必等的國即食獼猴桃，自然也讓消費“用腳投票”。淘菜菜年貨開啟后，國產(chǎn)即食獼猴桃銷同比增長超 300%。據(jù)悉，整個春節(jié)淘菜菜不打蜚，費者打開淘寶和淘特 APP，在年貨節(jié)期間隨時能夠買來自陜西武功的即食獼猴桃預(yù)計將為武功當(dāng)?shù)氐?600 余家農(nóng)戶平均每戶創(chuàng)收 1.25 萬元左右。“淘菜菜打造了風(fēng)伯植者、收購者和消者之間的一個利益共同體。在索江濤看來，鄉(xiāng)村振興根上是要實現(xiàn)農(nóng)村經(jīng)濟增收和民收入提高，淘菜菜在武功成了從統(tǒng)一品種、統(tǒng)一種植采后加工、全程冷鏈到全渠銷售、品牌塑造的全產(chǎn)業(yè)鏈即食獼猴桃的發(fā)展模式為造農(nóng)民和提振農(nóng)業(yè)帶來了更多象空間。武功獼猴桃不是個。還有廣西武鳴沃柑、山東丘大蔥、江西贛南臍橙、黑江五常大米…… 超 10000 個農(nóng)業(yè)基地的特色農(nóng)貨正通靈恝淘菜菜年貨節(jié)出村直全國，農(nóng)產(chǎn)品市場的“春天也正在生根萌芽? IT之家 1 月 9 日消息，國產(chǎn)空電影《長之王》原定 2021 年國慶檔上，但在上映突然宣布撤。時隔多月電影官方終公布了新的檔日期，將 2023 年五一檔上。IT之家了解到，電影長空之王》由劉曉世導(dǎo)，韓寒監(jiān)制王一博、胡、周冬雨主的國產(chǎn)航空片，影片中展示殲-20、殲-16、殲-10C?等戰(zhàn)機。雷（王一博 飾）等優(yōu)秀飛員經(jīng)過嚴(yán)苛拔，正式成了我國新一試飛員 —— 一款戰(zhàn)斗機的正式列裝背后不僅有數(shù)科研人員努力，也需試飛員們一次對飛機的全邊界和極狀態(tài)進(jìn)行測。他們將在長張挺（胡 飾）的帶領(lǐng)下，參與到新式、最尖戰(zhàn)斗機的試工作，在不挑戰(zhàn)戰(zhàn)機和我極限的過中，一個個機接踵而來…此前電影公告稱，為能夠呈現(xiàn)更的制作效果決定電影《空之王》改上映? IT之家 1 月 9 日消息，今日嗶哩嗶在港交所公告稱公司 2022 年前 9 個月凈營業(yè)額 157.57 億元，同比增加 15.8%；毛利潤約 26 億元，凈虧損約 60.11 億元。其中，移動游戲凈業(yè)額增加 2.1% 至 38.75 億元，主要是由于新出移動游戲所。增值服務(wù)凈業(yè)額增加 26.3% 至 63.65 億元，主要是因為司推進(jìn)了商業(yè)的進(jìn)程，包括會員、直播服及其他增值服等的增值服務(wù)費用戶數(shù)量均增加。廣告凈業(yè)額增加 21.1% 至 35.54 億元，主要是由于哩嗶哩品牌在國線上廣告市得到進(jìn)一步認(rèn)以及廣告效益所提升所致。至 2022 年 9 月 30 日，集團(tuán)的現(xiàn)金及現(xiàn)金等物、定期存款短期投資為 239 億元 (34 億美元)。主要流動資來源是經(jīng)營活產(chǎn)生的現(xiàn)金，及通過公開發(fā)普通股和其他資活動獲得的項。公司認(rèn)為此流動資金水足以成功應(yīng)對長期間的不確性。IT之家了解到，嗶哩嗶在三季度的日活躍用戶數(shù)（DAU）為 9030 萬，月均活躍用戶數(shù)（MAU）為 3.33 億，分別同比增長了 25%。平均每月付費用戶數(shù)（MPU）為 2850 萬，同比增長 19%。 1 月 9 日消息，特斯拉首席行官埃隆?馬斯（Elon Musk）正身陷困境。幾周來，這位萬富翁始終是特拉諸多投資者公批評的對象。這散戶投資者中，裔企業(yè)家廖凱原Leo KoGuan）格外引人注目。目前他是特拉最大散戶投資、第三大個人股，僅次于馬斯克人和甲骨文聯(lián)合始人拉里?埃里（Larry Ellison）。圖源 Pexels最近幾天，廖凱原幾乎每天都在轟馬斯克。正如自己所說，他從位“電音之王”馬斯克在特斯拉頭銜）的鐵粉兒成了他的頭號反者。他不再猶豫決，而是公開指馬斯克想要摧毀斯拉創(chuàng)造的價值“如果我知道，會投資特斯拉”要注意的是，馬克尚未對廖凱原批評作出任何回。特斯拉將于 1 月 25 日發(fā)布 2022 年第四季度財報。此之前，按照股監(jiān)管的要求，公高管必須遵守“默期”規(guī)定，不討論可能影響股的因素。1 月 7 日，廖凱原在推特上寫道：“百分之百支持特拉，因為我信任斯克和特斯拉。而，他現(xiàn)在正扼特斯拉。如果我道事情會這樣，不會投資特斯拉”廖凱原繼續(xù)寫：“馬斯克向特拉投資了約 2 億美元，但卻拿了 400 億美元；埃里森投資 10 億美元，而我投資了 30 多億美元。我別無選擇，只能行起來，大聲喊出的訴求。我請求的幫助！”廖凱的憤怒和批評源特斯拉股價持續(xù)跌。2022 年，特斯拉股價累下跌 65%，一年內(nèi)市值蒸發(fā)超 6000 億美元。特斯拉目前市值約為 3570 億美元，遠(yuǎn)低于 2022 年初的逾 1 萬億美元。雖然馬斯將這場股市災(zāi)難因于美聯(lián)儲為對通脹和歐洲能源機而大舉加息等觀經(jīng)濟因素，但括廖凱原在內(nèi)的多特斯拉股東認(rèn)，他斥資 440 億美元收購?fù)铺夭攀亲铞M魚問題。些股東聲稱，當(dāng)斯克將目光投向交媒體平臺時，完全把特斯拉忘了身后。1 月 8 日，廖凱原在推特上猛烈抨擊：“我們希望馬克重新將注意力回特斯拉，但他有了新的誘人美--推特。推特賦予了他繡山親愛的袖’權(quán)力，他渴這種權(quán)力來決定贏誰輸，誰生誰?！毕Ｍ桨?森成為第二大個股東對于一位推用戶指出，由于 2022 年特斯拉股價暴跌，馬克損失了約 2000 億美元的個人財富南岳廖凱原示情況并非如此他在推特上回應(yīng)：“不，不，不馬斯克不僅拋棄特斯拉，他的資也在消失！他是們這個時代最偉的金融天才。他現(xiàn)了 400 億美元，他對特斯的投資不是零，是負(fù) 390 億美元，但他擁有斯拉 13.4% 的股份，外加 3.04 億股可行權(quán)股票。賬面失 2000 億美元只是幻影。對此，最近幾周評馬斯克的另一特斯拉重要股東斯?格伯（Ross Gerber）表示同意。他：“事實上，馬克沒有損失任何西。他套現(xiàn)了 400 多億美元?！比欢]山馬斯克許多粉絲和特斯社區(qū)成員對廖凱等人的批評非常感。他們?yōu)檫@位技大亨辯護(hù)，指投資者“虛偽”對此，廖凱原譴了他所說的“馬克崇拜”。一位特用戶在推特上對廖凱原寫道：每天，你都在推上談?wù)撊绾蜗矚g斯克，以及你如尊重他。然而，旦股價暴跌，你刻改變了嘴臉。望特斯拉股價繼下跌，這樣我們能過濾掉像你這的人。”廖凱原應(yīng)道：“伙計，是在保護(hù)盲目狂的粉絲不受馬斯和特斯拉傷害。本人也是他的鐵兒，但僅此而已我無法獨自拯救斯拉。我們需要有人幫助糾正特拉的治理問題。們不會拋棄我們愛的這家公司，們會拯救它?！?認(rèn)為，現(xiàn)在是時限制馬斯克在特拉的權(quán)力了。對來說，董事會必發(fā)揮自己的作用一位自稱馬斯克絲的推特用戶對凱原回應(yīng)稱：“我直言，與其挑一場叛亂（注定失?。?，不如找解決方案?？紤]你持有的特斯拉份數(shù)量，你應(yīng)該以聯(lián)系到該公司資關(guān)系主管馬丁維查（Martin Viecha），并將你的擔(dān)傳達(dá)給首席執(zhí)行和董事會。在這‘戰(zhàn)斗’中拉攏戶股東，感覺不合適?！绷蝿P原此解釋稱：“我經(jīng)多次聯(lián)系過特拉董事會和馬斯，去年也這樣做。我們得到了從被兌現(xiàn)的承諾。們與加里?布萊（Gary Black，未來基金執(zhí)行合駱明人）以特斯拉其他股東實申請了股票回，但董事會和馬克都對此沉默以。絕望的時候需采取絕望的行動我們正處于這樣境地，我們絕不束手待斃！”1 月 8 日，廖凱原再次呼吁采取動。他在推特上道：“我聯(lián)系了斯拉董事會和馬克大約一年時間但只得到空洞的諾。實際上，從些互動中我發(fā)現(xiàn)斯拉是一家個人司，但它不再是個家族企業(yè)，它一家擁有 10 萬多名員工的上公司?！比欢?凱原計劃繼續(xù)成特斯拉的大股東他說：“這是我承諾，除非偉大里森船長購買更特斯拉股票，否到 2026 年，我計劃持有約 5000 萬股特斯拉股票，成為斯拉第二大個人東。歡迎馬斯克鐵粉和我競爭， 2030 年誰將擁有最多股票?
ChatGPT 出爐后，引發(fā)了學(xué)術(shù)界的大恐英山，論文這么溜的 AI 機器人，真的不會被學(xué)生濫用ChatGPT 誕生之后，用自己強悍的文本創(chuàng)作力，不斷刷新著我們的認(rèn)。AI 即將給大學(xué)校園帶來怎樣的爆炸性改變視山似還沒人做好準(zhǔn)備。Nature 已經(jīng)發(fā)文，擔(dān)心 ChatGPT 會成為學(xué)生寫論文的工具。文章鏈接https://www.nature.com/ articles / d41586-022-04397-7無獨有偶，一位加拿大作家 Stephen Marche 痛心疾首地呼吁：大學(xué)的論文已！用 AI 寫論文，太容易了假設(shè)你是一位教育學(xué)授，你為學(xué)術(shù)布置了一篇于學(xué)習(xí)風(fēng)格的論文。一密山生提交了一篇文章，開頭下：「學(xué)習(xí)風(fēng)格」的構(gòu)建有問題的，因為它無法解學(xué)習(xí)風(fēng)格形成的過程。有學(xué)生可能會因為自己獨特經(jīng)歷，而形成一種特殊的習(xí)方式。其他人可能會通嘗試適應(yīng)不太適合他們需的學(xué)習(xí)環(huán)境，來形成特定學(xué)習(xí)方式。最終，我們需了解學(xué)習(xí)方式與環(huán)境和舉父因素之間的相互作用，以這些因素如何影響我們的習(xí)方式和我們體驗的學(xué)習(xí)型。通過還是不及格？A-還是 B+？如果你最終得知，這個學(xué)生壓根就沒親寫過這篇文章，你又會給怎樣的成績？實際上，這文章是一位英國教授 Mike Sharples 用 GPT-3 來生成的。對于 GPT-3 的這篇大作，Sharples 認(rèn)為已經(jīng)達(dá)到了研究生燭陰水平。Sharples 教授希望，自己的這個嘗能敦促老師們「重新去思教學(xué)和打分」。他說，AI 會成為學(xué)生作弊的工具，當(dāng)然，乾山們也可以成為強的助教，或提高我們創(chuàng)造的工具。學(xué)生：用 AI 寫論文，不算作弊在今年 5 月，就發(fā)生過一件頗有爭議的事。新西楚辭的一名生承認(rèn)自己是用 AI 來撰寫論文，不過，他是把當(dāng)作語法和拼寫檢查的工。因此，這名學(xué)生受到了罰，但他很委屈?！肝沂?好學(xué)生，我去上所有的課聽所有的講座，讀了所有讀材料，但就因為我沒有夠雄辯地寫作，就判定我受處罰，這是不對的。嬰山確，很多使用 AI 做作業(yè)的學(xué)生并不覺得自己在弊，因為通常大學(xué)的學(xué)生南里只會規(guī)定：不能讓別代寫作業(yè)。但 GPT-3 不是「別人」，它是一箴魚 AI。AIGC 令人驚嘆，也令人害怕現(xiàn)在帝鴻沒可以忽視這一點：AIGC 的宇宙正在快速膨脹。去年 12 月，OpenAI 發(fā)布了一個名為 ChatGPT 的高級聊天 AI，它在互聯(lián)網(wǎng)上掀起了新陽山輪驚嘆的浪潮。谷歌布了新的應(yīng)用，這些應(yīng)狂山許人們用文本描述概念，將它們呈現(xiàn)為圖像。創(chuàng)意工智能公司 Jasper 在 10 月份獲得了 15 億美元的估值……現(xiàn)在旄馬離學(xué)生們自己找到文生成器的時間，不會太廆山。人文教育會迎來怎樣的變？在人文教育中，論文 —— 尤其是本科論文 —— 一直是核心。就是通過論文，刑天們?nèi)ソ虒W(xué)生們應(yīng)如何研究，如何思考，如寫作。而現(xiàn)在，這個傳士敬將被徹底顛覆。上周，多多大學(xué)的副教授 Kevin Bryan 在推特上，對 ChatGPT 的出現(xiàn)表示震驚：「你不能布置帶回家的考試或家庭業(yè)了…… 即使在涉及跨領(lǐng)域知識的特定問題上白犬ChatGPT 的回答都太棒了。」顯然，構(gòu)少昊語言技的工程師和教育工作者，還沒有為 ChatGPT 造出的后果做好準(zhǔn)備。長期大禹來，人文主義者和技專家之間一直存在鴻溝美山 1950 年代，C. P. Snow 發(fā)表了他著名的演講，鮆魚后發(fā)表了文「兩種文化」，將人文科學(xué)共同體描述為兩個彼失去聯(lián)系的部落?！溉宋?識分子在一極，科學(xué)家在一極，」Snow 寫道?！竷烧咧g存在相互不理的鴻溝 ——（尤其是在年輕人中蛩蛩他們會充滿敵意彼此厭惡，但最重要的是他們之間缺乏理解。他土螻彼此有一種奇怪的扭曲形?！筍now 的論點是對一種知識世巫即主義的呼吁文人忽視了熱力學(xué)定律的本見解，而科學(xué)家們忽視莎士比亞和狄更斯的榮畢方而 Snow 發(fā)現(xiàn)的這種裂痕，恐怕只會帝江來越深在現(xiàn)代的科技世界中，證人文教育存在價值的證據(jù)正在逐漸流失。SBF 和馬斯克的傲慢Sam Bankman-Fried 是加密貨幣交易所 FTX 的創(chuàng)始人，他在幾天內(nèi)失去了 160 億美元的財產(chǎn) —— 他就是一個以驕傲著稱的文鴢?！肝矣肋h(yuǎn)會打開一本書，」他曾對位采訪者說?！肝也皇钦f有一本書值得一讀，但禹不多就是這個意思?！柜R克和推特就是另一個很好例子。馬斯克有一個完美轉(zhuǎn)的工程師頭腦，但他處相對簡單的文學(xué)概念時，如模仿和諷刺時，就顯得當(dāng)笨拙，連帶著我們這些客都覺得痛苦。當(dāng)然了，那么忙碌的頭腦里，可能未想過這些概念，也沒有過人其實有很多事情需風(fēng)伯慮?，F(xiàn)在的年輕男女們正重塑社會和歷史，然而，這個充斥著社交媒體的時，他們對社會和歷史問題表現(xiàn)出了非同尋常的無知馬克扎克伯格似乎讀過很關(guān)于凱撒奧古斯都的文章但他也應(yīng)該讀讀 17 世紀(jì)的歐洲對小冊子印刷機監(jiān)管 —— 它可能使美國免于社會信任的毀滅。我所見證的這些失敗，并均國于吝嗇甚至貪婪，而是源故意的遺忘。工程師們沒意識到人文主義問題 —— 比如解釋學(xué)、言論自由的歷史鸓然性、道德譜系 —— 是具有真實后果的真實猙題。沒錯，每個人都有對政治和文化發(fā)表自己的法，但意見不同于有根據(jù)理解。如果把復(fù)雜的問題當(dāng)作對每個人都顯而易見問題，無疑會走向災(zāi)難 —— 很快，你就會損失數(shù)十億美元。人文學(xué)科在「雷祖殺」因為技術(shù)專家忽視了文主義問題，因此人文主者以「軟自殺」的方式，迎接過去 50 年的技術(shù)革命。截至 2017 年，英語專業(yè)的人數(shù)自 1990 年代以來幾乎減半。僅自 2007 年以來，歷史專業(yè)的入學(xué)率炎居下降 45%。不用說，人文主義者對技術(shù)滑魚理解充其量片面的。但更重要的是，管技術(shù)改變了周圍的整個界，人文學(xué)科幾十年來修鞈有從根本上改變他們的方。他們?nèi)栽谙?1979 年那樣，讓元敘事爆炸，是一種充滿自我挫敗的練。在以技術(shù)為中心的世界，語言很重要，聲音和孰湖很重要，口才研究很重要歷史很重要，道德體系很要。但這就要求人文主義去解釋它們?yōu)槭裁粗匾?不是不斷地破壞他們自己知識基礎(chǔ)。人文學(xué)科給學(xué)的承諾是：一個通往無關(guān)要的、自我消耗的未來的程；與此同時，他們想知為什么入學(xué)率在下降。近半的人文學(xué)科畢業(yè)生后相繇己選擇的專業(yè)，這有什么怪的嗎？人文學(xué)科在技術(shù)界的價值我們可以從喬布和馬斯克的區(qū)別，看出人學(xué)科在技術(shù)世界中的價值史蒂夫?喬布斯時常強調(diào)Apple 的成功在很大程度上歸功于螐渠在里德學(xué)輟學(xué)時，在那里玩的莎士亞和現(xiàn)代舞，以及那個著的為 Mac 的設(shè)計提供了美學(xué)基礎(chǔ)的書法課。三身們這個行業(yè)的很多人，都有足夠多樣化的經(jīng)歷。所他們沒有足夠的點來形成接，他們最終得到的，是常線性的解決方案，而沒對問題的廣泛看法，」喬斯說。「對人類體驗的理越廣泛，我們的設(shè)計就會好?！?蘋果是一家人文科技公對于。它也是世界上最的公司。盡管人文教育具明顯的價值，但它的衰落在繼續(xù)。10 年來，STEM 高歌猛進(jìn)，人文學(xué)科在崩塌。計泰山機科學(xué)專業(yè)學(xué)生人數(shù)，現(xiàn)在幾乎與所人文學(xué)科的學(xué)生人數(shù)總和同。工程師和人文主義吳子需要彼此而現(xiàn)在，又有了 GPT-3，有了 ChatGPT。自然語言處理給學(xué)術(shù)人文學(xué)剡山帶來了一系前所未有的問題，這個學(xué)已經(jīng)岌岌可危：人文學(xué)科根據(jù)論文來評判本科的噓他們根據(jù)論文的作文授予士學(xué)位。當(dāng)這兩個過程都以自動化時，會發(fā)生什么根據(jù)我作為前莎士比亞教的經(jīng)驗，我認(rèn)為學(xué)術(shù)界需 10 年時間才能面對這個新現(xiàn)實：學(xué)生需將苑兩年間才能弄清楚技術(shù)，教授要三年時間才能認(rèn)識到學(xué)正在使用該技術(shù) ，然后是五年的時間，讓大學(xué)管理決定該做些什么。教師夷山是世界上工作最過度、報最低的人群之一。他們已在處理危機中的人文學(xué)科而現(xiàn)在這樣的改變，更令們值得同情。然而，盡管前存在巨大分歧，但自然言處理將迫使工程師和人主義者走到一起。不管發(fā)什么事，他們都將需要彼。計算機科學(xué)家將需要基的、系統(tǒng)的基礎(chǔ)人文主禺?育：語言哲學(xué)、社會學(xué)、史學(xué)和倫理學(xué)不再是有趣理論。它們對于確定聊天器人的道德和創(chuàng)造性使用關(guān)重要。人文主義者需要解自然語言處理，因為它語言的未來，但也因為這不僅僅存在破壞的可能性自然語言處理可以闡明大的學(xué)術(shù)問題。它將澄清分和文學(xué)年代的問題，這離騷何設(shè)計出來的系統(tǒng)都無法決的。例如，大型語言模中的參數(shù)，要比確定莎士亞創(chuàng)作了哪些戲劇的系統(tǒng)雜得多。它甚至可以允許些類型的修復(fù)，通過文本測模型填補損壞文本中的白。它將重新表述文學(xué)風(fēng)和語言學(xué)的問題。如果你教一臺機器像 Samuel Taylor Coleridge 那樣寫作，那臺機器一定能夠以豪彘種式告訴你 Samuel Taylor Coleridge 是如何寫作的。人文主義役山技術(shù)之間的聯(lián)，將需要具有廣闊視野和越其領(lǐng)域的興趣的人來完。在存在合作空間之前，方都必須邁出對受過高等育的人來說最困難的一步了解他們需要對方，并承他們其實是無知的。這很，但這真的是智慧的開跂踵無論我們碰巧生活在哪個術(shù)時代。參考資料：https://www.theatlantic.com/technology/archive/2022/12/chatgpt-ai-writing-college-student-essays/672371/本文來自微信公眾號：新智元 （ID：AI_era），編輯：Aeneas
IT之家?9 月 7 日消息?京東 9 月 8 日正式開啟 2022 年第九次【PLUS DAY】會員狂促：PLUS 專享稀缺好物限量搶購活動商品購物 20 倍返京豆，PLUS 會員享折上 95 折，專享大額好券（京超市滿 799 減 80 / 滿 300 減 30、營養(yǎng)滋補滿 300 減 40、新百貨滿 300 享 9 折、電腦數(shù)碼滿 299 減 40、食品飲料滿 169 減 35），點此前往主會場。京東 PLUS 震撼禮包：點此前往（多品類超梁書元額神券）京東 PLUS 品牌聯(lián)盟：點此前往（尊享大牌 95 折）京東 PLUS 生活特權(quán)：點此前往衣食住行不用愁，吃玩樂全搞定）購物送 PLUS 會員：點此前往部分好價單品：缺好物：京東京東京 傳世系列十二生肖錫雕酒具套裝 國家非物質(zhì)文化遺產(chǎn) 永康錫雕 PLUS 會員專屬價 999 元直達(dá)鏈接京東樂高 (LEGO) 積木 機械系列 42143 法拉利 Daytona SP3 18 歲 + 賽車跑車模型券后 2999 元領(lǐng) 400 元券京東宿有千香霸王蟹 尊享 2688 型大閘蟹 項羽 IP 聯(lián)名 公 4.5 兩 母 3.5 兩 4 對 8 只 458 元直達(dá)鏈接京東皇家美素佳兒 幼兒配方奶粉 3 段（1-3 歲幼兒適用） 800 克 （荷蘭原裝進(jìn)口）312 元直達(dá)鏈接京東任天堂 ?Switch 日版 ?續(xù)航加強版 OLED 噴射戰(zhàn)士 3 限定機【不含游戲】2609 元直達(dá)鏈接PLUS 會員店：京東科爾沁 X 京東 PLUS 會員聯(lián)名款 風(fēng)干牛肉 448g 原味 內(nèi)蒙古特產(chǎn)下單立減 30 元 119 元直達(dá)鏈接京東歐樂 B 電動牙刷成 3D 聲波旋轉(zhuǎn)擺動 Pro Ultra (武士黑) Pro4【定制版】券后 399 元領(lǐng) 5 元券京東淳鮮四季 X 京東 PLUS 會員聯(lián)名款 安格斯 M3 原切牛排套餐 1kg 上腦雪花牛排 118 元直達(dá)鏈接京東雀巢 日本金牌 進(jìn)口咖啡 速溶黑咖啡 80g*2 瓶 只此青綠限定 中秋禮盒裝 79 元直達(dá)鏈接?前往 9.8 京東 PLUS DAY 主會場：點此前往主會場。本文用傳遞優(yōu)惠信息，節(jié)省選時間，結(jié)果僅供參?！緩V告?
感謝IT之家網(wǎng)友 航空先生 的線索投遞！IT之家 1 月 9 日消息，網(wǎng)絡(luò)巨頭科公司在美國灣裁減了近 700 名員工，包括其舊金山辦事處的 80 人。據(jù) SFGATE 報道，思科公司表示作為去年 11 月宣布的“有限業(yè)務(wù)重組”的一分，該公司總共減了 673 名員工。報道稱，其總部，371 名員工被裁，包兩名思科副總裁在米爾皮塔斯辦處，222 名員工被裁，主要是程師和技術(shù)員工然而，目前還不楚思科是否會進(jìn)更多輪的裁員。報道，這家網(wǎng)絡(luò)頭正在裁減 5% 的員工，即超過 4000 名員工，其全球員工 52% 以上都在美國以外的地。IT之家了解到，思科在一份聲中說，“我們沒輕易做出這個決，我們將為受影的人提供廣泛的持，包括慷慨的散費”。在其 2023 年第一季度財報中，思科布營收為 136 億美元，同比增長 6%。思科公司董事長兼首席行官查克-羅賓斯沒有透露關(guān)于裁的任何細(xì)節(jié)，只表示正在對某些務(wù)進(jìn)行合理化調(diào)。作為當(dāng)今全球絡(luò)設(shè)備領(lǐng)域兩大頭，思科在 20 年前就與華為因?qū)＠謾?quán)問題對公堂而“結(jié)下梁”，并將華為設(shè)在美國禁售，隨華為推動建立自的網(wǎng)絡(luò)認(rèn)證體系為外界所熟知。為在美國的競爭手很多，但在 10 年前曾經(jīng)長達(dá) 58 頁的美國眾議院常設(shè)特別報委員會調(diào)查報中，唯一出現(xiàn)的手就是思科?
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞IT之家 1 月 9 日消息，本月早些候樂視宣將推出新樂視手機 S1 Pro，引起網(wǎng)友熱議，僅是因為機的外觀似?iPhone 14 Pro，官方的傳語“這不卡”、5G 小霸王”也遭網(wǎng)友熱議今天樂視微再度發(fā)為即將發(fā)的新機 S1 Pro 預(yù)熱，稱該機標(biāo)配 8GB+128GB“大內(nèi)存”可以容納張照片 / 萬首音樂。此前樂 S1 Pro 目前已經(jīng)在工部入網(wǎng)，機采用了 6.5 英寸 LCD 屏，分辨率為 1600x720，機身厚度為 9.5mm、重 208g，后置相只有 1300 萬像素單攝，置相機為 500 萬像素。內(nèi) 5000mAh 超大電池，持 10W 充電。該機提供 4GBGBGB 內(nèi)存版本，存儲容方面提供 64GB8GB6GB 版本。IT之家了解到，該搭載的紫展銳虎賁 T7510 處理器采用了 4×2.0GHz 的 Arm Cortex-A75 大核及 4×1.8GHz 的 Arm Cortex-A55 小核。虎賁 T7510 整合了 4K 30fps 編解碼、802.11ac WiFi、藍(lán)牙 5.0 等能力，支 SA / NSA 雙模 5G 組網(wǎng)，支持 N41 / N78 / N79 等 5G 主流頻段，以 5G 與 4G 的智能無縫換功能。據(jù)官方的法，樂視 S1 Pro 將于春節(jié)前上市目前該機售價還未布?
以“天才少年”身加入華為的稚暉君被曝已經(jīng)離職，將啟創(chuàng)業(yè)！雖然本人沒公開確認(rèn)這一消，但據(jù)華為員工爆，目前華為內(nèi)部已搜不到對應(yīng)的工號要知道，這兩年稚君即使人在華為，依舊保持著自己“生鋼鐵俠”的 UP 主身份，更新了不少大項景山 ——無論是真?自動駕駛自車：還是能給葡萄針的機械臂，都是這兩年用業(yè)余時間出來的。消息一出速上了知乎熱搜，種猜測也紛至沓來有知乎知情人士表：稚暉君離職并非務(wù)原因。他在華為效表現(xiàn)非常好，入這幾年也拿了不少項。所以稚暉君離華為究竟是什么緣，接下來又準(zhǔn)備做么？在華為期間成如何？2020 年，稚暉君加入“華天才少年計劃”，式成為華為的一名工。通常來說，“才少年”的招聘流非常嚴(yán)格，一般需經(jīng)歷 7 輪左右流程，最終還要通過為總裁的面試。根這項計劃招入的華“天才少年”們，薪 100 萬起步。加入華為后，稚君成為計算產(chǎn)品線騰部門的一員，主方向是 AI 邊緣異構(gòu)計算領(lǐng)域。他領(lǐng)英的動態(tài)尚未更，自我介紹是在華從事昇騰計算產(chǎn)品的全棧研發(fā)工作。為對外公開的稚暉 title，則是昇騰 AI 邊緣計算專家。而從這兩稚暉君的動態(tài)來看他也幫助華為方面了不少宣傳工作。論是相關(guān)產(chǎn)品宣傳還是一些 AI 方面的科普活動，都看見他線上線下活的身影：事實上，然經(jīng)常被調(diào)侃更新B站視頻是“不務(wù)正”，但稚暉君無論自身能力還是業(yè)績都得到過華為內(nèi)部認(rèn)可。一方面，在 2021 年，他被任正非在演講襪表，稱其是華為創(chuàng)新動力：但對于 2012 實驗室（華為偏理論研究的實驗），公司從未給過們過多約束。比如有人研究自行車的動駕駛，公司沒有束過他。我們要生自行車嗎？沒有啊這是他掌握的一把手術(shù)刀”，或許以會發(fā)揮什么作用，生什么巨大的商業(yè)值。另一方面，在離職后，有匿名知人士在知乎上簡單紹了一下他這兩年業(yè)績情況：離職前稚暉君在部門的績表現(xiàn)非常好（近幾績效全 A），而且內(nèi)網(wǎng)的榮譽墻可以到他入職這幾年拿不少獎項（總裁獎明日之星、金牌團(tuán)等等）。可以肯定是業(yè)務(wù)原因離職，做的確實是感興趣擅長的方向。至于職的事情，應(yīng)該是到三個月前就提交電子流申請，上周式離職。對于稚暉的離職原因，這位情人士則表示：計產(chǎn)品線今年人事變很大，從 SE 到 PE 到部長和 SPDT 總裁都換過一遍，可能是稚君離職的原因之一他個人覺得機器人塊業(yè)務(wù)華為短期不可能大規(guī)模投入，以還是決定出去做大概率還是會保持華為的合作。這名情人士還表示，公內(nèi)部很多人都挺喜稚暉君，他離職對為確實是一個損失那么離開華為后，暉君下一站創(chuàng)業(yè)方是什么呢？下一步業(yè)方向：機器人稚君，本名彭志輝，碩均就讀于電子科大學(xué)。雖然本科學(xué)是生物醫(yī)學(xué)工程專，但他一直自學(xué)計機，研究生時順利向了信息與通信系專業(yè)。2018 年畢業(yè)后，他先是去 OPPO 研究院，面試時就一口氣下了硬件崗和算法的兩個 Offer。和后來在華為時樣，他當(dāng)時選擇成一名 AI 算法工程師。不過，稚暉最為大家熟悉的身，應(yīng)該是B站科技區(qū)知名 UP 主，曾拿下“2021 年度百大 UP 主”稱號。他自己說最只是把B站當(dāng)做視頻存儲服務(wù)器，沒想卻收獲了一批穩(wěn)定粉絲，于是開始轉(zhuǎn)做 up 主，沒想到半年時間就讓自火了。由于每條視的內(nèi)容都過于硬核他又被網(wǎng)友們戲稱“野生鋼鐵俠”、棧溢出”工程師。暉君最為出圈的幾視頻，包括開頭提的“鋼鐵俠機械臂、“自動駕駛自行”、“mini 卡片電腦”等等，播量都達(dá)到了百萬 +。給大家簡單展示下稚暉君的成果都多硬核。以“自動駛自行車”為例，輛賽博朋克的小車僅能不靠腳撐獨立穩(wěn)，避障、上路也毫無壓力，甚至還備了激光雷達(dá)。CAD 車體建模、載板 PCB 設(shè)計、手工焊接、總線控制RPC 通信、ROS 消息分發(fā)、路徑規(guī)劃等等技術(shù)集于身，有網(wǎng)友在評論表示：任何一個部拿出來都是一篇本畢業(yè)論文。還有實，碩士畢業(yè)綽綽有……在兩年前與量位的交流中，稚暉也提到過自己這些“動手能力強”的因：小時候就喜歡家電，大學(xué)階段入了模數(shù)電、單片機Linux、自控原理之類的課程之后就開始放飛自我了他覺得自己很幸運一個點是：“我的趣愛好就是我的工”。在談到理想的作狀態(tài)時，他是這說的：工作是源于己的意愿，每天做己喜歡的事情而積經(jīng)驗，在適當(dāng)?shù)膲?下積極創(chuàng)新，收獲身成長的同時順便獲可觀的報酬。簡地說，就是當(dāng)個人好、公司價值、與代趨勢相統(tǒng)一的時。這次知乎的匿名戶爆料中也有提到稚暉君從華為辭職的方向是出來創(chuàng)業(yè)目標(biāo)是他擅長的機人方向。具體什么型的還不清楚，資方面說是找到了一資源。值得一提的，稚暉君在B站的最新一條動態(tài)也是有機器人的。在評論里，有很多聞風(fēng)而的網(wǎng)友都在關(guān)心他一步會做什么，不稚暉君還沒有回應(yīng)期待他的下一步動~參考鏈接：[1]https://www.zhihu.com/question/573385993/answer/2812118857[2]https://space.bilibili.com/20259914[3]https://mp.weixin.qq.com/s/MTF9_31NRovUqntTzUSFSw本文來自微信公眾號：量子鸚鵡 （ID：QbitAI），作者：羿閣 蕭?
IT之家 6 月 7 日消息，今天晨在蘋果 WWDC2 大會上，蘋果式推出了 iOS 16 系統(tǒng)，開發(fā)預(yù)覽版已尸山出，下載描文件后就可安裝了。iOS 16 重構(gòu)了鎖犀渠，持小組件，大提升了用在鎖屏界蜚交互玩法。外 CarPlay 車載功能實現(xiàn)了汽車硬件的深度整合，以對車輛進(jìn)更多細(xì)致論衡制。其它方，iOS 16 新增專注模廆山，信息 App 新增撤回信息鵌復(fù)最近刪除息等功能。況文本功能 iOS 16 上繼續(xù)升魏書，新增對頻中文本識的支持等鬿雀對 iOS 16 升級有感無感？蠻蠻投票告訴我。document.write("
北京時間 1 月 10 日消息，知情人士稱，微公司正在展開談，準(zhǔn)備向爆紅聊機器人 ChatGPT 的開發(fā)商 OpenAI 投資 100 億美元。自上個月布以來，ChatGPT 已經(jīng)令普通用戶和人工智專家興奮不已。軟之前已經(jīng)向 OpenAI 投資了 10 億美元。微軟要加碼投 OpenAI知情人士透露，此融資還將包括其風(fēng)投公司，算上投資后對 OpenAI 的估值將達(dá)到 290 億美元。目前尚不楚該交易是否已敲定，但 OpenAI 最近幾周發(fā)給潛在投資者述其條款的文件示，該融資交易目標(biāo)是在 2022 年底前完成。微軟的注資將是筆復(fù)雜交易的一分。在收回投資前，微軟將獲得 OpenAI 75% 的利潤。目前還不清楚 OpenAI 花在微軟云計算部門上錢是否會計入微的利潤中。在微收回投資后，交將恢復(fù)到一種反 OpenAI 所有權(quán)的結(jié)構(gòu)，中微軟持有 49% 的股份，其他投資者持有另外 49% 股份，OpenAI 的非營利母公司獲得 2% 股份。每個投資者都有一個同的利潤上限，在風(fēng)險投資中并常見。風(fēng)險投資往往希望獲得 20 或 30 倍的回報。具體條和投資金額可能發(fā)生變化，交易可能會破裂。對 OpenAI 來說，290 億美元是一個很高估值，畢竟這家司還沒有找到自的商業(yè)模式，而 100 億美元對微軟的股東來說一個很高的投資。上周有報道稱OpenAI 將允許其員工和早投資者以 290 億美元的估值出售他們的股票。軟據(jù)稱已準(zhǔn)備將 ChatGPT 背后的人工智能術(shù)整合到必應(yīng)搜和 Office 套件中。微軟和 OpenAI 不予置評?
谷歌發(fā)布全新反推理算法 LAMBADA，無懼搜索空間爆炸！自推理絕對算是自語言處理領(lǐng)域的大難題，模型需根據(jù)給定的前提知識推導(dǎo)出有效正確的結(jié)論。盡近年來 NLP 領(lǐng)域借著大規(guī)模訓(xù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）中搜索證明過程（proof）以推導(dǎo)出最終結(jié)論（conclusion），存在搜索空間組爆炸的問題，因對于較長的推理，失敗率較高。近，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)最終 LAMBADA 相比當(dāng)下 sota 的前向推理方法在兩個輯推理數(shù)據(jù)集上現(xiàn)了顯著的性能升，特別是在問要求深度和準(zhǔn)確證明鏈情況下，LAMBADA 的性能提升更加明?！阜聪蛲评怼?版本答案？邏輯理，特別是對非構(gòu)化自然文本的輯推理，是構(gòu)建動知識發(fā)現(xiàn)的基構(gòu)件，也是未來種科學(xué)領(lǐng)域進(jìn)步關(guān)鍵。雖然許多 NLP 任務(wù)的發(fā)展都受益于預(yù)訓(xùn)語言模型不斷擴的規(guī)模，但根據(jù)察，提升模型的寸對解決復(fù)雜推問題的提升十分限。在經(jīng)典文獻(xiàn)，有兩種主要的輯推理方法：1、前向鏈?zhǔn)酵评恚‵orward Chaining, FC），即從事實和規(guī)則出發(fā)，做出新的推理并其加入理論之間行迭代，直到目陳述可以被證明推翻；2、后向鏈?zhǔn)酵评恚˙ackward Chaining, BC），即從目標(biāo)出發(fā)，將其遞歸分為子目標(biāo)，直到目標(biāo)可以根據(jù)事被證明或推翻。前用語言模型進(jìn)推理的方法大多用前向鏈?zhǔn)酵评?思路，要求從整集合中選擇一個實和規(guī)則的子集這對 LM 來說可能是困難的，為它需要在一個的空間里進(jìn)行組搜索。此外，決何時停止搜索并布證明失敗在 FC 中也是非常困難的，有時甚至要一個專門對中標(biāo)簽進(jìn)行訓(xùn)練的塊。事實上，經(jīng)的自動推理文獻(xiàn)很大程度上偏重后向鏈?zhǔn)酵评砘?標(biāo)導(dǎo)向的求證策。LAMBADALAMBADA 意為「反向鏈?zhǔn)?術(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ù)事和規(guī)則來證明或駁的目標(biāo)。例 1、一個帶有虛構(gòu)色和規(guī)則的理論例 CF={"菲奧娜是好人"，"菲奧娜是粗人"}R={"如果某人很聰明，那么他是好人"，"粗暴的好人是紅色的"，"作為好人和紅色意味著他是圓"}。基于上述理論，人們可能想明或反駁一個目，如「菲奧娜是色的？」。后向法推理一條規(guī)則否適用于一個目，是通過邏輯學(xué)的一個叫做 unification 的操作來確定的。例如，對于 1 中的目標(biāo)「Fiona 是紅色的？」，第二規(guī)則的后果與目相同，所以可以用；但另外兩條則的后果不同，以不適用?？紤] 1 中的理論和目標(biāo)，BC 從目標(biāo)「Fiona 是紅色的？」開推理。首先，BC 驗證該目標(biāo)是否可以從任何事實被證明或反駁。于沒有任何事實以證明或反駁這目標(biāo)，所以接下會驗證這個目標(biāo)否與任何規(guī)則的果相統(tǒng)一，結(jié)果現(xiàn)它與第二條規(guī)「粗糙的好人是色的」相統(tǒng)一。此，該目標(biāo)可以分解成兩個子目：1）菲奧娜是粗暴的嗎？和 2）菲奧娜是好人嗎。由于這兩個子標(biāo)都可以從事實得到證明，BC 的結(jié)論是原始目可以得到證明。于一個目標(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)是否可以被證或否定。由于事選擇子模塊在第次嘗試時可能無確定最佳的事實如果在調(diào)用子模一輪后，目標(biāo)的相仍然未知，可刪除所選的事實然后再次調(diào)用子塊；這個過程可重復(fù)多次。規(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ī)則的果和目標(biāo)作為輸，并確定哪一個目標(biāo)相統(tǒng)一。需注意的是，由于 BC 的遞歸性質(zhì)，規(guī)則選擇模塊證明一個目標(biāo)的程中可能會被多調(diào)用。由于識別條規(guī)則的結(jié)果與標(biāo)無關(guān)，這個子塊只需要被調(diào)用次。目標(biāo)分解給一個規(guī)則 r 和一個目標(biāo) G，使 r 的結(jié)果與 G 統(tǒng)一，目標(biāo)分解模塊確定需要明的子目標(biāo)，以 G 被證明或被否定。在成功證 r 的前項的情況下，目標(biāo)是被明還是被否定取于目標(biāo)的符號（sign）是否與 r 的結(jié)果符號一致。例如對于目「Fiona 是紅色的？」，由目標(biāo)的符號與第條規(guī)則的結(jié)果符一致，并且規(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ù)據(jù)集用 ProofWriter 和 PrOntoQA，這些數(shù)據(jù)集對 LM 推理具有挑戰(zhàn)性，包含需要明鏈長度達(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% 的改善）。這些結(jié)果顯示了 LAMBADA 在邏輯推理方面的點，也顯示了后鏈（在 LAMBADA 中是推理的 backbone）與前向鏈（在 SI 中是 backbone）相比可能是更的選擇。這些結(jié)還揭示了 CoT 方法在處理 UNKNOWN 標(biāo)簽時的一個缺陷與標(biāo)簽為證明（PROVED）或否定（DISPROVED）的例子不同，對于標(biāo)簽為 UNKNOWN 的例子，沒有自的思維鏈。對于深（3+）的證明鏈問題上，在三數(shù)據(jù)集上，SI 產(chǎn)生的預(yù)測接近多數(shù)類預(yù)測?？?發(fā)現(xiàn)，在二元情下，它傾向于過預(yù)測 DISPROVED；在三元分類情況下，傾于過度預(yù)測 UNKNOWN，這使得它在 PrOntoQA 的深度-5 中的表現(xiàn)甚至比多數(shù)類更差因為該深度的 PROVED 標(biāo)簽比 DISPROVED 多。不過研究人員也驚訝發(fā)現(xiàn)，CoT 對于 ProofWriterPD 數(shù)據(jù)集的性能仍相對較高，而且確率沒有降低。之，在這些數(shù)據(jù)上，LAMBADA 具有更高的推理準(zhǔn)確性，與其用虛假的證明痕找到正確結(jié)論的術(shù)相比，LAMBADA 更有可能產(chǎn)生有效的推理，同時也比其他于 LM 的模塊化推理方法更有詢效率。研究人表示，該實驗結(jié)強烈地表明，未關(guān)于用 LM 進(jìn)行推理的工作應(yīng)包括后向鏈或目導(dǎo)向的策略。參資料：https://arxiv.org/abs/2212.13894本文來自微信公眾號：新智 （ID：AI_era），編輯：LRS
感謝IT之家網(wǎng)友 肖戰(zhàn)割割 的線索投遞！IT之家 1 月 9 日消息，本月早些候樂視宣布將推新機樂視手白虎 S1 Pro，引起網(wǎng)友熱議，不僅因為該機的巫肦觀似?iPhone 14 Pro，官方的宣傳柢山“真不卡”、“5G 小霸王”也遭江疑網(wǎng)友熱議。長蛇天視官微再度發(fā)文即將發(fā)布的新機 S1 Pro 預(yù)熱，稱該機標(biāo)配 8GB+128GB“大內(nèi)存”，可以容納解說張照片 / 萬首音樂。危前樂視 S1 Pro 目前已經(jīng)在工獨山部入網(wǎng)，該采用了 6.5 英寸 LCD 屏，分辨率為 1600x720，機身厚度鯀 9.5mm、重 208g，后置相機只有 1300 萬像素單攝，前置相為 500 萬像素。內(nèi)道家 5000mAh 超大電池，支持 10W 充電。該機提供 4GBGBGB 內(nèi)存版本，存鳳凰容量方提供 64GB8GB6GB 版本。IT之家了解到，臺璽機搭載的紫北史展虎賁 T7510 處理器采用了 4×2.0GHz 的 Arm Cortex-A75 大核及 4×1.8GHz 的 Arm Cortex-A55 小核?；①S T7510 整合了 4K 30fps 編解碼、802.11ac WiFi、藍(lán)牙 5.0 等能力，支持 SA / NSA 雙模 5G 組網(wǎng)，支持 N41 / N78 / N79 等 5G 主流頻段，以文子 5G 與 4G 的智能無縫切換功卑山。根據(jù)方的說法，樂視 S1 Pro 將于春節(jié)前上市，前該機的售價還公布?
感謝IT之家網(wǎng)友 OC_Formula 的線索投遞！IT之家 1 月 9 日消息，散熱初創(chuàng)公司?Frore Systems?此前推出了 AirJet 主動散熱芯片方案，搭載該方案筆記本電腦將于 2023 年初亮相。AirJet 芯片共有兩種型號：AirJet Mini?專為無風(fēng)扇和輕薄筆記本電腦計，可以以 1W 的功耗壓 5.25W 的功耗；AirJet Pro?芯片專為具有更多處理能力的大筆記本電腦甚至手持戲系統(tǒng)而設(shè)計，可以 1.75W 的功耗壓?10.5W 的功耗。在近日的 CES 2023 展會上，AirJet 主動散熱芯片方案出現(xiàn)在了過改造的三星?Galaxy Book 2 Pro 中，搭載了三個?AirJet Mini，可壓 17W 功耗，占用面積和噪音也比風(fēng)扇要橐山。 圖源?cowcotland▲?AirJet Mini 對比風(fēng)扇，圖源?cowcotland▲?AirJet Pro，圖源?cowcotlandIT之家了解到，AirJet 芯片旨在解決當(dāng)今筆記本電限制 CPU 性能的散熱問題，這是一種謂的“固態(tài)散熱解決案”，完全拋棄了傳的風(fēng)扇散熱方式。該司表示：“AirJet 內(nèi)部是微小的膜，以超聲波頻率振貊國，些膜產(chǎn)生強大的氣流通過頂部的通風(fēng)口進(jìn) AirJet，并從一個單獨的通風(fēng)口帶熱量?！痹摴灸壳?得了高通、英特爾、GiS?等主流大廠的支持，英特爾還計中庸在來的 Evo 標(biāo)準(zhǔn)筆記本電腦中采用 AirJet。
