人工智能破解80年数学难题，科学家惊叹不已

本文报道了OpenAI公司利用其内部实验性通用推理AI模型，仅通过一个开放式提问（而非明确指令），成功解决了自1946年提出的经典几何问题——‘单位距离问题’。该问题由著名数学家保罗·埃尔德什提出：在平面上如何安排大量点，才能使尽可能多的点对之间恰好保持同一固定距离（如1个单位）？埃尔德什构造了基于网格的点集，并证明其能产生‘略快于线性增长’的同距点对数量，进而猜想这已是理论最优。OpenAI的AI模型运用代数数论方法，选取满足特定方程解的坐标点，构造出更优的点集配置，从而严格证伪了埃尔德什猜想。整个推理过程形成一条125页的完整逻辑链，由AI自主生成，未经人工干预。该结果已获多位不隶属OpenAI的国际知名数学家（如多伦多大学Daniel Litt、佐治亚理工学院Tom Trotter等）独立复现与验证。专家普遍认为，这是人工智能首次在基础数学领域完全自主产出具有原创性、严谨性和重要科学意义的突破性成果，标志着AI从辅助工具迈向独立科研伙伴的关键一步。