Scott Aaronson 谈 Mathocalypse：OpenAI 放出 372 项数学结果之后

得州大学奥斯汀分校理论计算机科学家 Scott Aaronson 记录，OpenAI 在前一天放出 372 项重大数学结果，其中包括他妻子 Dana Moshkovitz 长期研究的 Unique Games Conjecture 证明，部分结果附有 Lean 证书，但几乎没有人类读懂这些证明。