2026年5月20日，OpenAI自研的新一代推理模型完成数学界公认的重磅突破，成功反驳匈牙利传奇数学家保罗·Erdős于1946年提出的单位距离猜想，解决了离散几何领域悬而未决近80年的核心开放问题。该成果经顶尖数学家联合验证获得学界广泛认可，标志着AI在原创科研领域跨过重要拐点。
2026年第一季度，全球至少有三支顶级数学家团队还在为单位距离猜想的最优上限验算，团队成员普遍认为距离最终证伪或证实猜想至少还需要十年以上的探索周期，没人预料到首个完整的否定性构造方案会来自人工智能系统。
保罗·Erdős是20世纪最高产的数学家之一，一生累计发表过超过1500篇学术论文，提出的上千个开放猜想覆盖数论、组合数学、离散几何等多个领域。
1946年他提出的单位距离猜想，指向平面任意n个点集里，互相距离为单位1的点对的最大数量上限，过去近80年里人类数学家只能不断小幅抬升已有的构造上限，始终没能找到足够突破边界的点集，也无法从理论层面证明猜想本身不成立。此前AI在数学领域的应用大多停留在辅助验算、检索已有定理的层面，从未完成过推翻知名公开猜想的原创级成果。
和此前数次引发学术圈争议的“AI攻克数学难题”宣称不同，这次OpenAI公开的推导全过程没有任何拼接既有文献结论的痕迹。
该推理模型完全脱离了已有知识库的检索调用，自主基于代数数域构造的数论方法，生成了此前人类数学家从未提出过的新型点集构造方案，这套方案直接证明了平面上存在规模足够大的点集，其单位距离对数显著超出Erdős猜想给出的理论上限，从根本上证伪了这一延续数十年的假设。后续由牛津大学数学家Thomas Bloom牵头的学术验证团队用了72小时逐行核验所有推导步骤，没有找到任何逻辑漏洞，完全符合数学界的严谨性要求。
这次成果的核心价值远不止于解决了一个具体的数学问题，它真正证明了大模型的深度推理能力已经脱离了对人类已有知识库的强依赖，能够自主生成完全原创的、符合顶尖学术标准的抽象推导内容。
过去主流大模型的应用场景大多集中在内容生成、通用服务层面，此次突破将会快速推动推理型大模型的落地场景向基础科研领域渗透，未来数年内有望在数论、理论物理等多个高度依赖抽象创造力的前沿领域，产出更多超出人类预期的研究成果。
滇公网安备 53252802528133号