I solved 6 open Erdős problems in 5 days
Summary
The author claims to have solved six open problems posed by the mathematician Paul Erdős within a span of five days.
Similar Articles
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
Researchers used 20 parallel Codex accounts to solve 20 Erdős problems, including a formal proof of Erdős problem #123 in number theory using Lean.
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.
@gdb: Sol Ultra for solving Erdős problems:
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.
Erdos problem solver experienced sleepless nights over math internal OpenAI model has solved
A post on X criticizes academia for underestimating AI advancements, pointing to OpenAI's model solving Erdős problems as evidence of major progress.
Math is solved? Sometimes I wonder what 2027 will look like
OpenAI has trained a model in just 24 days that solved over 100 long-standing mathematical open problems, indicating significant progress in AI-driven mathematical research.