07:24
官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb推荐理由：GPT-5.6 Sol Ultra 又解了一个 Erdős 难题 #793，构造比原方法更短更优雅，数学推理让人眼前一亮。
Sol Ultra
共 3 条相关 AI 资讯
7月14日
07:24
Przemek Chojecki 发推称 GPT-5.6 Sol Ultra 找到了 Erdős 问题 #793 的一个解法。该问题涉及 2-primitive 集的渐近性质。GPT 提出的构造极短且优雅，增强了 Erdős 原本用于证明较弱结果的方法。
7月11日
04:52
04:52官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb推荐理由：Sol Ultra刚发布就搞定了困扰数学界50年的猜想，64个AI一起发力，效率惊人。想看看提示词和证明？直接去翻原文。
7月7日
16:50
16:50
@koltregaskes@koltregaskes
@koltregaskes@koltregaskes推荐理由：GPT-5.6的Sol Ultra马上就能在Codex里用了，写代码推理都会更强，等上线赶紧试试！