2026-11-06 AI 日報

回到今天的 AI 日報

Alpine 3.16 到 3.24 的使用者,今天先把 OpenSSH 更新到 10.6p2,不然別人輸入一串超長密碼,就可能登入你那些本來不該接受密碼的帳號。
阿凱主編觀點

Alpine 3.16 到 3.24 的使用者,今天先把 OpenSSH 更新到 10.6p2,不然別人輸入一串超長密碼,就可能登入你那些本來不該接受密碼的帳號。

這個漏洞叫 *sshole,是 OpenSSH 的密碼驗證繞過問題。電腦王阿達整理的說法是:攻擊者在 Alpine Linux 上輸入特定長度的密碼,就能登入沒有密碼的帳號。Alpine 3.16 至 3.24 版本已經推出修補,OpenSSH 本身也在 10.6p2 修掉了。 反直覺的地方是成因。這不是某個人寫了一行明顯的爛程式碼。根據報導,問題出在兩件事交疊:musl libc 的 crypt() 在錯誤處理上的行為,加上 OpenSSH 過去某次修補留下的副作用。兩邊單獨看,各自都有自己的理由。 比喻的話,像一間房有兩道門閂,各自裝得都沒問題,但兩道同時鎖上的時候,剛好會把鑰匙孔卡死,讓人從旁邊的縫鑽進去。你拿其中任何一道去做 code review,都會得到「看起來沒事」。 所以「我們有定期審核 OpenSSH」這句話,擋不住這種洞。審核 OpenSSH 的人看的是 OpenSSH,維護 musl 的人看的是 musl,而漏洞住在兩者的接縫上。Alpine 又是容器映像常用的基底,這個接縫會被包進很多人沒仔細看過的環境裡。 同一天,OpenAI 發表了專為資安設計的 GPT-6 Cyber,主打能自動偵測系統漏洞並開發修復方案,而且經過訓練,執行任務時會限制在授權範圍內。這類工具要對付的,就包括 *sshole 這種跨元件的組合型問題。以上純屬我的推測:素材沒說 GPT-6 Cyber 能不能抓到這種洞,而它能不能抓,會比跑分更能看出這個產品有沒有料。 如果你的服務跑在 Alpine 上,現在去查 sshd 版本比看完這篇更要緊。 接下來資安團隊要比的,大概會是誰看得懂兩個元件之間的縫,而不是誰把單一元件看得最熟。

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

MIT 的 AI 模型每次問答只收 25 美分,科學家開始算帳了
塵子塵子觀點

MIT 的 AI 模型每次問答只收 25 美分,科學家開始算帳了

MIT 剛發布 Hydrogen 1.0,專攻 3D 分子模擬和前沿科學研究。在基準測試裡,它贏過 GPT-4o 和 Astra Max 這些閉源大廠,最嚇人的是單次問題成本低得驚人。 這大概是一杯便利商店咖啡的零頭。過去科學家用超級電腦跑一次分子模擬,電費可能要幾千美元,還得等上數週。現在花一杯飲料錢,就能拿到一個經過驗證的答案。 便宜的重點不在省錢,而在試錯成本。以前實驗失敗一次,材料和時間全都白燒。現在 AI 能在虛擬空間跑幾萬次模擬,每次只要幾毛錢,科學家自然敢丟出更瘋狂的假設,反正賠不了多少。 有趣的是,MIT 把它定位成高 CP 值,理由是它只為科學打造,不像通用大模型什麼都懂一點、什麼都不精。你不會找萬事通來開心臟手術,你要的是心臟外科醫師。Hydrogen 1.0 就是那位只懂分子生物學的專家,而且不領薪水。 當多跑一次實驗的成本趨近於零,AI 驅動的科學突破恐怕會變多。原因不是 AI 變聰明了,而是它便宜到可以犯錯、重來、重複,直到撞出答案。 對一般人來說,藥物開發可能更快,新材料也更容易被發現。對科學家來說,工作會從「做實驗」變成「問對問題」。工具人人用得起之後,差別就只剩你拿它做什麼。 只是,當每個人都能輕易拿到科學答案,我們準備好面對這些答案帶來的後果了嗎?

素材來源:OpenAI Blog — GPT-6 Cyber:推進對齊型資安代理技術前沿

產品速報2026-11-06

bg2x 開源 AI 圖片放大工具:瀏覽器本地運行,隱私安全且內建多種模型

今天介紹一款對設計師、攝影師以及所有需要處理高解析度圖片的用戶都非常實用的開源工具:bg2x。這是一個免費的 AI 圖片放大工具,它的最大賣點在於完全在瀏覽器本地運行,不需要將圖片上傳到伺服器,從而確保了資料的隱私安全。對於重視資料保密性的專業人士來說,這是一個非常吸引人的特性。 先說最重要的功能:本地化運行與隱私保護。bg2x 的核心技術架構允許使用者直接在網頁瀏覽器中執行圖片放大演算法。這意味著你的原始圖片、處理後的結果,甚至是使用的 AI 模型,都不需要離開你的電腦。在雲端服務日益普及的今天,許多圖片放大工具都需要將圖片上傳至遠端伺服器進行處理,這對於處理敏感商業文件、未公開的產品設計圖或個人隱私照片來說,存在潛在的風險。bg2x 透過本地運算,徹底消除了這種擔憂,讓使用者可以安心地處理任何類型的圖片,而不必擔心資料外洩或被第三方濫用。...

你現在能直接在瀏覽器中免費使用 bg2x 將圖片放大四倍,無需安裝任何軟體或消耗本地運算資源。Gemini Omni 1.2 Flash 提供更具成本效益的長影片處理能力,而 GPT-6 Cyber 則進一步強化了資安對齊技術。此外,Axiom Math 成功形式化驗證數學巨著,致力於排除 AI 生成內容的干擾。

今日完整報導

以下每則都有第一手來源與我們自己撰寫的完整內文,點入即可讀完。

Gemini Omni 1.2 Flash:快速且具成本效益,支援更長影片片段
完整報導

Gemini Omni 1.2 Flash:快速且具成本效益,支援更長影片片段

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

GeminiGoogle影片生成
Google AI Blog
GitHub 全新 Git 儲存架構解析
完整報導

GitHub 全新 Git 儲存架構解析

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

GitHubGit 儲存架構Agentic 開發
GitHub Blog
證據閾值機制:LLM 多代理系統中覆核權限的實證研究
完整報導

證據閾值機制:LLM 多代理系統中覆核權限的實證研究

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

多代理系統LLM覆核機制
arXiv cs.AI

今日速報

以下只有重點摘要,完整內容請看原始來源。

Alpine Linux 系統出現 *sshole 重大漏洞,只要輸入超長密碼即可登入無密碼帳號

Alpine Linux 系統出現 *sshole 重大漏洞,只要輸入超長密碼即可登入無密碼帳號

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

Alpine LinuxOpenSSH安全漏洞
電腦王阿達
bg2x 免費 AI 圖片放大開源工具,直接在瀏覽器運行!內建 10 種模型,最高放大 4 倍

bg2x 免費 AI 圖片放大開源工具,直接在瀏覽器運行!內建 10 種模型,最高放大 4 倍

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

bg2xAI 圖片放大開源工具
電腦王阿達
GPT-6 Cyber:推進對齊型資安代理技術前沿

GPT-6 Cyber:推進對齊型資安代理技術前沿

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

OpenAIGPT-6 Cyber資安
OpenAI Blog
AI 代理現在可以幫你打電話

AI 代理現在可以幫你打電話

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

AI 代理SpaceXSIGrok Bot
The Rundown AI
Axiom Math 致力排除 AI 生成內容,成功形式化驗證數學巨著 Stacks Project

Axiom Math 致力排除 AI 生成內容,成功形式化驗證數學巨著 Stacks Project

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

Axiom Math形式化驗證Stacks Project
TechCrunch AI
Agility 成為首家登陸納斯達克的人形機器人純種公司,值得投資嗎?

Agility 成為首家登陸納斯達克的人形機器人純種公司,值得投資嗎?

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

Agility人形機器人納斯達克
TechCrunch AI
OpenAI 發布自主管道成果,成功在 Linux 核心中發...

OpenAI 發布自主管道成果,成功在 Linux 核心中發...

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

OpenAILinux安全漏洞
OpenAI Blog
Warby Parker 疑似洩露 Google Android XR 智慧眼鏡上市時程

Warby Parker 疑似洩露 Google Android XR 智慧眼鏡上市時程

眼鏡品牌 Warby Parker 的官方社群帳號疑似提前洩露了 Google Android XR 智慧眼鏡的上市資訊。根據顯示的內容,這款被稱為「Intelligent Eyewear」的產品預計在約一週後正式推出,這為市場提供了該硬體產品即將問世的具體時間線。

GoogleAndroid XR智慧眼鏡
Engadget

今日洞察

近期 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 世界。