文章
所有發布的 AI 新聞與論文。
-
Gemini 新增 beta 功能根據照片、郵件等提供主動回應
Google 於週三宣佈在 Gemini 應用程式中推出新的 Beta 功能，名為「個人智慧」（Personal Intelligence）。此功能允許 AI 助手透過連線 Google 生態系統中的 Gmail、照片、搜尋和 YouTube 歷史記錄，根據使用者資料量身打造回應。雖然 Gemini 原本就能從這些應用程式中獲取資訊，但現在它能跨資料進行推理，提供主動式結果，例如將電子郵件中的主題與觀看過的影片連結起來。Google 表示，這意味著 Gemini 能理解上下文而不需被指示查詢位置。 該 Beta 體驗預設為關閉，使用者可選擇是否及何時連線應用程式。Google 強調，若使用者選擇連線，Gemini 僅在判斷此操作有益時才會使用個人智慧。Josh Woodward，Google Labs 及 AI Studio 的 Gemini 應用程式副總裁，指出個人智慧的核心優勢在於跨複雜來源進行推理，並從郵件或照片中檢索特定細節。他舉例說明，當他在輪胎店忘記車胎尺寸時，Gemini 透過分析 Google 照片中的家庭公路旅行照片，建議了全天氣型輪胎；當他忘記車牌號碼時，Gemini 則從照片中提取了該號碼。此外，Gemini 還提供了關於書籍、節目、服裝和旅行的建議，例如在規劃春季假期時，它根據 Gmail 和照片中的家庭興趣與過往行程，跳過旅遊陷阱，推薦了夜間列車旅程及沿途可玩的桌遊。 針對敏感話題，Google 表示 Gemini 設有防護措施，避免對健康等敏感資料做出主動假設，但若使用者詢問則會討論相關資料。Gemini 不會直接訓練於使用者的 Gmail 收件箱或 Google 照片庫，而是基於特定提示詞及模型回應進行訓練。照片、郵件等僅用於生成回應，不直接用於模型訓練。目前，個人智慧功能已推出給美國 Google AI Pro 及 AI Ultra 訂閱使用者，Google 計劃將其擴充套件至更多國家及 Gemini 免費層級。Google 提供了包括週末規劃、紀錄片推薦及基於收據與觀看歷史的 YouTube 頻道建議等多個提示詞範例供使用者嘗試。
-
Skild AI 該機器人軟體公司估值達到 140 億美元
Skild AI 是一家專注於開發機器人基礎模型的創業公司，其估值在短短七個月內超過了三倍增長。根據彭博社報導，該公司近期完成了一筆由 SoftBank 領投、Nvidia、Macquarie Group 及 1789 Capital 等機構參與的 C 輪融資，融資金額達 14 億美元，使公司估值超過 140 億美元。Skild AI 於 2023 年成立，主要開發通用型機器人軟體與基礎模型，這些模型可無需大量額外訓練即可適配於多種不同機器人與任務，並能透過觀察人類動作進行學習。公司執行長 Deepak Pathak 表示，截至目前該公司已籌資超過 20 億美元。此前該公司於今年夏季的融資輪次估值為 45 億美元，當時市場傳聞金額約為 5 億美元，但公司未正式披露該輪確切價值。Skild AI 的技術旨在解決個人與工業應用中機器人學習新任務所需訓練量過大的難題，透過即時學習與適應能力推動機器人普及。此外，另一家名為 Field AI 的創業公司也致力於開發易於適配的機器人軟體，其製造的類人機器人 Neo 1X 近期發布了世界模型，追求相同的目標。
-
Google Trends 探索頁新增 Gemini 功能
Google 於週三宣佈推出重新設計的 Trends Explore 頁面，該頁面現在整合了 Gemini 驅動的功能，能自動識別並比較與搜尋相關的趨勢。此更新今日開始在桌面版逐步推出。Trends Explore 頁面長期以來是內容創作者、記者和研究人員的寶貴工具，可輕鬆分析任何主題在時間、地區及類別上的搜尋興趣。新的 Gemini 體驗簡化了探索熱門主題的手動工作，減少研究時間，並呈現使用者可能忽略的關聯。重新設計的頁面現在包含側邊欄，自動識別並比較使用者感興趣領域的相關趨勢，同時提供建議的 Gemini 提示以協助深入探索。頁面採用全新設計，為每個搜尋詞提供專屬圖示與顏色，使使用者更容易將詞彙對應到圖表線上。Google 還增加了使用者可比較的詞彙數量，並將每個時間軸上顯示的上升查詢數量翻倍。一篇 Google 部落格文章以熱門犬種為例說明新功能，AI 自動填充最多八個搜尋詞，如「金毛尋回犬」或「比格犬」，並建議「對毛質敏感的犬種」或「大型犬種」等相關主題供進一步探索。使用者可將滑鼠懸停在詞彙上進行編輯，或使用國家、時間及屬性等過濾器自訂趨勢時間軸。此更新是 Google 持續將 Gemini 嵌入核心服務的一部分，公司此前已將 AI 功能加入搜尋、Gmail、地圖和檔案等服務中。
-
AI模型開始解決高階數學問題
軟體工程師、前量化研究員兼創業家 Neel Somani 在週末測試 OpenAI 新模型時，意外發現其數學能力有顯著突破。他將一道數學問題輸入 ChatGPT，讓其思考十五分鐘後，模型不僅產出完整解答，還被工具 Harmonic 驗證透過。該模型能引用如 Legendre 公式、Bertrand 公設及 Star of David 定理等數學公理，甚至追溯到 2013 年 Harvard 數學家 Noam Elkies 在 Math Overflow 上發表的優雅解法。儘管 ChatGPT 的最終證明與 Elkies 的工作有重要差異，但它對傳奇數學家 Paul Erdős 提出的問題版本提供了更完整的解答。 自 GPT 5.2 發布以來，該模型被形容為在數學推理上比先前版本更出色。Erdős 提出的超過一千個猜測成為 AI 數學研究的熱門目標。自聖誕節以來，Erdős 網站上有十五個問題從「未解」變為「已解」，其中十一個明確歸功於 AI 模型。數學家 Terence Tao 在其 GitHub 頁面上指出，有八個問題顯示 AI 模型在 Erdős 問題上取得了有意義的自主進展，另有六個案例是透過定位並建立在先前研究基礎上。Tao 認為，AI 系統的規模化特性使其更適合系統性地應用於 Erdős 問題中那些較少見但解法簡單的「長尾」問題。 此外，數學證明形式化（Formalization）的趨勢也推動了這一進展。雖然形式化不依賴 AI，但自動化工具如 Microsoft Research 於 2013 年開發的開源證明助手 Lean 已廣泛使用。Harmonic 的 Aristotle 工具則承諾自動化形式化工作的大部分。Harmonic 創辦人 Tudor Achim 表示，比起已解決問題數量的激增，他更關注世界頂尖數學家開始認真使用這些工具，這才是證明 AI 在數學領域發揮重要作用的關鍵證據。