erdős

OpenAI声称其通用推理模型发现了Erdős平面单位距离问题中一个猜想上界的反例，并生成了一个经数学家审阅的证明。