據(jù)官方論文披露，DeepSeek-Prover-V2 的訓練核心是「遞歸+強化學習」的組合：即先由拆解復雜定理，生成一系列子目標和推理思路；再通過 GRPO 算法，從多種候選方案中自動學習如何選出最優(yōu)解。

　　DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多種計算精度，方便模型更快、更省資源地訓練和部署。

　　4 月 30 日，據(jù)央視新聞和新華社消息，2025 年度中國青年五四獎章評選結果正式揭曉。

　　為表彰我國優(yōu)秀青年在推進中國式現(xiàn)代化中的貢獻，集中展示新時代青年的精神品格和價值追求，激勵引導全國廣大青年積極投身強國建設、民族復興偉業(yè)，共青團中央、全國青聯(lián)決定：

　　值得一提的是，《黑神話：悟空》的開發(fā)商游戲科學被授予 2025 年度中國青年五四獎章集體。

　　據(jù)悉，《黑神話：悟空》面世后斬獲多項國際游戲大獎，包括 TGA 2024 年度最佳動作游戲獎、Steam 年度最佳游戲獎等。

　　昨日，小米大模型團隊宣布開源旗下首個推理大模型「Xiaomi MiMo」。

　　小米方面介紹，7B 參數(shù)規(guī)模的 MiMo 在數(shù)學和代碼領域表現(xiàn)出色。性能表現(xiàn)如下：

　　據(jù)介紹，MiMo 的推理能力提升，源于其在預訓練和后訓練階段的多項數(shù)據(jù)與算法的聯(lián)合驅動創(chuàng)新：

　　預訓練階段創(chuàng)新：旨在讓模型接觸更多推理模式。著重挖掘富推理語料，并合成約 200B tokens 推理數(shù)據(jù)；進行了三階段訓練，逐步提升訓練難度，總訓練 25T tokens。

　　后訓練階段創(chuàng)新：旨在建立高效穩(wěn)定的強化學習系統(tǒng)。提出 Test Difficulty Driven Reward 來緩解困難算法問題中的獎勵稀疏問題，并引入 Easy Data Re-Sampling 策略，以穩(wěn)定 RL 訓練；設計了 Seamless Rollout 系統(tǒng)，使得 RL 訓練加速 2.29 倍，驗證加速 1.96 倍。

　　目前，MiMo-7B 已在 Hugging Face 平臺開源 4 個模型版本，技術報告也同步上線 GitHub，向開發(fā)者與研究者全面開放。

　　另據(jù)悉，MiMo 系列由新組建的「小米大模型 Core 團隊」打造，意在探索預訓練增長瓶頸之外的能力突破路徑，激發(fā)模型的推理潛能。

　　日前，Meta CEO 扎克伯格接受 Dwarkesh Patel 的采訪，前者在采訪中首次回應了此前 Llama 4 大模型基準測試爭議。

　　采訪中，主持人提到 Llama 4 目前的排名下降多名，表現(xiàn)甚至不如 OpenAI 的 o4-mini 和 Google 的 Gemini 2.5 Flash。對于此情況，扎克伯格表示「這些測試并非用戶日常會做的事情，基準測試衡量的內容與人們實際關心的事情有所不同」。

　　扎克伯格進一步表示，Llama 沒有過度優(yōu)化基準測試中所需測試的相關項目，并表示 Meta 始終將產(chǎn)品定位在用戶使用價值上，因此會導致模型在基準測試上的表現(xiàn)不太「好看」。扎克伯格還「拉」了 Anthropic 的 Claude Sonnet 3.7 一同佐證自己的觀點：Sonnet 3.7 表現(xiàn)很好，但也沒在競技場的頂部。

　　扎克伯格表示，團隊若想優(yōu)化 Llama 4 在基準測試的表現(xiàn)并非難事，之所以不選擇過度優(yōu)化，是為了讓模型與用戶實際體驗對齊。

　　據(jù)了解，Meta Llama 4 大模型于 4 月 6 日正式發(fā)布，號稱原生多模態(tài) MOE 模型，擊敗 DeepSeek V3，還有 2 萬億參數(shù)巨獸。但據(jù)網(wǎng)友們實測后反饋，卻幾乎是一邊倒的負面評價，并且有不少人質疑其真實性能。

　　Nadella 在對話中稱，目前微軟的代碼庫中，約有 20%-30% 的代碼由 AI 完成，甚至一些項目，都可能完全由 AI 進行編寫。

　　隨后 Nadella 也反問回扎克伯格「Meta 的代碼有多少由 AI 編寫」，扎克伯格表示「無法提供確切的數(shù)字」，但他表示 Meta 正在構建一個 AI 模型，該模型能夠開發(fā) Meta 旗下 Llama 系列模型的未來版本。另外，扎克伯格還透露，公司目前預期是「明年約有一半工作由 AI 完成，并且比例不斷增加」。

　　微軟通過多方數(shù)據(jù)整合得出一個不可逆轉的趨勢：AI 已經(jīng)令人類的工作場合發(fā)生了巨大的變化，并且一種名為「前沿公司」的組織模式正在產(chǎn)生。這一模式將會圍繞 AI 發(fā)展，促使人類與 Agent 成為混合型團隊，最后令每個人類員工成為 Agent 的「主管」。

　　據(jù)微軟官方介紹，「前沿公司」都會經(jīng)歷「AI 充當助手」「Agent 成為數(shù)字同事」「人類員工為 Agent 提供思路方向」這三個步驟。而據(jù)微軟預測，未來 2-5 年內，每個公司都將會踏上「前沿公司」這一模式的路途。

　　據(jù)彭博社消息，索尼正在考慮將其半導體解決方案公司拆分并上市，該計劃最早可能在今年內完成。

　　受到該消息影響，索尼股價在日本股市一度大漲 6.8%，創(chuàng) 4 月 1 日以來的新高點位，位列日經(jīng) 225 日本藍籌股指數(shù)漲幅前列。日本股市周二因假期休市，周三復市后，日本大盤（即東證指數(shù)）上漲約 0.5%。

　　報道指出，不少業(yè)內人士及分析機構對索尼本次拆分計劃給出了「好評」，認為索尼半導體業(yè)務被剝離后，該公司能轉型為一家更純粹的娛樂公司。

　　值得一提的是，索尼回應彭博社表示，媒體的報道是基于猜測，而公司目前沒有具體的計劃。

　　最近，豆包電腦版和網(wǎng)頁版「圖像生成」功能推出「超能創(chuàng)意 1.0」模式，一次最多生成 20 張差異化圖像。

　　目前，打開豆包電腦版或網(wǎng)頁版（選擇「圖像生成」按鈕，即可體驗「超能創(chuàng)意 1.0」模式。另外，豆包 App 端也已開啟內測，可一次直出 10 張圖像。

　　可靈 AI 事業(yè)部下設可靈 AI 產(chǎn)品部、運營部和技術部，負責可靈、可圖等系列大模型業(yè)務，快手高級副總裁蓋坤擔任可靈 AI 事業(yè)部負責人，繼續(xù)兼任社區(qū)科學線負責人。

　　與此同時，社區(qū)科學線下成立基礎大模型與應用部，負責 LLM 大模型、多模態(tài)理解大模型以及應用技術研發(fā)。

　　調整后，可靈 AI 將作為與主站、電商等并列的一級業(yè)務部門，向快手董事長兼 CEO 程一笑匯報。這也是近 3 年時間里，快手唯一成立的獨立事業(yè)部。

　　在今年 3 月底的快手財報電話會上，程一笑稱，目前可靈 AI「圖生視頻」功能的綜合效果處于全球第一。

　　官方數(shù)據(jù)顯示，自商業(yè)化以來至今年 2 月，可靈 AI 累計營業(yè)收入已超過 1 億元。據(jù)了解，可靈 AI 今年前三個月的營收，已超過 2024 年下半年的總和。

　　快手在 2023 年初啟動 AI 戰(zhàn)略并制定了相應目標規(guī)劃。程一笑便提及，AI 是個新時代，對快手來說，推薦和視頻生成領域是發(fā)力點。

　　2024 年 6 月，可靈大模型上線，這是全球第一個與 Sora 一致采用 DiT 路線，且直接面向普通用戶開放的視頻大模型。

　　值得一提的是，可靈大模型是由快手社區(qū)科學線的團隊開發(fā)的。其中許多成員原本的日常工作就是處理千萬量級的視頻內容，援引可靈人士信息：「這種能力和工作流程是可以直接復用的?！?

　　據(jù) Wired 消息，網(wǎng)絡安全公司 Oligo 日前揭露了蘋果 AirPlay 功能的一組安全漏洞「Airborne」，該漏洞或會波及到數(shù)百萬臺蘋果設備及通過 AirPlay 連接的配件。

　　據(jù)悉，惡意攻擊者能利用「Airborne」，通過同一 Wi-Fi 網(wǎng)絡環(huán)境，去控制支持 AirPlay 的設備，并向連接的設備傳播病毒文件。公共 Wi-Fi、商業(yè)場所等人流密集的地區(qū)會因上述漏洞成為高危地帶。

　　Oligo 研究人員指出，不僅 AirPlay 會受到「Airborne」的攻擊，CarPlay 也同樣受到該漏洞的影響。惡意攻擊者若直接在車內通過藍牙或 USB 端口連接上車機的 CarPlay 服務，或能劫持車輛的車機系統(tǒng)。但這種攻擊方式因需物理接觸，因此發(fā)生的情況較為罕見。

　　Oligo 研究人員共計發(fā)現(xiàn) 23 處漏洞，隨后蘋果發(fā)布了 17 個 CVE 追蹤漏洞補丁修復，并在官網(wǎng)詳細列出漏洞信息。此外，蘋果還為第三方制造商更新了 AirPlay SDK 以解決問題。

　　日前，騰訊智慧出行副總裁鐘學丹接受界面新聞采訪，其分析了如今車企在 AI 領域的局面情況，還分享了一些自己看待 AI 與出行的觀點。

　　在鐘學丹看來，高性能算力、精準數(shù)據(jù)閉環(huán)、快速迭代的 AI 模型，是汽車智能化的三大底層要素，但也是許多車企的薄弱環(huán)節(jié)。而這也導致車企在將 AI 技術轉化為 AI 應用的過程中面臨一系列挑戰(zhàn)：

　　訓練模型需要大量高質量數(shù)據(jù)，車企擁有海量繁雜數(shù)據(jù)但卻不知如何篩選與提煉為大模型所用，并面臨著「規(guī)模-效率悖論」。而在模型能力方面，車企在基礎設施和工具鏈的布局還不夠全面，基于預訓練的 Scaling Law 也達到瓶頸；當 AI 應用真正在車端落地時，車企則難以找到最佳的轉化方式。

　　結合上述情況，鐘學丹分析了騰訊目前的出行定位：汽車產(chǎn)業(yè)的數(shù)智化助手和生態(tài)共建者。其表示，騰訊的優(yōu)勢在于獨到的數(shù)據(jù)閉環(huán)能力、豐富的模型訓練經(jīng)驗，以及廣泛的用戶連接能力，能夠把 AI 能力轉化成對用戶需求的實現(xiàn)。前兩者決定了模型的能力、效果和質量，后者則關乎用戶最核心的使用體驗。

　　最后，鐘學丹還表示，汽車產(chǎn)業(yè)已經(jīng)進入到深度、全面應用 AI 大模型的階段。鐘學丹也預測了「汽車智能化大潮真正的‘質變’時刻」：

　　在大家解決數(shù)據(jù)工程、模型優(yōu)化和應用場景接入上的難題，最終讓汽車行業(yè)像用水用電一樣，用好 AI 工具，做出更好的 AI 應用。

　　據(jù) 9to5mac 援引供應鏈分析師 Ross Young 消息，新款 Apple Watch SE 的顯示屏剛剛投入生產(chǎn)。其透露，新機所采用的屏幕尺寸有所變化。

　　另外，Ross 還分析了新款 Apple Watch SE 的發(fā)布時間。其表示，產(chǎn)品顯示器在公開發(fā)布前幾個月投產(chǎn)十分正常，雖然目前處于 4 月下旬（或 5 月上旬），但新款 Apple Watch SE 可能仍定于 9 月，與 Series 11、Ultra 3 一同發(fā)布。

　　4 月 30 日，零跑汽車宣布旗下 C10 車型推出 2026 款版本，先看價格：

　　零跑 C10 于 2024 年 1 月亮相，并于 3 月上市。該車型基于「四葉草」中央集成式電子電氣架構打造，同時其也是零跑 LEAP 3.0 技術架構下的首款全球戰(zhàn)略車型；上市售價為 12.88 萬元至 16.99 萬元。

　　此次榮耀 MagicBook Pro 16 升級了全新靜音高性能模式 2.0： HUNTER 版在靜音高性能模式下，可以在 35dB 噪音下提供 100W 性能釋放，同功耗下噪音表現(xiàn)相比同類產(chǎn)品下降 14-16dB；同時，產(chǎn)品采用全新榮耀智靜散熱設計，配備行業(yè)領先 12mm 大直徑復合 3D 隧道式熱管、12V 電競級雙百葉靜音風扇等散熱組件。

　　外觀方面，榮耀 MagicBook Pro 16 2025 獨顯版本輕至 1.86kg，集顯版本為 1.81kg。整體機身采用了楔形設計，配色方面新增星辰灰配色。

　　昨日，OPPO 官方宣布旗下 Find X8 Ultra 和 X8s 系列將迎來影像能力升級，具體升級內容如下：

　　日前，我們實際觀察發(fā)現(xiàn)，淘寶已將即時零售業(yè)務「小時達」界面升級為「閃購」。而據(jù)《晚點》獲悉，「閃購」將先在 50 多個城市上線 日覆蓋全國。

　　消費者側，淘寶閃購將聯(lián)合餓了么共同補貼，規(guī)模超過百億元，提供免單、大額優(yōu)惠券等；

　　供給側，餓了么的供給面向淘寶閃購全部開放，也包括餐飲外賣，此外，結合淘天在品牌電商商家的優(yōu)勢，與它們的城市倉、線下門店合作設立品牌即時零售旗艦店，目標是首先覆蓋 200 家核心連鎖品牌；

　　組織側，淘系內部所有和即時零售相關的業(yè)務將由淘寶閃購全面負責，餓了么全力協(xié)同。

　　據(jù)了解，淘寶小時達入口于 2024 年 7 月在淘寶首頁全量開放，一個月后，蘋果授權專營店全國超過 3000 家門店全面接入淘寶小時達。過去一年，淘寶小時達把幾乎所有品類試驗了一遍，最終內部認定淘寶閃購比較有優(yōu)勢的品類是 3C 數(shù)碼、服飾等品類，截至目前已有 300 多萬家門店開通了淘寶小時達服務。

　　據(jù)網(wǎng)信中國消息，4 月 29 日，移動互聯(lián)網(wǎng)未成年人模式在第八屆數(shù)字中國建設峰會主論壇上正式發(fā)布。目前，未成年人模式突破一系列技術瓶頸，實現(xiàn)了全方位優(yōu)化和系統(tǒng)性升級：

　　操作方式：移動智能終端、應用程序、應用程序分發(fā)平臺實現(xiàn)三方聯(lián)動，家長可在手機端顯著位置點擊圖標，「一鍵啟動」未成年人模式，所有應用程序同步切換，形成一個相對獨立、安全可控的上網(wǎng)環(huán)境。

　　內容生態(tài)：適合未成年人的優(yōu)質內容得到大幅擴充，重點平臺依托兒童內容創(chuàng)作者、版權資源、權威機構等，篩選海量內容納入未成年人模式，并建立年齡分層、內容分類、推薦分眾的梯度化內容體系。

　　功能服務：未成年人模式可以提供每日上網(wǎng)總時長控制、使用時段設置、休息提醒、應用管理、使用情況統(tǒng)計等功能，家長可根據(jù)實際情況調整各項設置。

　　覆蓋范圍：華為、OPPO 和中興在手機系統(tǒng)更新后提供未成年人模式，小米、榮耀和 vivo 在發(fā)布的新機上搭載未成年人模式，應用商店建立未成年人專區(qū)，短視頻、社交、電商、教育、工具等領域重點應用程序全面升級未成年人模式。

　　后續(xù)模式的覆蓋范圍還將持續(xù)擴大，滿足未成年人日常使用需求、提供豐富多元服務。

　　日前，電影《驚天魔盜團 3》發(fā)布海報及預告片，將于 11 月 14 日北美上映。

　　據(jù)悉，第一部主演杰西·艾森伯格、馬克·魯法洛、伍迪·哈里森、艾拉·費舍爾、戴夫·弗蘭科、摩根·弗里曼將回歸，阿麗亞娜·格林布拉特、賈斯蒂斯·史密斯、多米尼克·塞薩飾演新一代魔術師，裴淳華等也新加盟出演。

　　蘋果官方介紹，該網(wǎng)頁能進一步了解用戶在蘋果娛樂生態(tài)中，所喜歡的藝術家、演員和運動員。網(wǎng)頁下方有一個名單流，不斷滾動播放名人卡片。點擊卡片能展開了解名人的個人資料、相關作品等內容。

　　從事進口雜貨銷售的井之頭五郎，是個喜歡在工作之余到處品嘗美饌的老饕。只要肚子一餓，就會秉持「吃飯皇帝大」的信念，拋下一切直奔周遭的餐廳食堂大快朵頤。

　　這回，他接到前女友的女兒「千秋」的委托，前往法國拜訪千秋的祖父一郎，并要幫助一郎找出童年時曾喝過的湯頭食譜。盡管線索相當稀少，五郎依舊踏上尋找「究極湯頭」的旅程。不過在這趟旅程當中，他卻意外卷入到一場更大的風暴當中。

　　《孤獨的美食家劇場版》由松重豐執(zhí)導， 松重豐、田口佳宏編劇， 松重豐、內田有紀、磯村勇、村田雄浩等主演，該片于 2025 年 1 月 10 日日本上映，4 月 18 日中國上映。

　　《生命之書》是作者舍溫·B·努蘭醫(yī)生個人行醫(yī)生涯和人生經(jīng)驗交織而成的記錄與反省。

　　書中，作者以醫(yī)生的身份帶領讀者開啟一場探索生命的旅行，以醫(yī)生的雙手揭開生命的神秘面紗。以疾病為切入點，從循環(huán)系統(tǒng)、神經(jīng)系統(tǒng)、消化系統(tǒng)，講到生殖系統(tǒng)，用作者處理過的真實病例，讓讀者知道各個系統(tǒng)如何運作。

　　游戲中，作者將扮演一條饑餓的鯊魚，在不同國家、地區(qū)的各個海域中，進行人類「獵捕」計劃，從而來進行「飽餐一頓」。

　　游戲的玩法十分簡單粗暴，玩家只需要將鯊魚移動到人類身邊并將人類「吃掉」即可。玩家還可以探索包括太平洋群島、北冰洋等四個不同的場景。游戲中有超過 30 種鯊魚種類供玩家選擇，從迷你號到大大大號鯊魚，每種鯊魚都有其獨特的特性和能力。九游娛樂-官方入口