OpenAI宣布，其内部一款通用推理模型在无人类手把手引导下，针对1946年提出的埃尔德什单位距离问题给出新证明。该问题研究平面上n个点最多可形成多少对距离为1的点。模型采用代数数论方法，包括类域塔和Golod–Shafarevich定理，构造新的点集排列，证明单位距离点对增长速度可超过线性增长。相关成果长约125页，公开后获多位数学家验证。数学家蒂莫西·高尔斯称其为AI数学史上的里程碑。
OpenAI宣布，其内部一款通用推理模型在无人类手把手引导下，针对1946年提出的埃尔德什单位距离问题给出新证明。该问题研究平面上n个点最多可形成多少对距离为1的点。模型采用代数数论方法，包括类域塔和Golod–Shafarevich定理，构造新的点集排列，证明单位距离点对增长速度可超过线性增长。相关成果长约125页，公开后获多位数学家验证。数学家蒂莫西·高尔斯称其为AI数学史上的里程碑。