“数学末日”：OpenAI 发布 372 项数学与计算理论重大突破

OpenAI 发布了 372 项数学与理论计算机科学重大成果证明，其中包括独特博弈猜想（UGC）的证明及部分 Lean 形式化证书。该批成果还涵盖 L=BPL、打破 1960 年代壁垒的整数乘法与傅里叶变换以及 O(n^(9/4)) 矩阵乘法等难题。因证明结构奇特且难以直接阅读，学术界正借助 AI 展开解读与验证。