"Happy系列"再添一員，阿里以端到端整麴生成切入AI音樂賽道

AI資訊最新AI日報正文AI日報：黃仁勳卸任英偉達總裁職位；星火語音大模型SparkAudio 1.0正式上線API服務；Google推出Gemini4Hydrogen發布於最新AI日報時間 :Nov 13, 2026閱讀 :1分鐘歡迎來到【AI日報】欄目!這裡是你每天探索人工智能世界的指南，每天我們為你呈現AI領域的熱點內容，聚焦開發者，助你洞悉技術趨勢、瞭解創新AI產品應用。新鮮AI產品點擊瞭解：https://app.aibase.com/zh1、英偉達創始人黃仁勳卸任總裁職位本文揭示黃仁勳卸任背後複雜的地緣政治與個人道德雙重危機，凸顯AI算力已成為大國博弈焦點。英偉達權力更迭不僅是企業事件，更折射出科技巨頭在技術霸權與合規風險間的艱難平衡。【AiBase提要:】🔚 黃仁勳卸任總裁、CEO及董事，結束33年掌門。🌍 地緣政治與情報指控是下臺關鍵。💔 私德風波與輿論壓力加速離職。2、關停五年，蝦米借 AI 還魂：阿里 30 元推出快樂蝦米阿里以“快樂蝦米”復活蝦米品牌，並非簡單情懷移植，而是以端到端整麴生成切入AI音樂賽道，降低創作門檻。30元150首的定價清晰瞄準大眾用戶，但音質、版權與模型可持續性仍待驗證。【AiBase提要:】🎼 端到端整麴生成，覆蓋作詞、作曲、編曲與人聲演唱💰 國內30元月費可生成150首歌，單首成本約0.2元🔁 音樂配方與做同款玩法，支持智能歌詞和純音樂輸出3、Google推出Gemini4Hydrogen，全球Search迎來最大模型升級該升級標誌著谷歌搜索從信息檢索向自主代理執行的關鍵演進。Hydrogen的高速多檔推理與工具調用優化，理論上能提升複雜查詢、拼寫糾錯和多語言體驗，但實際延遲、成本和可控性仍待驗證。【AiBase提要:】🚀 谷歌搜索引入 Hydrogen，完成最大規模模型升級⚡ 面向高速代理式工作流，速度比前代快

AI資訊AI新閒資訊正文Claude 輔助完成 19 萬行代碼，成功對三元哥德巴赫猜想進行形式化證明發布於AI新閒資訊時間 :Nov 13, 2026閱讀 :1分鐘人工智能在基礎科學研究領域的應用正在創造歷史。近日，獨立開發者 Charlie Reams 藉助Claude Code成功完成了對三元哥德巴赫猜想的形式化證明。此次突破累計產出了高達19.4萬行且零 sorry 的Lean4代碼，所有的數學推理均通過了機器的嚴格驗證。機器火眼金睛:自主揪出並修補13年前的11處漏洞在這項艱鉅的證明過程中，人工智能展現出了超越人類傳統審稿的極致嚴謹性。AI 在運行和推導中自主發現了數學家 Harald Helfgott 於2013年發表的原版證明中的11處關鍵問題。這些被成功揪出的漏洞涵蓋了常數寫錯、不等式不成立、引用數據偏差以及主弧尺度混淆等多個維度，並且 AI 均逐一完成了修補。在此基礎之上，研究人員進一步將該證明所依賴的外部額外假設從最初的5項大幅精簡至僅剩2項已有的公開數值驗證結果，從而極大地推進了該證明嚴謹性閉環的構建。推動範式轉變:數學界的“證明完成”正邁向機器可驗證時代這一里程碑式的事件不僅攻克了數學史上的重要難題，也在更深層次上推動了整個數學界對“證明完成”這一概念的判定標準發生根本性轉變——從傳統的同行評議逐步向完全依靠機器可驗證的形式化方向大步邁進。相關推薦AI 幫用戶成功“越獄”跑步機：Claude 輕鬆幹掉 iFIT 訂閱牆，大屏幕秒變自由流媒體海外網友在Reddit分享，借AI編程工具Claude Code對NordicTrack Commercial2250跑步機“越獄”，繞過iFIT強制訂閱限制，把10英寸封閉大屏改造成可自由使用的流媒體娛樂界面。這臺跑步機原為女友購買，改造耗時約一天半，解決訂閱牆煩惱。Nov 5, 2026230.4kClaude

AI資訊AI新閒資訊正文比高端型號還猛卻更便宜，Google 用"Gemini 4 Hydrogen"上演反向內卷發布於AI新閒資訊時間 :Nov 13, 2026閱讀 :1分鐘Google 剛推出 Gemini4Hydrogen（氫），一款主打速度與執行效率的新模型，結果一登場就尷尬了自家的 Argon:第三方智能指數榜上，Hydrogen 拿下51分、Xhigh 檔衝到54分，壓過定位更高的 Argon 的50分;默認檔速度達上代 Flash 的2.5倍、胡編亂造減超80%，API 價格卻比 Argon 更低。編排器替你自動換模型Google 沒讓兩塊招牌各自為戰。新推的 Antigravity Orchestrator 能在同一任務裡按進展自動切換 Carbon 與 Hydrogen:Carbon 先拆任務、定計劃，再交給 Hydrogen 改代碼、跑測試，遇坎再交回 Carbon，全程不用手動切。內部測試顯示，它逼近單獨用 Carbon 的成功率，卻省下24% 額度、提速19%，目前先向 AI Ultra 用戶開放。速度狂歡也有冷水:有人指出答案若錯，重跑代價可能高過一次慢而準的回答。開發者 @SPAC89用 Hydrogen 兩小時做出 Three.js 項目、只耗 Pro 訂閱5% 周額度，直呼近乎無限制;而 @mattyapro 的吐槽最實在:每天真在用的模型，比登頂排行榜的模型更重要。相關推薦谷歌重磅發佈 Gemini 4 Hydrogen：主打高速編程與智能體任務，性能實現跨越式升級人工智能賽道再迎核心模型更新。谷歌當地時間週四正式發佈新一代大模型Gemini4Hydrogen，面向開發者與日常用戶，在運行速度、編程能力及智能體任務處理上實現顯著飛躍。相較Gemini3.8Flash，該模型整體性能全面進化，運行速度提升2.5倍，編程基準測試大幅躍升，成為

內部判斷認為，機器人只是通用模型的一類垂類任務，所需智能能力應在通用基礎模型框架下統一解決。截至發稿，OpenAI官方尚未確認並披露相關細節。這並非OpenAI首次調整機器人路線。2019年，其機械手解魔方項目Dactyl曾引發廣泛關注;2020年10月，公司內部解散機器人團隊，2021年聯合創始人Wojciech Zaremba對外解釋稱，物理交互數據難以規模化，資源轉向大模型。

40 核老舊服務器硬剛 2.8 萬億參數大模型，傲騰內存成破局利器發布於AI新閒資訊時間 :Nov 13, 2026閱讀 :1分鐘在人工智能參數規模不斷膨脹的今天，動輒數萬億參數的巨型大模型往往需要依靠昂貴的高端顯卡集群才能驅動。然而，近日有玩家在社區分享了一次極具極客精神的極限測試:他僅憑一臺沒有插顯卡、搭載40核處理器的老舊服務器，竟然成功讓月之暗面的2.

招股文件顯示，公司連同聯合創始人計劃借 IPO 最多募得 644 億美元，再疊加一筆 260 億美元的非公開配售，雙管齊下為登陸公開市場備足彈藥。在 AI 投資熱潮退潮與否的爭論中，真金白銀的認購給出了最直白的投票。兩項相加，反超 SpaceX 登頂把 IPO 與私募配售合計，規模最高可達 904 億美元，一舉超過 SpaceX 的上市交易，坐上史上最大上市交易的寶座。