有趣的发现：一个 OpenAI 模型解决了一个存在 80 年的数学公开问题——平面单位距离问题。 这是 AI 首次自主破解数学领域中的一个重要问题。