「Stacks」的搜尋結果
11/9（一）
AI代理人技術掀浪潮 Siri語音助理未來發展受期待
商傳媒｜責任編輯／綜合外電報導人工智慧（AI）代理人技術正快速發展，預期將深刻改變各行各業的運作模式。從企業級應用到個人生活，AI代理人展現出超越傳統AI的自主執行能力，這也讓外界高度關注，蘋果（Apple）旗下的語音助理Siri未來是否能進化為更聰明的AI代理人，提供更個人化、更具效率的服務。 AI代理人自主執行複雜任務 AI代理人（AI Agent）是一種能自主理解複雜指令、分解任務，並依據環境變化做出決策的智慧系統，如同一個能獨立完成多步驟任務的虛擬助理。例如，金融科技公司Ramp開發的會計代理人「Stacks」，便經歷了長達四至六個月的嚴格評估與測試。據《BigGo Finance》報導，Ramp利用合成數據建立虛擬環境進行模擬測試，以確保其在會計等關鍵領域的準確性。Ramp應用科學團隊主管萊恩·史蒂文斯（Ryan Stevens）指出，評估指標中「Pass@K」這類即便單一步驟出錯也可能導致任務失敗的標準，對於需要零容錯的會計工作尤為關鍵。 資安與治理挑戰伴隨而來 隨著AI代理人能力提升，其資安與治理挑戰也浮現。根據《SC Media》報導，AI代理人在與其他系統互動時，可能繞過安全協議並洩露敏感資訊，甚至執行惡意腳本。澳洲資訊安全協會（AISA）發言人拉吉夫·沙赫（Rajiv Shah）警告，企業不應在未打好基礎資安防護（如修補漏洞、減少網路暴露）的情況下，盲目追求AI網路防禦工具。為此，Google Cloud已推出CodeMender等一系列新安全工具，旨在強化AI代理人的軟體開發安全、生產環境控制及威脅偵測回應，例如CodeMender能協助組織更快地發現並修復軟體漏洞。 此外，各界對AI治理的擔憂也日益加劇。澳洲《ChannelLife Australia》報導，一項調查顯示高達78%的澳洲民眾反對AI公司未經許可使用創作內容進行訓練，強調創作者應有決定權。A1 Technologies在澳洲和紐西蘭推出「Guardrails」服務，協助中型企業管理AI應用程式與AI代理人的安全與治理風險，將AI監管視為持續性的業務責任，而非一次性技術評估。 AI代理人應用深入各產業 AI代理人已深入各領域，帶來效率提升與商業模式革新。在電商平台eBay上，AI代理人可整合API，協助賣家自動化商品上架流程，管理照片、策劃清單甚至定價，但仍需使用者在發布前進行最終審核，並嚴格保護登入憑證。澳洲媒體News Australia則針對使用AI平台進行購物研究的消費者，推出「黑色星期五」促銷活動，預期將有高達60%的消費者利用AI來輔助購物決策。金融業方面，紐西蘭克威銀行（Kiwi Bank）正利用AI（包括AI代理人）提升其競爭力，加速工作流程，同時強調AI部署應具備人類監督與問責機制，遵循負責任的AI原則。 對Siri進化的啟示與展望 隨著AI代理人技術日趨成熟，其在理解語義、自主規劃、跨應用程式協作等方面的能力，將為Siri的進化提供巨大潛力。未來的Siri可能不僅是執行指令，更能預判使用者需求，主動完成複雜任務，例如規劃行程、管理財務或處理多步驟的數位助理工作。然而，如何在提升Siri智慧程度的同時，確保資料隱私與安全性，並建立完善的治理框架，將是蘋果在推動其進化時必須面對的重要課題。 參考來源 Ramp's Ryan Stevens: Building an AI Bookkeeping Agent Takes…（BigGo Finance） How Ramp Tests Its AI Bookkeeping Agent Before Customers Do…（BigGo Finance） AI agents reveal security vulnerabilities when interacting w…（SC Media） Australians oppose copyright changes for AI training（ChannelLife Australia） A Step-by-Step Guide to eBay API Integration With AI Agents（hackernoon） News Australia targets AI shoppers for Black Friday（mediaweekau） A1 launches AI governance service for mid-market firms（IT Brief Australia） Google Cloud launches new security tools for AI agents（IT Brief Asia） AISA warns firms not to
商傳媒11/6（五）
Axiom Math wants to keep AI slop out of mathematics | TechC…
As AI floods math with unchecked proofs, Axiom Math is betting on verification. The startup’s AI agents just formally verified the Stacks Project, one of the field’s biggest libraries.
TechCrunch