GPT-5.6 Pro Reportedly Solved Five Erdos Problems
During a private web-app test of GPT-5.6 Pro, solutions were obtained for several , with results for problems 730, 671, 948, 346, and 1139 now published. Some of the solutions still need more time for .
The same experimenter previously worked in a two-person team on problem 728, described as the first Erdos problem solved using AI. GPT-5.4 Pro was also used to resolve problem 1196, and its method led to a ed paper with mathematicians including Jared Lichtman and Terence Tao.
Retesting unsolved problems whenever a new OpenAI model arrives has produced answers that earlier models did not find. However, are solved more often than coverage suggests, so each result should not automatically be treated as a major mathematical breakthrough.
Key points
- Solutions were published for 730, 671, 948, 346, and 1139.
- Some solutions still require further .
- Problem 728 was previously described as the first Erdos problem solved using AI.
- GPT-5.4 Pro's method for problem 1196 contributed to a ed paper.
- Previously failed problems were tested again when a newer model became available.