标签
Thomas Bloom 撰写了一篇综述博文，介绍了近期关于 Erdős 单位距离猜想和实数域上和积猜想的反例，包括借助 OpenAI 辅助推翻单位距离猜想的工作，以及通过合作推翻和积猜想的工作，并概述了相关构造方法及其背后的直觉。
本周（5月18-24日）顶级AI论文综述，涵盖关于代理的code-as-harness调查、OpenAI自主解决单位距离猜想，以及一种无需遗忘的持续学习记忆模型。
OpenAI 的一个内部模型推翻了 Erdős 的单位距离猜想，解决了一个著名的数学难题，展示了 AI 在高水平研究中做出贡献的潜力。
OpenAI推理模型成功构造反例，证伪存在80年的埃尔德什单位距离猜想，展现了通用模型解决开放数学问题的能力。