OpenAI GPT-5.6 Model Delivers Six Solutions to Erdős Math Problems in Five Days
A researcher solved six open Erdős problems in five days using a Codex-style workflow powered by OpenAI GPT-5.6. The process relies on prompt engineering rather than specialized mathematical training, enabling the proofs to be completed without a deep background in the subject.
The initiative was sponsored by AI researcher Dan Robinson to evaluate the model's progress on complex reasoning tasks. The results included a solution to a problem previously examined by mathematician Terence Tao. The linked thread details the complete prompt list and methodology used to complete the proofs.
From the sources (4 posts)
@arjunbljRT @danrobinson: The models are increasingly good at Erdos problems, but some experts like @Qiaoqiao2001 seem to have exceptional skill at…
@danrobinsonThe models are increasingly good at Erdos problems, but some experts like @Qiaoqiao2001 seem to have exceptional skill at prompting We sponsored him to see how far he could go He solved six this week, including one that had been studied b
@qiaoqiao2001I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol. I have a math background, but the Codex workflow I used does not require deep mathematical knowledge. Here’s exactly how I approached it, including my prompts 🧵
@matthuangYou know what's cooler than solving 1 Erdos problem?