OpenAI 数学仓库新增论文，声称反驳 ETH

OpenAI 的 openai/math 仓库新增两篇带 Lean 形式化的论文，其中一篇声称用确定性算法在亚指数时间、多项式空间内精确计数固定宽度 CNF 公式的可满足赋值，3-SAT 情形将反驳 ETH。