OpenAI Codex負責人Tibo稱人類編寫安全基礎設施能力有限
OpenAI Codex負責人Tibo（@thsottiaux）在X發帖稱，可以確信人類在編寫安全基礎設施方面並不擅長。他表示最終狀態將是面向所有人的超安全基礎設施與軟件，但在達到該狀態前會經歷一段動盪。
Tibo隨後發帖稱，對數千萬行代碼進行形式化證明已不再是荒謬之事，在設計新系統時應將其納入考慮範圍。兩帖爲個人公開表述，未附帶具體產品發佈或技術細節。
Tibo在OpenAI負責Codex相關產品工作。帖文討論安全基礎設施的歷史侷限與形式化驗證的可行性，未宣佈OpenAI具體行動或時間表。
原始來源：
標題：I can confidently say that humans were not very good at writing secure infrastructure.
發佈者：Tibo（@thsottiaux）
發佈日期：2026-11-06
URL：https://x.com/thsottiaux/status/2118569235953893573
來源性質：個人公開帖文
覈驗情況：已讀取原帖及緊隨回覆帖
支持內容：人類編寫安全基礎設施能力判斷、超安全終局表述、形式化證明可行性觀點
ABAB AI 解讀
Tibo的表述將人類編寫的安全基礎設施定位爲存在系統性侷限，並預期未來基礎設施將達到更高安全水平。這一判斷與其在OpenAI Codex產品線的角色相關，但帖文本身未披露公司內部具體安全項目或資源調整。
形式化證明帖文指出，對數千萬行代碼進行證明已進入可考慮範圍。這與傳統軟件驗證方法形成對比，但帖文未說明當前已實現的規模、所用工具或應用案例。
從資本與技術路徑看，安全基礎設施長期依賴人工編寫與審計。若形式化驗證成本下降，可能改變系統設計優先級，但目前觀察僅停留在個人公開評論階段。
結構上，兩帖將歷史侷限、終局預期與驗證方法並置。它們爲安全討論提供觀點輸入，但未轉化爲已確認的產品變更或行業標準調整。
ABAB News · 認知定律
人類編寫的安全基礎設施被定位爲存在系統性侷限，終局被描述爲更高安全水平。
對數千萬行代碼的形式化證明被從“荒謬”調整爲可在系統設計中考慮的選項。
個人公開評論與產品角色相關，但未直接等於已實施的公司安全動作。