Raw capture ā raw/amateur-chatgpt-vibe-maths-erdos.md
url: https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/ date_fetched: 2026-07-05 backfilled: true
Liam Price just cracked a 60-year-old problem that world-class mathematicians have tried and failed to solve. Heās 23 years old and has no advanced mathematics training. What he does have is a ChatGPT Pro subscription, which gives him access to the latest large language models from OpenAI.
Artificial intelligence has recently made headlines for solving a number of āErdÅs problems,ā conjectures left behind by the prolific mathematician Paul ErdÅs. But experts have warned that these problems are an imperfect benchmark of artificial intelligenceās mathematical prowess. They range dramatically in both significance and difficulty, and many AI solutions have turned out to be less original than they appeared.
The new solutionāwhich Price got in response to a single prompt to GPT-5.4 Pro and posted on www.erdosproblems.com, a website devoted to the ErdÅs problems, just over a week agoāis different. The problem it solves has eluded some prominent minds, bestowing it some esteem. And more importantly, the AI seems to have used a totally new method for problems of this kind. Itās too soon to say with certainty, but this LLM-conceived connection may be useful for broader applicationsāsomething hard to find among recently touted AI triumphs in math.
If you're enjoying this article, consider supporting our award-winning journalism by subscribing. By purchasing a subscription you are helping to ensure the future of impactful stories about the discoveries and ideas shaping our world today.
āThis one is a bit different because people did look at it, and the humans that looked at it just collectively made a slight wrong turn at move one,ā says Terence Tao, a mathematician at the University of California, Los Angeles, who has become a prominent scorekeeper for AIās push into his field. āWhatās beginning to emerge is that the problem was maybe easier than expected, and it was like there was some kind of mental block.ā
The question Price solvedāor prompted ChatGPT to solveāconcerns special sets of whole numbers, where no number in the set can be evenly divided by any other. ErdÅs called these āprimitive setsā because of their connection to similarly indivisible prime numbers.
āA number is prime if it has no other divisors, and this is kind of generalizing that definition from an individual number to a collection of numbers,ā says Jared Duker Lichtman, a mathematician at Stanford University. Any set of prime numbers is automatically primitive, because primes have no factors (except themselves and the number one).
ErdÅs also came up with the ErdÅs sum, a āscoreā you can calculate for any primitive set. He showed that the sum had a maximum possible valueāand conjectured that this value must hold only for the set of all prime numbers. Lichtman proved ErdÅs right as part of his doctoral thesis in 2022.
ErdÅs also noticed that the score drops if all of a setās numbers are largeāthe larger the numbers, the less large the score could become. He guessed that as the setās numbers approached infinity, the maximum score would drop to exactly one. Lichtman tried to prove this, too, but got stuck like everyone else before him.
Price wasnāt aware of this history when he entered the problem into ChatGPT on an idle Monday afternoon. āI didnāt know what the problem wasāI was just doing ErdÅs problems as I do sometimes, giving them to the AI and seeing what it can come up with,ā he says. āAnd it came up with what looked like a right solution.ā
He sent it to his occasional collaborator Kevin Barreto, a second-year undergraduate in mathematics at the University of Cambridge. The duo had jump-started the AI-for-ErdÅs craze late last year by prompting a free version of ChatGPT with open problems chosen at random from the ErdÅs problems website. (An AI researcher subsequently gifted them each a ChatGPT Pro subscription to encourage their āvibe mathing.ā)
Reviewing Priceās message, Barreto realized what they had was special, and experts whom he notified quickly took notice.
āThere was kind of a standard sequence of moves that everyone who worked on the problem previously started by doing,ā Tao says. The LLM took an entirely different route, using a formula that was well known in related parts of math, but which no one had thought to apply to this type of question.
āThe raw output of ChatGPTās proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say,ā Lichtman says. But now he and Tao have shortened the proof so that it better distills the LLMās key insight.
More importantly, they already see other potential applications of the AIās cognitive leap. āWe have discovered a new way to think about large numbers and their anatomy,ā Tao says. āItās a nice achievement. I think the jury is still out on the long-term significance.ā
Lichtman is hopeful because ChatGPTās discovery validates a sense heās had since graduate school. āI had the intuition that these problems were kind of clustered together and they had some kind of unifying feel to them,ā he says. āAnd this new method is really confirming that intuition.ā
Editorās Note (4/28/26): This article was edited after posting to correct the description of the ErdÅs sum and to clarify Jared Duker Lichtmanās full name.