FULL STORY

GPT-5.6 Solves Long-Standing Math Problems

GPT-5.6 models have demonstrated exceptional math reasoning by solving decades-old academic problems. Following this, a researcher used GPT-5.6 Sol to solve six Erdős open problems in just five days.

2026-07-15 ~ 2026-07-24 · 2 episodes · 10 posts

Episode 1 · GPT-5.6 Solves Long-Standing Math Problems (2026-07-15, 4 posts)

GPT-5.6 models have demonstrated exceptional math capabilities by solving decades-old open problems in just hours. Verified using Lean, these breakthroughs mark a major milestone for AI in tackling complex mathematical reasoning.

Episode 2 · Researcher Solves 6 Erdős Problems in 5 Days Using GPT-5.6 Sol (2026-07-23, 6 posts)

Researcher Shouqiao Wang, who has a background in mathematics, reported that he used OpenAI's GPT-5.6 Sol model and a Codex workflow to successfully solve 6 open Erdős mathematical problems in just 5 days. The event has attracted widespread attention as strong evidence of advanced mathematical reasoning capabilities in large language models.

Confirmed

According to the original post, Shouqiao Wang has a mathematical background, but he emphasized that the Codex workflow used does not actually require deep mathematical expertise from the user. Out of his total attempts, he solved 6 difficult problems and plans to share more details later. Furthermore, as relayed by Dan Robinson, OpenAI sponsored the user's exploration to observe how the model performs when pushed to its limits.

Why it matters

Erdős problems are notoriously difficult, making the achievement of solving 6 of them in 5 days highly impressive. This not only demonstrates the robust capability of GPT-5.6 Sol in complex mathematical deduction but also suggests that through specific Codex workflows or prompt engineering, even non-top mathematicians might leverage AI to conquer academic challenges. As Dan Robinson pointed out, the true differentiator might simply be prompt engineering and workflow optimization.