美国CS教授 Scott Aaronson 发文《数学末日》：OpenAI 一次性发布 722 篇数学难题证明引数学家集体抵制

OpenAI 一次性发布 722 篇重大数学难题证明，得克萨斯大学奥斯汀分校教授 Scott Aaronson 称之为"数学末日"。这些证明由即将向付费用户推出的内部模型（GPT-Pro 级别）生成，平均每个顶级难题仅耗约 3 小时算力，涵盖 UGC 猜想、L=BPL 去随机化、O(n^(9/4)) 矩阵乘法等成果，但唯独没有密码学。