公司技术突破 - OpenAI宣布其人工智能在解决一个存在80年的数学问题——平面单位距离问题上取得突破[1] - 该问题由匈牙利数学家保罗·埃尔德什于1946年提出，核心是探究在平面上放置若干点后，距离相等的点对数量如何随总点数增长[1][2] - 公司表示，其模型通过结合不同数学分支，发现了一系列突破埃尔德什猜想中限制的点集构造方式[2] 突破具体内容 - 近80年来，数学家认为最佳解大致类似于方形网格，但OpenAI模型发现了性能更优的全新构造族，从而推翻了这一信念[3] - 该模型得出的结论是，距离相等的点对数量增长会超过埃尔德什提出的限制，即其增长速度并非仅略快于点数本身[2][3] - 此次突破由通用推理模型完成，该模型将问题分解为更小的步骤，而非专门为数学训练的系统[4] 行业影响与评价 - 数学家蒂姆·高尔斯将这一成果描述为“人工智能数学的一个里程碑”[7] - 萨里大学以人为本人工智能研究所的安德鲁·罗戈伊斯基指出，这表明人工智能正在为人类提供审视问题的新方式，并正成为未来科学研究的根本工具[8] - 人工智能通过坚持探索人类可能认为不值得花时间研究的路径而获得结果[6] 研究过程与验证 - 此次工作已得到包括托马斯·布鲁姆在内的数学家的验证，布鲁姆曾维护埃尔德什问题网站并批评过OpenAI先前的相关声明[5] - 布鲁姆与人合著了一篇与OpenAI博客文章配套的论文，以标注此项埃尔德什成就[6] - 原始由人工智能生成的证明完全有效，但经过OpenAI研究人员及参与当前论文的许多其他数学家的显著改进，人类在讨论、消化、改进证明及探索其影响方面仍扮演着至关重要的角色[7]