
Alpine 3.16 到 3.24 的使用者,今天先把 OpenSSH 更新到 10.6p2,不然別人輸入一串超長密碼,就可能登入你那些本來不該接受密碼的帳號。
素材來源:電腦王阿達 — Alpine Linux 系統出現 *sshole 重大漏洞,只要輸入超長密碼即可登入無密碼帳號 、 OpenAI Blog — GPT-6 Cyber:推進對齊型資安代理技術前沿
回到今天的 AI 日報

素材來源:電腦王阿達 — Alpine Linux 系統出現 *sshole 重大漏洞,只要輸入超長密碼即可登入無密碼帳號 、 OpenAI Blog — GPT-6 Cyber:推進對齊型資安代理技術前沿

素材來源:OpenAI Blog — GPT-6 Cyber:推進對齊型資安代理技術前沿
你現在能直接在瀏覽器中免費使用 bg2x 將圖片放大四倍,無需安裝任何軟體或消耗本地運算資源。Gemini Omni 1.2 Flash 提供更具成本效益的長影片處理能力,而 GPT-6 Cyber 則進一步強化了資安對齊技術。此外,Axiom Math 成功形式化驗證數學巨著,致力於排除 AI 生成內容的干擾。
以下每則都有第一手來源與我們自己撰寫的完整內文,點入即可讀完。

Google 發布 Gemini Omni 1.2 Flash,原生支援 15 秒影片生成與編輯,並強化內容一致性。此版本定價降低 30%,在速度與成本效益上提供更具競爭力的選擇。

GitHub 在 Universe 大會上宣布推出新一代 Git 儲存架構,透過將儲存與運算解耦並最小化協調,成功支援每秒 7,200 次推送與 5,000 個併發代理程式操作。此架構旨在為數億開發者的 AI 代理程式(Agentic)開發提供穩定且低延遲的基礎設施支援。

研究針對多代理語言模型系統中的覆核機制,提出「證據閾值」概念,要求覆核者必須提供機械性有效的違規紀錄與修正方案,才能推翻上游代理的決策。實驗顯示,此機制在保留大部分錯誤修正能力的同時,顯著降低了對正確決策的無謂干擾,為提升多代理系統可靠性提供了新的制度設計思路。
以下只有重點摘要,完整內容請看原始來源。

開發者揭露 OpenSSH 密碼驗證繞過漏洞 *sshole,攻擊者在 Alpine Linux 上輸入特定長度的密碼即可登入本不該接受密碼的帳號。此漏洞源自 musl libc 的 crypt() 錯誤處理與 OpenSSH 舊有修補的副作用交疊,OpenSSH 10.6p2 與 Alpine 3.16 至 3.24 版本已推出修補。

開源工具 bg2x 提供免費的 AI 圖片放大功能,支援在瀏覽器本地運行,內建 10 種針對不同目的的模型,最高可將圖片放大 4 倍。由於處理過程完全在本地進行,圖片與模型不會上傳至伺服器,確保隱私安全且操作簡單。

OpenAI 正式推出專為資安領域設計的 GPT-6 Cyber 模型,該模型具備自動偵測系統漏洞並開發修復方案的能力。其核心特色在於經過特殊訓練,確保在執行任務時嚴格限制在授權範圍內,以符合安全對齊標準。

SpaceXSI 的 Grok Bot 已推出通話功能,能協助用戶處理美國號碼的電話,包括等待、預約和協商帳單。這項更新讓 AI 代理從文字互動延伸至語音溝通,但也要求用戶對代理的每一次通話負法律責任。

針對 AI 大量生成未經查證的數學證明問題,新創公司 Axiom Math 採取形式化驗證(formal verification)技術來確保數學正確性。該公司的 AI 代理程式近期成功完成了 Stacks Project 的形式化驗證,這是該領域規模最大的數學庫之一,展現了其在確保 AI 輔助數學研究可靠性上的潛力。

Agility Robotics 今日正式登陸納斯達克,成為全球首家純人形機器人業務的上市公司。這標誌著人形機器人產業從研發階段邁向公開資本市場的重要里程碑,引發市場對該領域商業化進程的關注。

OpenAI 發布自主管道成果,成功在 Linux 核心中發現、驗證並生成 948 個本地權限提升漏洞的修補程式。這項進展展示了 AI 在自動化解決系統安全問題上的實際能力,為開源核心的安全維護提供了新的技術路徑。

眼鏡品牌 Warby Parker 的官方社群帳號疑似提前洩露了 Google Android XR 智慧眼鏡的上市資訊。根據顯示的內容,這款被稱為「Intelligent Eyewear」的產品預計在約一週後正式推出,這為市場提供了該硬體產品即將問世的具體時間線。
近期 AI 產業呈現基礎設施強化與應用深化並行之勢。GitHub 推出新一代 Git 架構,透過解耦儲存與運算,為數億開發者的 AI 代理程式提供低延遲支援,彰顯底層基建對 Agentic 生態的關鍵支撐。同時,OpenAI 與 Google 分別發布 GPT-6 Cyber 與 Gemini Omni 1.2 Flash,前者聚焦資安對齊與漏洞修復,後者以低成本支援影片生成,顯示大模型正往垂直領域與多模態效率邁進。此外,bg2x 開源工具推動 AI 本地化隱私保護,而 Axiom Math 以形式化驗證確保數學正確性,反映業界對 AI 可靠性與安全性的重視。相對地,Alpine Linux 的 sshole 漏洞提醒開發者需持續關注系統底層安全,確保在快速迭代中不忽視基礎防護。
喜歡這篇?每天早晨還有更多。
訂閱 5min AI,讓 AI 替你追蹤整個 AI 世界。