OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。

该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等，但批评其缺乏优雅。

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI