ETH 提出者领衔审稿：指数缩减因子在十亿变量下仍约 0.67

AIFlow_ML · x · 2026-10-27

针对 OpenAI 相关求解器声明（rrwilliams 参与），AIFlowML 给出纸巾数学估算：指数缩减因子 (log log n)/sqrt(log n) 在 1000 个变量时约 0.73，到十亿变量仍约 0.67（未计隐藏常数），意味着理论地图将改变，但实际求解器收益是另一回事，并提议用 Lean 形式化验证。

审稿由 Impagliazzo 与 Paturi（ETH 提出者）加上 Ryan Williams 领衔。其公开信明确声明「我们的参与不应被视为对该声明的认证」，且无 NDA、无报酬、原始数据公开——作者认为这是此类声明的审稿应有的透明范式。