新聞 RSS 訂閱

Spring Boot 4.0.0 現已正式發佈，“此版本標誌着新一代 Spring Boot 的誕生，為未來幾年奠定了堅實的基礎。” 新版本基於Spring Framework 7構建，幷包含許多新特性，其中包括： 對 Spring Boot 代碼庫進行完全模塊化改造，提供更小、更專注的 jar 包。 通過 JSpecify對整個產品組合的 null safety 進行改進。 對 Jav

Red Hat 近日確認，其資深 Linux 內核工程師 David Hildenbrand 即將離開公司。 這名工程師也通過提交給 Linux 6.18-rc6 內核的一個補丁説明了這一點：他將把郵件地址從 redhat.com 切換到 kernel.org，並提到他的 redhat.com 郵箱將在明年 1 月停用。 https://git.kernel.org/pub/scm/linux/

微軟宣佈其 “高級粘貼” 功能進行了重大的升級，現在可以通過本地 AI 模型來執行任務，而不再依賴於雲端。通過利用本地設備的計算能力，用户可以在保護隱私的同時，享受到 AI 帶來的便捷。 “高級粘貼” 功能的推出，旨在提高用户在各種應用場景下的工作效率。用户在進行內容複製和粘貼時，可以通過智能識別，實現智能化的內容處理。無論是從文檔中提取信息，還是進行格式轉換，本地 AI 都能快速完成，減少了用

Calibre 開源項目是 Calibre 官方出的電子書管理工具。它可以查看，轉換，編輯和分類所有主流格式的電子書。Calibre 是個跨平台軟件，可以在 Linux、Windows 和 macOS 上運行。 Calibre 8.15 現已正式發佈，此次更新內容如下： 新功能 E-book viewer：Highlights panel：鼠標懸停在高亮內容上時，在工具提示中顯示高亮日期 C

騰訊混元大模型團隊正式發佈了其最新視頻生成模型 HunyuanVideo1.5，標誌着視頻生成技術的又一重要突破。這款基於 Diffusion Transformer（DiT）架構的輕量級模型，參數量達8.3B，能夠生成5至10秒的高清晰度視頻，已在騰訊的「元寶」平台上線，向用户開放體驗。 HunyuanVideo1.5支持多種生成方式，用户可以通過輸入文字描述（Prompt）實現 “文生視頻”

Qt 是一個跨平台的應用程序開發框架，廣泛用於創建圖形用户界面、嵌入式系統和移動應用等。Qt 6 是 Qt 的最新版本，於 2022 年 12 月發佈，帶來了許多新特性和改進，如更強大的 QML 語言、更靈活的圖形架構和更高效的內存管理等。 Qt 6.10.1 現已開放下載。作為補丁版本，Qt 6.10.1 沒有引入任何新功能，而是在 Qt 6.10.1 版本的基礎上修復了 450 多個錯誤，並進

Ubuntu 開發商 Canonical 的一位工程師 Valentin Haudiquet 提交了一組關鍵補丁，讓 Flutter 工具鏈與桌面 Linux 引擎能在 RISC-V 64 位平台運行與構建。這意味着開發者未來可以從 x86 主機交叉編譯 Flutter 引擎到 RISC-V，也能在 RISC-V 設備上執行 Flutter 應用。 https://github.com/flut

維基百科編輯團隊公開其內部使用的《AI寫作識別指南》，首次系統性揭示大語言模型（LLM）在行文中的“行為指紋”，為公眾提供了一套可操作、有據可依的AI文本鑑別方法。 自2023年啓動“AI清理計劃”（Project AI Cleanup）以來，維基百科編輯們每天面對數百萬條編輯提交，積累了海量AI寫作樣本。他們發現，自動化檢測工具基本無效，而真正可靠的判斷，來自對語言習慣與敍事邏輯的深度觀察。

AI搜索公司Perplexity宣佈其AI瀏覽器Comet正式登陸Android平台。 據悉，這家公司今年7月曾在桌面端首次推出了以AI為核心的Comet瀏覽器。Android版Comet繼承了桌面版本的大部分功能。用户不僅可以將Perplexity設為默認搜索引擎，還能通過標籤提及向助手發問；同時支持語音模式，可就所有已開啓的標籤頁提問，助手還可對所有標籤頁內的搜索內容進行總結。 Perple

11 月 19 日，工業和信息化部舉行新聞發佈會，介紹 GB 6675《玩具安全》系列強制性國家標準修訂情況。 工業和信息化部消費品工業司司長何亞瓊在會上表示，AI 玩具深受年輕人喜愛，已成為行業競爭的新賽道。據統計，2024 年我國 AI 玩具市場規模約 246 億元，預計 2025 年全年將增至 290 億元。 何亞瓊指出，當前，在技術革命和消費升級的雙重驅動下，我國玩具產業正邁向智能化發展的

PHP 8.5.0 現已正式發佈，此次發佈是 PHP 語言的最新小版本更新。 PHP 8.5 帶來了諸多改進和新功能，例如： 新增“URI”擴展 新pipe operator (|) Clone With 新增 #[\NoDiscard] 屬性 支持常量表達式中的閉包、類型轉換和一等可調用對象，等等 更多詳情可查看 ChangeLog。 如需下載 PHP 8.5.0 的源代碼，可訪問

IntelliJ IDEA 2025.2.5 現已發佈，以下是主要更新內容： 當 Docker Engine 更新到 v29 版本時，IDE 現在可以正確處理 API 調用。[IJPL-217878] 使用 Gradle Runner 運行包含 Spring Boot 的 Gradle 9.x 項目現在可以按預期運行。[IDEA-379009] 修復了 IDE 在掃描包含特定 JSON 結

編者按： 推理模型的"推理能力"飛躍，究竟是模型本身的進步，還是工程編排的巧妙包裝？ 我們今天為大家帶來的這篇文章提出了一個尖鋭的觀點：所謂"推理模型"的突破，本質上並非模型智能的根本性提升，而是通過工具調用與流程編排對模型能力停滯所做的工程性補償。 文章深入剖析了 GPT-5 等最新模型在執行任務時嚴重依賴 Python 沙箱、API 調用等外部工具的現象，揭示出大語言模型在代碼生成與語

摩爾線程公告，本次發行股份數量為7000萬股，全部為公開發行新股。本次網上發行與網下發行將於2025年11月24日（T日）分別通過上交所交易系統和互聯網交易平台實施。 據悉，摩爾線程發行價格為114.28元/股，預計募集資金總額為80億元，扣除發行費用後，預計募集資金淨額為75.76億元。 本次IPO，摩爾線程計劃募集資金將用於新一代自主可控AI訓推一體芯片、圖形芯片、AISoC芯片研發項目

巴克萊銀行近日發佈了一份研究報告，揭示了 OpenAI 在算力需求方面的顯著增長。根據報告，預計到2027至2028年，隨着關鍵技術的突破，AI 行業的資本開支週期將繼續延續，並迎來算力需求的激增。 OpenAI 的 CEO 山姆・奧爾特曼透露，2025年該公司的實際營收比原先的內部預測高出約15%。同時，2027年的預期營收從600億美元上調至900億美元，預計在2027年能提前一年實現1000

今年7月份，北京人形機器人創新中心（後稱北京人形）正式發佈開源運動控制框架Tien Kung-Lab，將機器人馬拉松冠軍的運控算法面向行業開源。 TienKung-Lab代碼倉庫：https://github.com/Open-X-Humanoid/TienKung-Lab 近日，北京人形為了幫助開發者解決具身智能Sim2Real困難，宣佈正式開源TienKung-Lab的上機代碼倉庫Deploy

谷歌宣佈推出 Nano Banana Pro（Gemini 3 Pro Image）—— 全新的、最先進的圖像生成和編輯模型，基於 Gemini 3 Pro 構建。 公告稱，Nano Banana Pro 可以幫助用户將任何想法可視化，並設計任何內容——從原型到將數據表示為信息圖表，再到將手寫筆記轉換為圖表。使用 Nano Banana Pro，可以：基於增強的推理能力、世界知識和實時信息，生成更

數字圖書館巨頭OverDrive向俄亥俄州北區聯邦法院提起訴訟，指控OpenAI的文本生成視頻應用“Sora”在名稱、圖標及配色方案上與自家面向學生的閲讀App“Sora”構成混淆，涉嫌商標侵權、不正當競爭與欺詐性商業行為。 OverDrive表示，其“Sora”品牌自 2018 年推出以來已覆蓋美國1. 2 萬所K- 12 學區，而OpenAI在明知情況下仍於 2024 年 2 月發佈同名產品

OpenAI發佈了一套企業 AI 評估框架指南，旨在幫助企業將業務目標轉化為可衡量的 AI 成果，從而規模化地實現投資回報。據據介紹，全球超過一百萬企業使用 OpenAI 技術，OpenAI 內部團隊通過數十個定製化評估體系提升模型在特定產品和流程中的表現。 OpenAI 提供了一個通用評估方法論： Specify（定義）：明確 AI 的任務流程、關鍵輸入輸出、失敗模式，並通過跨職能專家

兩個月前，Nvidia 首席執行官黃仁勳與 OpenAI 首席執行官山姆・奧爾特曼在加州聖荷西共同宣佈了一項歷史性的協議，Nvidia 將在未來數年內對 OpenAI 投資高達1000億美元。 這筆投資將隨着 OpenAI 的 AI超級計算設施的上線而逐步到位，儘管具體的建設時間表和每個數據中心的成本尚未披露。然而，在 Nvidia 最近的季度財報中，這家芯片製造商提醒投資者，公告和正式合同之間存

英偉達 CEO 黃仁勳在近期財報電話會議上討論了關於“AI 泡沫”的話題，他明確表示：“雖然有很多人在説 AI 泡沫，但從我們的視角來看，情況截然不同。” 他認為當前不是短期投機的“泡沫”，而是一個更深層次的“結構性轉變”——尤其在計算基礎設施、生成式 AI 以及“智能代理／物理世界 AI”（agentic AI）三個維度正在同步發展。 黃仁勳指出數據處理、廣告推薦、搜索系統和工程等領域正轉向使

勉強撐過一週年的人形機器人公司K-Scale Labs正式宣佈倒閉。首席執行官 Ben Bolt 在發給投資者的郵件中透露了這一消息，並表示公司現金儲備僅剩 40 萬美元。 K-Scale 作為 YC 加速器孵化的充滿希望的項目，創立僅一年便在種子輪融資中籌集了約 400 萬美元—— 估值高達 5000 萬美元。 Bolt 最初樂觀地計劃籌集1000萬至1500萬美元以維持運營，但其融資努力卻以

諾基亞在2025年資本市場日活動期間宣佈將通過新戰略引領人工智能（AI）驅動的網絡轉型，並把握AI超級週期價值。 諾基亞同時公佈了新的長期財務目標、業務戰略關鍵績效指標（KPI）、運營模式演進方案及集團領導團隊調整。為執行新戰略方向，諾基亞正將運營模式簡化為網絡基礎設施（Network Infrastructure）與移動基礎設施（Mobile Infrastructure）兩大主要業務運營部門。

谷歌昨天正式發佈新一代 AI 模型 Gemini 3，其領先的編程能力吸引了許多程序員進行體驗。 但 “Vibe Coding” 一時爽，真踩坑可就欲哭無淚了。 昨天一名開發者在社交媒體發帖：“關於 Gemini3 刪了我 800G 重要文件這件事”。 他在帖子中提到，自己在測試 Gemini3 的編碼能力時，遇到一個問題並請求其解決。然而，Gemini3 在解決問題的過程中誤刪了作者的 800