OpenAI 发布 372 项 AI 辅助数学成果，含 Unique Games 猜想证明

OmniTools 10月8日消息，据 Scott Aaronson 博客披露，OpenAI 近日发布 372 项重大数学成果，其中包括对 Subhash Khot 提出的 Unique Games 猜想（UGC）的证明。该猜想长期由复杂性理论家 Dana Moshkovitz 研究，相关证明已附带 Lean 形式化验证证书。

目前这些成果尚未被人类研究者完全消化；Dana Moshkovitz 评价相关论文“写得极差，没有 AI 帮助无法阅读”。

此外，Virginia Williams 与 Josh Alman 借助 Anthropic 模型成功解决了 3SUM 与全点对最短路径（APSP）问题，推翻了相关领域持续约半个世纪的猜想。