X · @gdb
· X / Twitter
Sol Ultra for solving Erdős problems:
Sol Ultra for solving Erdős problems:Przemek Chojecki | PC: 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