![\"New](\"https:\/\/www.newsbeep.com\/uk\/wp-content\/uploads\/2026\/06\/SEI_299038953.jpg\")
<\/p>\n<\/p>\n
I am attempting to solve a mathematical conundrum that has stumped many of humanity\u2019s greatest thinkers. I have zero mathematical training, apart from a distant undergraduate physics degree, which should put my odds of success at slim to none. But I also have a trick up my sleeve \u2013 a kind of mathematical genie that can conjure arcane secrets seemingly out of thin air. I make a short request concerning an esoteric conjecture in number theory, then cross my fingers.<\/p>\n
Perhaps \u201cgenie\u201d is a bit too strong \u2013 I\u2019m simply using GPT 5.5 Pro, the latest iteration of OpenAI\u2019s flagship model. But for mathematicians, modern AI models appear to have a spark of magic. Even in an era of rapid progress, the growth in AI\u2019s mathematical ability is stunning. In just a few months, many prominent mathematicians have walked back previous scepticism and replaced it with sweeping predictions, whispering behind closed doors about job concerns and whether it is even worth embarking on a particular research project if AI might get there first.<\/p>\n
In April, I visited San Francisco, where the future often seems to arrive fastest, to attend a hastily organised meeting between mathematicians and AI researchers. There was an air of excitement and curiosity in the room, but also an undeniable feeling of existential dread. If someone like me could produce mathematics at the press of a button, what would that mean for the professionals? Will we even need human mathematicians? And will the machines crack problems that no human could? The answers may have profound consequences for the millennia-old practice of mathematics, and it feels like mathematicians have only a brief window to prepare.<\/p>\n
\u201cI think AI is going to come in a big way, and it will significantly revolutionise the field,\u201d says Jacob Tsimerman<\/a> at the University of Toronto, Canada, who helped organise the conference.<\/p>\n Opinions on the future are divided. \u201cWe are running out of places to hide,\u201d wrote Jeremy Avigad<\/a> at Carnegie Mellon University in Pennsylvania in a recent essay<\/a>. \u201cWe have to face up to the fact that AI will soon be able to prove theorems better than we can.\u201d<\/p>\n Some mathematicians are welcoming the mechanisation of mathematics. Terence Tao<\/a> at the University of California, Los Angeles, has said the field is moving from an era of \u201cproof scarcity\u201d to one of abundance that could see many once-thorny problems fall to AI. Rather than focusing on being the first person to find a proof, mathematicians might instead race to be the first to understand it, he argues.<\/p>\n Artificial intelligence isn\u2019t terra incognita to mathematicians, but it is only in the past few years that it has started producing useful contributions. At first, these were artisan operations, using individually crafted neural networks to crack particular problems. These bespoke AI models proved difficult to apply across different mathematical disciplines, and remained of interest to only a tiny fraction of working mathematicians.<\/p>\n Even when ChatGPT launched in 2022, mathematicians remained unimpressed \u2013 large language models like GPT-3.5, which powered the first version of OpenAI\u2019s chatbot, struggled to perform even basic arithmetic and spouted confident nonsense when asked to solve research-level mathematical problems. But as LLMs scaled up and were trained on increasing amounts of mathematical data, they began to yield results.<\/p>\n One of the first signals that AI was becoming more adept came when AI models were tasked with attempting the International Mathematical Olympiad (IMO), an elite test for high-school students consisting of just six questions of devilish difficulty. The mathematical intuition and range of disciplines required to succeed at the test meant many researchers saw it as a benchmark for mathematical AI, but thought it would take years, possibly a decade, for it to score highly.<\/p>\n They were wrong. In July 2024, Google DeepMind announced that its AlphaProof AI system could solve four out of six questions from that year\u2019s IMO, enough for a silver-level performance<\/a>. This was impressive, but AlphaProof wasn\u2019t a strict large language model and had been fine-tuned for IMO-style questions, such as geometry, and it was unclear how much further it might go. But just a year later, Google and OpenAI announced they had achieved a gold-level performance<\/a>, with OpenAI in particular using a less maths-focused model. The results made mathematicians sit up. \u201cPeople\u2019s eyes really opened,\u201d says Ravi Vakil<\/a> at Stanford University in California.<\/p>\n Problem solving<\/p>\n It wasn\u2019t long before these capabilities were made available to the public, where they quickly found use beyond high-school competitions and began encroaching on research-level mathematics. Thomas Bloom<\/a> at the University of Manchester, UK, first noticed the impact of these newer models in the last months of 2025. He runs a website that tracks progress on a set of more than a thousand problems posed by the famous mathematician Paul Erd\u0151s<\/a>. They tend to be simple to state, but range in complexity from relatively straightforward to very difficult, and many of them are seen as signposts for mathematical progress.<\/p>\n Bloom started getting comments on the site from people he didn\u2019t recognise. At first, they were just using GPT-5, then recently released, to dig out obscure references in the literature that might help with a particular problem. But in a matter of months, the release of more powerful models like GPT 5.2 Pro saw people posting full-blown solutions with AI assistance, some of which were verified by Bloom and his colleagues as correct. These solutions took \u201cnon-trivial effort\u201d, Bloom told me at the time. \u201cIt\u2019s incredible that AI is capable of that.\u201d<\/p>\n What\u2019s more, some of these solutions weren\u2019t coming from professional mathematicians, but amateurs and novices. Kevin Barreto, who is in his second year of an undergraduate mathematics degree at the University of Cambridge, has solved numerous Erd\u0151s problems using AI, frequently with his collaborator Liam Price, who has no maths degree or formal training.<\/p>\n Inspired by their success, I wanted to try autonomous mathematics for myself. While these tools can, in theory, be used by anyone, Barreto and Price seem to have a magic touch in prodding the genie to produce useful answers, so I asked for help. The trick isn\u2019t just asking the model to produce a proof, Barreto tells me, but bizarrely giving it a certain level of support, like \u201ctry your best\u201d or \u201cdon\u2019t give up\u201d. \u201cYou try to encourage the model,\u201d he says. \u201cYou try to hint it into believing the problem is of an easier difficulty than it actually is.\u201d<\/p>\n Even so, success wasn\u2019t guaranteed. Solving certain problems has often taken Barreto numerous attempts, if he succeeds at all. \u201cCoaxing the correct proof strategy out of it is essentially like trying to play the lottery,\u201d he says.<\/p>\n Still, I wanted to try my hand and spin the wheel in the mathematical proof casino. I chose an unsolved Erd\u0151s problem, number 710<\/a>, which concerns a list of requirements that must be satisfied by a set of numbers, with the goal being to find a set with the smallest difference between the lowest and highest numbers. It is a bit like having a list of picky hotel guests, who insist on having a room with a bath or a sea view, for instance, and needing to find the shortest block of rooms that will satisfy them all.<\/p>\n Mathematician Paul Erd\u0151s (left) posed hundreds of problems that AI is getting better and better at solving<\/p>\n New York Daily News Archive\/NY Daily News via Getty Images<\/p>\n<\/p>\n Mindful that I needed to use the most powerful AI model available, I asked OpenAI for access to ChatGPT 5.5 Pro, which normally costs $200 a month but was provided for free for this article. Like Barreto suggested, my prompt for the AI hints that the solution is within reach and that \u201cit just takes a few clever tricks\u201d.<\/p>\n As I left the AI crunching away, I turned to consider the most recent developments in this mathematical revolution. If solving Erd\u0151s problems is AI creeping up on the door of research-level mathematics, the past few months have seen it kicked down. A steady stream of mathematical papers are claiming to solve real, cutting-edge problems.<\/p>\n In January, Vakil and his colleagues uploaded one such paper<\/a>, noting that \u201cthe proof of this result was obtained in conjunction with Google Gemini and related tools\u201d. The proof focuses on a particularly thorny problem concerning how certain sphere-like shapes can be linked to other mathematical objects called flag spaces, which can be thought of as collections of nesting-doll-like objects. This would provide an important link between topology, which concerns the more general properties of shapes, and algebraic geometry, which deals with the precise shapes themselves. The task is made difficult by the multitude of ways in which the flag spaces and sphere-like shapes can correspond.<\/p>\n Vakil and his colleagues first gave a simpler version of what they wanted to prove to a custom AI model from Google DeepMind. The model found a mathematical structure they hadn\u2019t previously seen, making it clear to them how to generalise and write the entire argument, which turned out to be simpler than it initially seemed.<\/p>\n Human and machine<\/p>\n \u201cThere\u2019s no way the AI could do it by itself because it wouldn\u2019t know the [correct] question. We absolutely told it what to do,\u201d says Vakil. At the same time, the AI provided a shortcut. \u201cThe paper might never have happened because we might never have had the time to get together and figure out the argument,\u201d he says. \u201cIt\u2019s more how things will happen. The future will be some combination of human and machine.\u201d<\/p>\n This line is already becoming increasingly blurry, however. The very same month as Vakil\u2019s paper, Tony Feng<\/a> at the University of California, Berkeley, who also works with Google DeepMind, published a paper<\/a> detailing how he had used Google\u2019s Aletheia AI to calculate a previously unknown collection of numbers that are vital for translating between two disparate mathematical disciplines, algebraic geometry and number theory. Building such bridges is an important goal in the Langlands programme, often seen as a grand unified theory of mathematics. According to Feng, the \u201ccore mathematical content\u201d was generated entirely by Aletheia.<\/p>\n The biggest result yet in AI mathematics came just a few weeks ago in May, when OpenAI announced that it had used an unreleased model to solve an 80-year-old maths conjecture called the planar unit distance problem<\/a>. The firm didn\u2019t provide full details of the model, other than to say it was a general-purpose AI, rather than one trained specifically to do mathematics. The reaction among mathematicians has been one of stunned disbelief.<\/p>\n It is becoming difficult to keep track of the torrent of mathematical research assisted by AI, not least for professional mathematicians, who are themselves busily attempting problems using AI that they may not have previously had time to do.<\/p>\n \u201cIt opens up a world of possibility,\u201d says Alex Kontorovich<\/a> at Rutgers University in New Jersey. \u201cI can imagine projects I could undertake this summer, things that I know would have taken me five years that I would never have even started.\u201d<\/p>\n Could those new possibilities even include a solution for the Riemann hypothesis, a deep question about the origin of prime numbers that is one of the Millennium Prize Problems<\/a>, which are often seen as the greatest challenges in maths? Several mathematicians working for AI companies told me they thought we might see one of these problems fall in the next several years, while others cautioned that they are in a wildly different class of difficulty from those problems that had been solved so far.<\/p>\n If we are entering an era of AI-led mathematics, what role will human mathematicians play?<\/p>\n Thomas T\/Unsplash<\/p>\n<\/p>\n The San Francisco conference I attended in April was an attempt to map these possible futures. It took place in a nondescript building owned by a venture capital firm, the only clue that it existed an unmarked pink door and a video doorbell. As I waited for the door to open, I was joined by a former maths professor who now works for a hedge fund, stepping out from a driverless car. Once inside, I found eminent mathematicians like Vakil and Kontorovich mingling with employees from companies like OpenAI and Google.<\/p>\n The ostensible goal of the meeting was to come up with a way to track AI\u2019s mathematical progress and where it might be headed. Attendees had their own personal priorities, however. \u201cMy hope was to understand a little bit more about where the models are and where they\u2019re going in terms of mathematical capability,\u201d says Daniel Litt<\/a>, another conference organiser, also at the University of Toronto. \u201cIt\u2019s clear that the models are, in some sense, missing some capabilities that mathematicians have.\u201d<\/p>\n In the past, the most common way to test an AI model\u2019s mathematical ability was to run it on a benchmark, a collection of problems that typically require simple and easy-to-verify solutions, like a single number. This was convenient for AI companies, because they could present their models\u2019 progress as a clean, rising line on a graph. But many mathematical tasks aren\u2019t so neat and tidy, requiring proofs that need interpretation by an expert.<\/p>\n What\u2019s more, prowess in one area of maths doesn\u2019t imply a human-like mathematical ability in general, says Melanie Wood<\/a> at Harvard University. \u201cOne big mistake that people make when they think about AI and math is to take the correlation of these skills in humans and think that it\u2019s going to match some correlation in AI.\u201d<\/p>\n A button-pushing future<\/p>\n Mathematicians at the conference worked in small groups to come up with a better way to track AI\u2019s mathematical ability and finished the week with a working draft. But boiling down all the things a working mathematician does into a short document wasn\u2019t easy, and there was still disagreement over the best way forward.<\/p>\n A large part of the conference consisted of free-flowing group discussions primarily between the mathematicians, hashing out the details of what an AI-led mathematics might look like. Would it be of humans and machines working in lockstep, like Vakil thought, or would it be more like a slot machine, pressing a button that sometimes produced an interesting result in full?<\/p>\n For Tsimerman, who grew up taking part in maths competitions like the IMO, the latter didn\u2019t have much appeal. \u201cMy experience of math is the act of solving problems, and if I don\u2019t do that anymore, I think I might prefer playing music or doing theatre or learning something else,\u201d he says.<\/p>\n At one point in a group discussion, Tsimerman asked people in the room to indicate whether, in his button-pushing vision of the future, they would want to continue being mathematicians. Only around half raised their hand.<\/p>\n Not everyone agreed that this was a useful exercise, however, or that solving problems was the most important mathematical activity. \u201cWhat I actually care about is understanding things and figuring out what\u2019s true,\u201d says Litt. \u201cOne can do that by posing and proving a conjecture, but you can also do that by going over to your friend and asking them a question.\u201d<\/p>\n And even if these tools can solve difficult and thorny problems, many mathematicians remained adamant that it was only humans that could decide what was interesting to work on or what the important problems to tackle should be. Maths isn\u2019t about solving puzzles just for the sake of it, points out Wood, and mathematicians generally look for solutions that push the field forward. \u201cDoes it suggest a way to solve a lot of other problems, or is it only a solution for that particular problem?\u201d she says.<\/p>\n On the conference\u2019s third day, excited murmurs rippled among the attendees. Overnight, it appeared that another Erd\u0151s problem had been cracked, one that was qualitatively different from the others. Jared Lichtman<\/a> at Stanford University, who happened to be at the conference, had spent a considerable portion of his PhD wrestling with a closely related problem, after many mathematicians had spent decades trying to solve it. \u201cIt was a problem I was already independently very passionate about,\u201d he says.<\/p>\n Price had elicited a solution to the problem, known as Erd\u0151s 1196, from a single request to ChatGPT 5.5 Pro. It concerns \u201cprimitive\u201d sets of numbers that are similar to prime numbers, in that no number in the set can divide another. Erd\u0151s had come up with a number calculated from these sets that helped order them, and argued that the largest this number could be for any primitive set was 1.6. Lichtman had proved that Erd\u0151s was correct in this case, but wanted to do the same for a more restricted family of primitive sets. Erd\u0151s suspected the highest value this number could be was 1, but proving it remained a tougher nut to crack.<\/p>\n The AI took an entirely different approach, using a mathematical tool that all previous attempts had missed, called a Von Mangoldt function. \u201cYou can use the Von Mangoldt function to circumvent a lot of technical difficulties that all these previous approaches had used,\u201d says Lichtman. Working with others, including Price, Barreto and Tao, he later adapted this technique to solve a related 60-year-old conjecture by Erd\u0151s. \u201cThis is perhaps one of the first examples of an AI-generated proof having downstream impacts, which we are still exploring,\u201d Lichtman said when posting about the work on social media<\/a>.<\/p>\n Meanwhile, I was finally ready to explore my own AI-generated proof. After \u201cthinking\u201d for 22 minutes and 18 seconds, ChatGPT pinged me with a response. \u201cHere is the clean proof,\u201d it wrote, followed by dozens of lines of impenetrable mathematics. I felt a jolt of excitement. Had I solved a decades-old problem, cementing my name in the mathematical history books?<\/p>\n I fed the answer back into ChatGPT, and soon received confirmation: \u201cYes \u2014 the main argument is correct.\u201d I was growing even more confident. I dashed off an email to Barreto, asking whether I might be on to something. But as quickly as my excitement had arrived, it vanished. \u201cIt doesn\u2019t look like it solves the problem,\u201d he replied. I had missed that the AI had actually proven something different from the formula Erd\u0151s had hoped for, which had already been discovered by Erd\u0151s himself years ago.<\/p>\n It was something that an expert mathematician might have quickly caught, but for me it was lost in the noise. Perhaps there is a future for mathematicians after all, even if only to help humans understand what an AI produces. \u201cI still want to know what\u2019s going on,\u201d says Litt.\u00a0 \u201cA model can\u2019t understand something for you.\u201d<\/p>\n Topics:<\/p>\n artificial intelligence<\/a>\/ChatGPT<\/a> <\/p>\n","protected":false},"excerpt":{"rendered":"I am attempting to solve a mathematical conundrum that has stumped many of humanity\u2019s greatest thinkers. I have…\n","protected":false},"author":2,"featured_media":615829,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[20],"tags":[554,733,4308,1921,86,56,54,55],"class_list":["post-615828","post","type-post","status-publish","format-standard","has-post-thumbnail","category-artificial-intelligence","tag-ai","tag-artificial-intelligence","tag-artificialintelligence","tag-chatgpt","tag-technology","tag-uk","tag-united-kingdom","tag-unitedkingdom"],"_links":{"self":[{"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/posts\/615828","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/comments?post=615828"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/posts\/615828\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/media\/615829"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/media?parent=615828"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/categories?post=615828"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/uk\/wp-json\/wp\/v2\/tags?post=615828"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}![\"Left](\"https:\/\/www.newsbeep.com\/uk\/wp-content\/uploads\/2026\/06\/SEI_298998963.jpg\")
<\/p>\n![\"Blackboard](\"https:\/\/www.newsbeep.com\/uk\/wp-content\/uploads\/2026\/06\/SEI_298998935.jpg\")
<\/p>\n