Scott Aaronson 谈 OpenAI 一次性发布 372 项数学结果

Scott Aaronson 在博客中记录，OpenAI 一天内发布了 372 项数学结果，其中包括 Subhash Khot 的 Unique Games Conjecture 证明，部分结果附有 Lean 证书，但几乎没有人类读懂这些证明。