Scott Aaronson 评 OpenAI 放出 372 项数学结果：数学界的 Mathocalypse

Scott Aaronson 撰文记录 OpenAI 一次性发布 372 项数学结果，其中包括他妻子 Dana Moshkovitz 长期研究的 Unique Games Conjecture（UGC）证明，部分结果附有 Lean 证书，但几乎没有人类读懂这些证明。他列举了 L=BPL、Fourier Transform 与整数乘法突破 O(n log n)、Unitary Synthesis Problem 等结果，并指出 P≠NP、P=BPP 等最大难题仍未被解决。他提到该模型是 OpenAI 最新内部模型，平均每题约用 3 小时 GPT-Pro 级算力，在约 8000 道题中仅解决约 5% 的长期开放问题，是否向付费 ChatGPT 用户发布取决于 OpenAI 安全委员会的建议。