combinatorial-geometry

OpenAI推理模型成功构造反例，证伪存在80年的埃尔德什单位距离猜想，展现了通用模型解决开放数学问题的能力。