Scott Aaronson 谈 OpenAI 数学证明批量发布后的“数学末日”

OpenAI 一次性发布 372 项数学结果，其中包括 Unique Games Conjecture 证明，部分结果带 Lean 证书，但许多证明尚待人类理解。