OpenAI模型推翻离散几何核心猜想
OpenAI的一个模型成功解决了困扰数学界80年的单位距离问题，推翻了离散几何中的一个重要猜想，标志着人工智能在数学研究领域的里程碑。
近日，OpenAI的研究团队宣布其开发的人工智能模型成功解决了数学领域一个悬而未决80年的难题——单位距离问题，并由此推翻了一个离散几何中的核心猜想。这一成果被视为人工智能驱动数学研究的里程碑事件。
单位距离问题最早于1946年由数学家Paul Erdős提出，核心是探讨在平面中，n个点之间最多能有多少对点恰好相距单位距离。Erdős本人给出了一个上界和下界，但下界的具体数值一直未能确定。离散几何中的相关猜想认为，该数目存在一个多项式上界，而OpenAI的模型通过构建反例证明这个上界猜想是错误的。
OpenAI模型运用了强化学习和符号推理相结合的方法，在数千台计算机上进行分布式计算。模型不仅生成了大量点集配置，还自主发现了其中隐藏的模式，最终构造出具有极高单位距离对数量的点集，超出猜想所允许的范围。团队经过严格验证，确认该反例成立。
这一突破的意义不仅在于解决了一个具体问题，更展示了人工智能在探索数学前沿的巨大潜力。数学界对AI的数学能力看法不一，但这次成功表明，当问题具有明确的结构性特征时，AI可以成为数学家的有力工具。OpenAI表示，将继续优化模型，并计划将其应用于其他数学难题。