AI情报Jul 12, 2026AI情报文章OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等,但批评其缺乏优雅。Data Cube AI 编辑部2026年7月11日来源: The Decoder01来源简报OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等,但批评其缺乏优雅。02相关话题研究与突破人工智能突破OpenAI数学查看本期