Greg Brockman· @gdb · X·· 2026-07-14AI 评分26
AI 导读
Sol Ultra 用于解决 Erdős 问题:
正文 · 原文
Sol Ultra for solving Erdős problems:
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.在 X 查看被引用的帖子
来源:Greg Brockman · x.com