@gdb: Sol Ultra for solving Erdős problems:
Summary
GPT-5.6 Sol Ultra has solved another Erdős problem (#793) with an extremely short and elegant construction, enhancing the original method used by Erdős.
View Cached Full Text
Cached at: 07/14/26, 12:07 AM
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.
Similar Articles
@gdb: GPT-5.6 Sol for resolving 100+ year old conjectures. Wild that this level of intelligence can be accessed by and is ava…
GPT-5.6 Sol reportedly found a counterexample to the Maxwell conjecture, a 100+ year old problem, with human mathematicians communicating the result.
Another 50+ year-old Erdős problem falls to GPT-5.6
GPT-5.6 has solved another 50+ year-old unsolved problem posed by mathematician Paul Erdős, showcasing a major leap in AI's mathematical reasoning capabilities.
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra, an AI model from OpenAI, has produced a proof of the Cycle Double Cover Conjecture, a long-standing problem in graph theory.
@LiorOnAI: GPT-5.6 Sol may have solved a 50-year-old math problem using 64 subagents in parallel. The system did not rely on one l…
GPT-5.6 Sol reportedly solved a 50-year-old math problem by using 64 subagents in parallel, potentially changing R&D economics if verified.
@gdb: something special is happening with Sol:
InvincibleHunter claims GPT-5.6 Sol is the most impressive model ever, with huge improvements in mathematics and vision capabilities, surpassing other models.