發現高質量的人工智能工具
將全球領先的人工智能工具聚集在一起，以幫助提高工作效率
AveryThomas發表的文章
Anthropic 的 Claude 使用 Lean 自主完成了費馬大定理的第一個經計算機驗證的形式化證明。該 AI 在多智慧體協作下執行了 11 天，生成了 1300 萬行程式碼和 30,300 個定理。該系統形式化了 Andrew Wiles 於 1995 年給出的證明，隨後僅使用三個公理便由 Lean 完成了驗證。這一里程碑展示了 AI 進行大規模數學形式化的能力，有望降低人工驗證成本，並確立結合人類監督與自動證明生成的新標準。
Anthropic 的 Claude 使用 Lean 自主完成了費馬大定理的第一個經計算機驗證的形式化證明。該 AI 在多智慧體協作下執行了 11 天，生成了 1300 萬行程式碼和 30,300 個定理。該系統形式化了 Andrew Wiles 於 1995 年給出的證明，隨後僅使用三個公理便由 Lean 完成了驗證。這一里程碑展示了 AI 進行大規模數學形式化的能力，有望降低人工驗證成本，並確立結合人類監督與自動證明生成的新標準。
據路透社報道，谷歌的AI業務部門近幾個月來面臨嚴重動盪。聯合創始人謝爾蓋·布林重新迴歸，直接負責模型訓練工作，並以非正式方式掌控開發優先順序（包括推動模型的遞迴自我改進），這一舉措導致下一代Gemini產品的推出時間推遲了兩個月。德米斯·哈薩比斯的職務被降為董事長，管理許可權大幅縮減，由穆斯塔法·卡武克喬格魯接替其職位。在布林的支援下，後者直接向谷歌執行長桑達爾·皮查伊彙報工作，同時充當DeepMind與Google Cloud之間的橋樑。原本負責Gemini技術開發的聯合負責人傑夫·迪恩和奧里奧爾·維尼亞爾斯則離開公司，共同創立了一家專注於科學發現的AI初創企業，這一舉動引發了員工對自身自主權被剝奪的擔憂。這些變動反映出自2014年DeepMind被谷歌收購以來，該團隊的獨立性一直在逐漸削弱。訊息傳出後，谷歌股價立即下跌了4%，而計算資源有限以及領導層矛盾等持續存在的問題，也讓人們對谷歌AI業務的未來前景產生了疑慮。
據路透社報道，谷歌的AI業務部門近幾個月來面臨嚴重動盪。聯合創始人謝爾蓋·布林重新迴歸，直接負責模型訓練工作，並以非正式方式掌控開發優先順序（包括推動模型的遞迴自我改進），這一舉措導致下一代Gemini產品的推出時間推遲了兩個月。德米斯·哈薩比斯的職務被降為董事長，管理許可權大幅縮減，由穆斯塔法·卡武克喬格魯接替其職位。在布林的支援下，後者直接向谷歌執行長桑達爾·皮查伊彙報工作，同時充當DeepMind與Google Cloud之間的橋樑。原本負責Gemini技術開發的聯合負責人傑夫·迪恩和奧里奧爾·維尼亞爾斯則離開公司，共同創立了一家專注於科學發現的AI初創企業，這一舉動引發了員工對自身自主權被剝奪的擔憂。這些變動反映出自2014年DeepMind被谷歌收購以來，該團隊的獨立性一直在逐漸削弱。訊息傳出後，谷歌股價立即下跌了4%，而計算資源有限以及領導層矛盾等持續存在的問題，也讓人們對谷歌AI業務的未來前景產生了疑慮。
SafeBreach發現了一種存在於谷歌Gemini語音助手中的漏洞，該漏洞被稱為“虛假上下文對齊”。駭客們利用工具呼叫延遲的現象，透過傳送含有多語言混淆資訊或隱藏超連結的WhatsApp或SMS訊息，誘使Gemini執行未經授權的操作，比如控制智慧家居裝置或修改聯絡人資訊。谷歌在2024年11月透過更新內容分類系統來修復了這一漏洞。
SafeBreach發現了一種存在於谷歌Gemini語音助手中的漏洞，該漏洞被稱為“虛假上下文對齊”。駭客們利用工具呼叫延遲的現象，透過傳送含有多語言混淆資訊或隱藏超連結的WhatsApp或SMS訊息，誘使Gemini執行未經授權的操作，比如控制智慧家居裝置或修改聯絡人資訊。谷歌在2024年11月透過更新內容分類系統來修復了這一漏洞。
OpenAI 為美國 ChatGPT Pro 訂閱用戶推出個人理財工具的預覽版，將生成式 AI 整合至財務管理中。使用者可透過 Plaid 連結銀行帳戶，進行消費分析與投資組合追蹤，該功能由全新的 GPT-5.5 模型驅動。此功能未來計畫與 Intuit 整合以提供進階分析，反映出大型模型專注於垂直應用領域的更廣泛趨勢。
OpenAI 為美國 ChatGPT Pro 訂閱用戶推出個人理財工具的預覽版，將生成式 AI 整合至財務管理中。使用者可透過 Plaid 連結銀行帳戶，進行消費分析與投資組合追蹤，該功能由全新的 GPT-5.5 模型驅動。此功能未來計畫與 Intuit 整合以提供進階分析，反映出大型模型專注於垂直應用領域的更廣泛趨勢。
一款名為 HappyHorse-1.0 的新型中國多模態 AI 模型，在關鍵的文字轉影片基準測試中以 1332 分的成績領先，表現優於字節跳動等競爭對手。該模型隸屬於阿里巴巴旗下 ATH AI 部門的淘天集團未來生活實驗室。該模型的崛起凸顯了阿里巴巴在影片生成技術方面的先進性，同時也顯示出該公司正轉向建立更獨立的內部 AI 孵化器，這預示著其全球競爭力將進一步增強。
一款名為 HappyHorse-1.0 的新型中國多模態 AI 模型，在關鍵的文字轉影片基準測試中以 1332 分的成績領先，表現優於字節跳動等競爭對手。該模型隸屬於阿里巴巴旗下 ATH AI 部門的淘天集團未來生活實驗室。該模型的崛起凸顯了阿里巴巴在影片生成技術方面的先進性，同時也顯示出該公司正轉向建立更獨立的內部 AI 孵化器，這預示著其全球競爭力將進一步增強。
2026年，AI 代理市場迎來快速擴張，市場上將出現超過 20 款自動化「爪」產品，月費介於 19 至 899 元之間，其角色也將從助理轉變為系統級執行者。 市場形成三大陣營：具備開發者外掛功能的開源平台 OpenClaw、騰訊與字節跳動的生態系整合工具，以及華為／小米專為多裝置與智慧家庭控制所設計的硬體原生代理程式。安全警示特別指出隱私風險與多變的計費模式，並呼籲使用者謹慎評估 API 使用成本。
2026年，AI 代理市場迎來快速擴張，市場上將出現超過 20 款自動化「爪」產品，月費介於 19 至 899 元之間，其角色也將從助理轉變為系統級執行者。 市場形成三大陣營：具備開發者外掛功能的開源平台 OpenClaw、騰訊與字節跳動的生態系整合工具，以及華為／小米專為多裝置與智慧家庭控制所設計的硬體原生代理程式。安全警示特別指出隱私風險與多變的計費模式，並呼籲使用者謹慎評估 API 使用成本。
AgiBot 已推出第 10,000 台 Expedition A3 通用機器人，標誌著該公司在具身人工智慧領域從研發階段邁向量產。該公司在 15 個月內將產量提升十倍，顯示其在人形機器人的規模化生產方面取得突破，並成功克服了關鍵的供應與製造瓶頸。
AgiBot 已推出第 10,000 台 Expedition A3 通用機器人，標誌著該公司在具身人工智慧領域從研發階段邁向量產。該公司在 15 個月內將產量提升十倍，顯示其在人形機器人的規模化生產方面取得突破，並成功克服了關鍵的供應與製造瓶頸。
特斯拉終止其用於自動駕駛技術的關鍵Dojo超級電腦項目，負責人彼得·班農離職，團隊被重新分配。特斯拉轉而使用英偉達、AMD和三星的AI晶片，此前與三星達成165億美元的交易。
特斯拉終止其用於自動駕駛技術的關鍵Dojo超級電腦項目，負責人彼得·班農離職，團隊被重新分配。特斯拉轉而使用英偉達、AMD和三星的AI晶片，此前與三星達成165億美元的交易。
