数学家评OpenAI模型攻克Erdos单位距离问题 · AI HOT