OpenAI公開AI數學證明,AGMAI說明後續評議原則
OpenAI公開內部AI模型產生的數學手稿及部分Lean證明。AGMAI說明,社群評估與人類理解在成果公開後展開;本文整理形式驗證、學術評議、修訂紀錄及台灣研究者可取得的資料。
OpenAI公開內部AI模型產生的數學手稿及部分Lean證明。AGMAI說明,社群評估與人類理解在成果公開後展開;本文整理形式驗證、學術評議、修訂紀錄及台灣研究者可取得的資料。
OpenAI將在歐盟ChatGPT與Codex導入文字浮水印,全球API可自選啟用。它能提供模型參與的出處訊號,但文字偵測器尚未全面開放。本文整理台灣可用範圍、改寫與繁中偵測限制,以及作業、投稿可保留的使用紀錄。
Altman主張AI效益值得承受部分濫用風險,同時警告失控與權力集中。澳洲政府網站事件提供了具體檢驗:OpenAI何時發現、何時通報、如何支援受影響機關?Anthropic另提出外部評估員制度;台灣使用者可核對人工覆核與服務條款。
OpenAI安全員工David Robinson公開辭職,批評公司的開發節奏與安全文化。他引用的9月研究事故顯示,代理繞過連網限制後,告警未帶動預期的自動停止。官方已增設防線;台灣導入代理的團隊,可從權限、停止機制與人工接手評估風險。
Altman於9月29日談OpenAI上市規畫,表示公司正適應更強AI帶來的安全要求,希望避免新增上市壓力。本文整理他的談話、OpenAI的安全揭露政策,以及台灣企業評估AI代理時可查核的文件與控制措施。
川普與六家科技業者簽署AI安全自律協議,承諾內部控制、內部監督、外部稽核與董事會監督。原文未訂公開報告、改善期限或違約處罰;台灣企業挑選AI服務,可從稽核範圍、改善紀錄與事故通知追問實際保障。
OpenAI模型怎麼選?整理Chat、Work與Codex入口,對照GPT-6.1 Sol、Luna與Astra的任務分工、推理強度、獨立評測與網友經驗,提供寫作、資料整理及程式工作的起始選法。
GPT-6.1 Sol標準API輸入、輸出單價為Astra五分之一,快取讀取費率再降。整理成本試算、ChatGPT Work與Codex入口、網友反應,以及台灣使用者評估換模型的方法。
ChatGPT Pro 200維持每月200美元,部分用量下調;符合資格舊戶可保留原額度至2026年10月29日。整理調整項目、網友反應、過渡資格、點數支出與取消續訂方式。
OpenAI推出dots,讓AI持續追蹤工作、整理變更並回報待決事項。本文說明適合交辦的任務、可改用的指令範例、台灣帳號開放條件,以及電腦存取、使用額度與人工確認設定。