@gdb: 用于解决 Erdős 问题的 Sol Ultra：
摘要
GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题（#793），使用了极其简短而优雅的构造，增强了 Erdős 使用的原始方法。
用于解决 Erdős 问题的 Sol Ultra：
查看缓存全文
缓存时间: 2026/07/14 00:07
Sol Ultra 解决了 Erdős 问题：
Przemek Chojecki | PC (@prz_chojecki)： 在此之后不久，GPT-5.6 Sol Ultra 又为我找到了另一个 Erdős 问题的解法。
问题 #793 涉及 2-本原集 (2-primitive set) 的渐近性质。GPT 再次给出了一个极其简短而优雅的构造，它增强了 Erdős 最初用于证明一个较弱结果的方法。
相似文章
又一个50多年未解决的Erdős问题被GPT-5.6攻克
GPT-5.6又解决了一个由数学家Paul Erdős提出的50多年未解决的难题，展示了人工智能在数学推理能力上的重大飞跃。
GPT-5.6 Sol Ultra 生成了循环双覆盖猜想的证明 [pdf]
GPT-5.6 Sol Ultra，OpenAI 的人工智能模型，已经生成了循环双覆盖猜想的证明，这是图论中一个长期存在的问题。
@LiorOnAI: GPT-5.6 Sol 可能通过并行使用64个子代理解决了一个50年未解的数学难题。该系统并未依赖单一的…
据报道，GPT-5.6 Sol 通过并行使用64个子代理解决了一个50年未解的数学难题，若经证实，可能改变研发经济学。
@gdb: Sol 用于复杂推理和数据分析：
Sol是来自GPT-5.6的新模型，在复杂推理和数据分析方面取得了突破性进展，能够分析数百页的法律文件并生成引用来源的报告。
@VraserX: 你实在无法过度吹嘘这个。GPT-5.6 Sol Ultra，这是一个公开可用的AI，刚刚破解了一个50年未解的数学猜想……
GPT-5.6 Sol Ultra，一个公开可用的AI模型，在一小时内破解了一个50年未解的数学猜想，这表明AI可能在未来十年内解决数学问题。