#SAT求解

OpenAI 让模型写出了可能推翻 ETH 的证明，还请了 Impagliazzo 这些大牛来核验，Lean 形式化也做了一部分，看看到底靠不靠谱。