RecodeX 重构消息，OpenAI于10月26日宣布，其系统得出了反驳指数时间假说（ETH）的结果，并用Lean对形式化证明进行了验证。OpenAI表示，结果的意义与适用范围将由外部专家小组审查，同时将组建由计算机科学家组成的协作小组对结果进行验证和解释。

Anthropic也在公开仓库中发布了由Claude撰写的论文及相关形式化材料，仓库内容涉及计数满足条件的算法以及ETH相关的形式化项目。