精选理由
GPT-5.6 Sol Ultra 又解了一个 Erdős 难题 #793,构造比原方法更短更优雅,数学推理让人眼前一亮。
Przemek Chojecki 发推称 GPT-5.6 Sol Ultra 找到了 Erdős 问题 #793 的一个解法。该问题涉及 2-primitive 集的渐近性质。GPT 提出的构造极短且优雅,增强了 Erdős 原本用于证明较弱结果的方法。
原文 · Greg Brockman
Sol Ultra for solving Erdős problems:
Sol Ultra for solving Erdős problems: Przemek Chojecki | PC @prz_chojecki GPT-5.6 Sol Ultra found me a solution to another Erdos problem not long after this one. Problem #793 asks about asymptotic of a 2-primitive set. GPT again came up with an extremely short and elegant construction that enhances original Erdos method used to prove a weaker result. 🔗 View Quoted Tweet 💬 19 🔄 4 ❤️ 154 👀 16067 📊 22 ⚡