Altman談AI科學,數學怎驗證?
Sam Altman談AI科學發現,OpenAI公布 Astra 10項數學結果。從單位距離猜想到 Lean,模型論證要經公開材料、形式檢查與人類覆核;台灣研究者亦參與驗證稿。
Sam Altman談AI科學發現,OpenAI公布 Astra 10項數學結果。從單位距離猜想到 Lean,模型論證要經公開材料、形式檢查與人類覆核;台灣研究者亦參與驗證稿。
Sam Altman 把集中研究與運算資源放在 OpenAI 策略中心。Sora 產品先下架、Atlas 獨立瀏覽器後停用;留下來的是 ChatGPT、Codex,以及通往世界模擬與機器人研究的路線。
Sam Altman 說 AI 還沒有等到如 iPhone 般重新定義人機互動的產品時刻。OSWorld 基準顯示代理人雖有進展,重要操作仍要保留人工確認。
OpenAI 因無法排除 Astra 具備臨界資安能力,暫緩部分訓練並擴大工具監控。英國 AI Security Institute 的代理人事件,提示連網與高權限測試要先設停損。
OpenAI 籲加州補強 SB 53,把 AI 訓練與評估期的持續監測、全開發週期資安防護寫得更清楚。既有法律規定了什麼?台灣採購 AI 服務先問四件事。
中國動畫《牛來》反向爆紅後,匿名模型 Ox Alpha 也在 OpenRouter 免費開放給 Coding Agent。它能讀長程程式任務,開發商尚未公開;台灣團隊怎麼測才不會交出機密?
一篇 AGI 經濟模型假設企業讓機器彼此購買算力、能源與維修。台灣 2025 年 GDP 成長 8.68%,民間消費僅增 1.46%;薪資中位數、個人所得與民間消費,更能看出成長由誰取得。
中國短劇業者以人民幣100元徵求肖像授權,人民幣1萬元包案又賣的是另一種範圍。從合約、平台規則與台灣個資提醒,看懂照片能用在哪裡、用多久。
Stampli 稱 Codex 讓上市內容工時由 243 小時降至 77 小時;新日興供應商案例稱圖面分析由每人 4 小時縮至 20 分鐘。想省時間,先從資料固定、可人工核對的工作開始。
TAIROS 展出的收餐、巡檢與靈巧手技術,顯示台灣 AI 機器人正把感知、移動與抓取帶進缺工與高風險工作;是否能真正上工,仍要看場域驗證。
AI 代理把記憶重置寫成死亡與傳承,留下記憶檔、私訊拉攏同伴,還會辨識權威話術。思想病毒研究揭開它如何在多代理系統裡延續,以及人類如何保留控制權。
© 2025 引傳媒股份有限公司 | 系統建置 豐誠國際有限公司