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 · 认知定律
人类编写的安全基础设施被定位为存在系统性局限，终局被描述为更高安全水平。
对数千万行代码的形式化证明被从“荒谬”调整为可在系统设计中考虑的选项。
个人公开评论与产品角色相关，但未直接等于已实施的公司安全动作。