AISpot

搜尋

找到 5 筆

Hacker News front page● 精選AI 評分83

亞馬遜用內部 AI 工具 Atlas 預測倉庫工會風險

亞馬遜與加拿大工會 Unifor 的訴訟檔案顯示,亞馬遜用自研 AI 預測工具 Atlas 彙總 Reddit 帖子、內部反饋問卷等數百個資料點,為美國、加拿大和英國的倉庫打出 100 至 900 的工會活動風險分,分數越低代表越可能發生工會化或停工等事件。檔案列出 16 家倉庫處於風險最高的 Tier 1,其中兩家在英國:伯明翰 Sutton Coldfield 的 EMA4 與考文垂附近的 BHX4。

Google AI blogAI 評分42

Google 擴充 AI 與經濟研究團隊,諾獎得主加入

Google 於 2026 年 9 月 18 日宣布擴充其 AI & Economy 研究專案,聘請 2025 年諾貝爾經濟學獎得主 Philippe Aghion 擔任學術顧問,多倫多大學教授 Ajay Agrawal 任訪問學者。同時,前麥肯錫全球研究院合夥人 Anu Madgavkar 與沃頓商學院教授 Daniel Rock 出任專案研究總監,分別負責全球 AI 擴散與勞動力影響、企業生產率與科學發現等實證研究。

The Verge AI● 精選AI 評分81

ChatGPT Chrome 擴充套件升級,可讀取已開啟的標籤頁

ChatGPT 的 Chrome 擴充套件新增能力:在 ChatGPT 網頁版或桌面應用中 @Chrome 後,ChatGPT 可以檢視當前已開啟的瀏覽器標籤頁,用來生成更貼合頁面的回答或代使用者完成任務。OpenAI 稱這相當於把 computer use 能力帶給所有 Chrome 使用者,並演示了讓 ChatGPT 對比三個已開啟標籤頁中在考慮的沙發。此前作為獨立瀏覽器的 ChatGPT Atlas 已經停運。

Hacker News front pageAI 評分71

Anthropic 用 Lean 自動形式化費馬大定理,11 天生成 1300 萬行

數學形式化正從人工轉錄轉為 AI 自動形式化:Anthropic 於 2026 年 9 月 4 日宣布完成費馬大定理的自動形式化,11 天生成 1300 萬行 Lean 程式碼;OpenAI 9 月 8 日公布 Navier-Stokes 強制爆破定理時也附帶了 Lean 形式化。此前 Math Inc. 在 24 維球填充問題上生成約 50 萬行程式碼,Meta 的 ATLAS 專案則自動形式化了 26 本教科書的大部分內容。