OpenAI 推理模型突破 80 年数学难题:单位距离问题被推翻 | TechFoco