OpenAI通用模型打破80年数学共识，首个AI自主数学突破即将发布！
【导语：OpenAI的内部通用模型解决了埃尔德什1946年提出的单位距离经典难题，这是AI自主实现的首个数学突破，打破了人类80年的固有认知，该模型即将发布。】
埃尔德什在1946年提出单位距离问题，即平面上放n个点，最多能有多少对点之间的距离恰好为1。过去近80年，数学家认为最优方案是正方形网格排列，单位距离对数增长速度约为O(n)。而OpenAI的内部通用模型从代数数论入手，构造出全新点排列方式，证明增长速度是超线性的，打破了80年的数学共识。
解决该问题的并非数学专家模型，而是通用模型。它没走几何路线，而是从代数数论绕进来，构造出一族全新的点排列方式，证明了u(n) ≥ n^(1+δ)，其中δ>0。虽然AI给出的构造证明了δ>0，但具体数值还不是最优，人类数学家在其基础上做了优化。
OpenAI未发布AI未精简过的完整思路，但其精简后的内容有125页，模型在第39页阐述了关键观点，并将构造过程描述为“令人恐惧的”，引发数学爱好者对完整思路的期待。
OpenAI在数学上曾翻过车，去年10月，OpenAI副总裁称GPT - 5解了10个埃尔德什问题，结果被数学家拆穿是搜到已有论文，并非原创发现。但此次新成果得到数学家Thomas Bloom的高度评价，称这是人工智能目前在数学领域取得的最亮眼成就。
年初First Proof项目里，OpenAI的一个内部数学模型解决了题集中的5道，当时相关负责人就说该内部模型即将发布；现在又表示一个通用模型会尽快发布，让人期待OpenAI还藏着多少好东西。
编辑观点：OpenAI此次在数学领域的突破意义重大，通用模型展现出强大的逻辑推演能力。尽管曾有过失败，但新成果获认可，未来AI在数学研究中的作用值得关注。