Scott Aaronson 谈 OpenAI 一次发布 372 项数学结果并证明唯一博弈猜想
“数学末日”
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Scott Aaronson 撰文评述 OpenAI 发布 372 项重大数学结果，其中包括在 Gowers、Witten 等数学家顾问组建议下给出的 Subhash Khot 唯一博弈猜想（UGC）证明，部分附 Lean certificate，尚无人读懂这些证明。
推荐理由
作者本人是复杂性理论家，妻子深受 UGC 影响，这层第一手视角让对 OpenAI 372 项数学结果的反思不同于普通转述。
来源：scottaaronson.blog（经 Hacker News） · scottaaronson.blog