@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
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: Sol for complex reasoning and data analysis:
Sol, a new model from GPT-5.6, is a breakthrough in complex reasoning and data analysis, capable of analyzing hundreds of pages of legal documents and generating source-cited reports.
@VraserX: You genuinely can’t overhype this. GPT-5.6 Sol Ultra, which is a publicly available AI just cracked a 50-year-old math …
GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.