跳到正文
Greg Brockman· @gdb · X·· 2026-07-14AI 评分26
AI 导读

Sol Ultra 用于解决 Erdős 问题:

正文 · 原文

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.
在 X 查看被引用的帖子

来源:Greg Brockman · x.com