\u2018Pure insanity\u2019: Mathematicians will need years to make sense of OpenAI\u2019s latest drop<\/p>\n
Careers upended overnight, academics will have to separate solutions from slop while OpenAI moves on<\/p>\n
Oct 9, 2026, 7:09 PM UTC \u201cStaggering.\u201d \u201cOverwhelming.\u201d \u201cUnprecedented.\u201d \u201cSurreal.\u201d \u201cPure insanity.\u201d<\/p>\n Those were among the descriptions more than three dozen mathematicians reached for in conversations with The Verge<\/em> as they tried to make sense of the flood of mathematical results OpenAI abruptly dropped on the field this week. Amid the awe, excitement, and uncertainty over the sheer scale of the deluge was a deep-seated anxiety over what it all means \u2014 and what comes next. For all their different reactions, researchers agreed that simply understanding what OpenAI had release<\/a>d could take years, let alone figuring out where the mathematicians themselves fit in the field now changing around them. Many feared OpenAI would not wait that long before moving on \u2014 or releasing even more.<\/p>\n In all, OpenAI released nearly 400 AI-generated results. These were spread across more than 700 manuscripts and covered a diverse array of mathematical disciplines, including combinatorics, several branches of geometry, number theory, theoretical computer science, algebra, topology, probability and statistical mechanics, and mathematical physics. The collection is so vast that OpenAI felt the need to publish guidance<\/a> on how to navigate the sprawling GitHub repository.<\/p>\n The sheer volume of work makes even a preliminary assessment as to exactly what the company has released difficult. In the hours and days following the drop, most mathematicians The Verge<\/em> spoke with said they were still struggling to digest everything; several said that simply working through the roughly 40-page table of contents and abstracts took them the better part of an hour. \u201cJust going over the entire list of abstracts is overwhelming,\u201d said \u00c1lvaro Lozano-Robledo, a professor of mathematics at the University of Connecticut.<\/p>\n Sprinkled among the hundreds of manuscripts are formalizations in Lean, a programming language and proof assistant that allows results to be verified computationally. These formalizations have proven instrumental in assessing some of OpenAI\u2019s previous mathematical claims, giving researchers confidence that a claim is logically correct even if they don\u2019t fully understand the argument behind it.<\/p>\n \u201cIf the AIs would disappear now, as though there were aliens that came to Earth and then just left, we would be studying this for the next 10 years, trying to understand everything.\u201d<\/p>\n But the degree to which each result had been verified varied wildly. On GitHub, OpenAI acknowledged<\/a> that the results are \u201cat different stages of verification\u201d and that \u201cmany, but not all, of the manuscripts have been formalized.\u201d As of writing, fewer than half the manuscripts in the collection appear to have been described formally. OpenAI said only 300 top-line results out of 719 manuscripts had been formalized, around 42 percent, and that it \u201cwill update the repository with more formalizations as we obtain them.\u201d<\/p>\n Several mathematicians complained to The Verge<\/em> about the lack of formalization, particularly given the sheer number of results, and stressed that even when Lean code accompanies a result, evaluation isn\u2019t instantaneous. Researchers must check that the formalization actually proves what the result claims, another time-consuming process, and several digging through the papers said that even where computer-verifiable proofs had been provided, the quality was inconsistent and the statements they verified did not always appear to map neatly onto the claims in accompanying manuscripts.<\/p>\n Kevin Buzzard, a mathematics professor at Imperial College London, said he had identified numerous theorems in his area of work \u2014 algebraic number theory \u2014 of which only around six immediately \u201cstood out.\u201d Few, if any, of those appeared to be formally verified in Lean. \u201cHence, I either have to read possibly-not-correct slop, or wait for others to do the same, or wait for someone to formalise them before I can say for sure that the results are even correct.\u201d Buzzard\u2019s concerns were echoed by numerous other researchers.<\/p>\n Buzzard was far from alone in worrying about AI \u201cslop.\u201d The term is a shorthand for low-quality, frequently erroneous AI-generated material that increasingly crops up online \u2014 and in the real world \u2014 including academic papers. As in other fields, mathematicians told The Verge<\/em> they have seen a huge uptick in such material produced with tools like ChatGPT and Claude in recent years. Much of it is confusing, hard to read, and demonstrates little understanding of the subject; it is especially shoddy when it comes to crediting other researchers.<\/p>\n OpenAI\u2019s previous mathematical write-ups werewidelycriticized by experts for their sloppy nature, particularly their poor or nonexistent attribution. In conversations with The Verge ahead of the release, several researchers had taken to calling the impending flood of papers the \u201cslopocalypse,\u201d or similar variations on the theme<\/p>\n Whether the feared \u201cslopocalypse\u201d actually materialized is difficult to say, largely due to the bewildering volume of material released. Early indications suggest OpenAI took more care with papers this time around, or at least with some of them. Several mathematicians told The Verge<\/em> that their first impressions were far better than they had expected, though by their own admission that was hardly a high bar given the company\u2019s previous shoddy publications.<\/p>\n \u201cIt\u2019s a big mess. It can cause a huge collapse in the academic culture and simply kill most of the faculties. It\u2019s a social problem and it seems that the AI labs are completely ignoring this issue.\u201d<\/p>\n But better does not necessarily mean good, let alone up to the standards usually expected of academic work making claims of this magnitude. With formal verification absent for many of OpenAI\u2019s claims, the quality of the accompanying papers becomes particularly important; they are the primary means by which mathematicians can confirm, understand, scrutinize, and contextualize the results<\/p>\n Producing rigorous mathematical papers is difficult work under even the best of circumstances. Doing so at this kind of scale is a formidable undertaking. OpenAI\u2019s models are pumping out mathematics at a dizzying speed and across a broad range of specialities, far outstripping the capacity of its human staff. The company simply does not have the breadth of expertise or resources to properly scrutinize its findings at the cutting edge of mathematics. Researchers told The Verge<\/em> that it shows.<\/p>\n Many described papers that were difficult, sometimes practically impossible, to follow. \u201cThe write-up of the problem I know best made little sense after a quick read,\u201d Brendan Hassett, a mathematics professor at Brown, told The Verge<\/em>. \u201cIf this had been written by a person, I wouldn\u2019t spend any more time trying to understand it. Of course, this leaves 721 other preprints!\u201d (Hassett said this before OpenAI retracted three papers).<\/p>\n Some researchers told The Verge<\/em> several papers they or their colleagues had noticed appeared to cover ground already trod by other mathematicians, though were wary of saying so publicly before they had a chance to properly review the material. Others pointed to the unusual brevity of the work, with results they would ordinarily expect to be developed over hundreds of pages compressed into a few dozen or less.<\/p>\n Nalini Joshi, a mathematics professor at the University of Sydney in Australia, said a quick search through the release revealed little that overlapped with her own work, but noted that some of the papers she examined \u201chave short bibliographies.\u201d Given previous criticism of OpenAI\u2019s crediting practices, she said she is \u201cwary that attribution in the papers may be lacking the complete story.\u201d<\/p>\n But for all the slop and uncertainty, the overarching consensus is that the release contains some genuinely impressive work<\/p>\n While stressing the difficulties assessing the volume of material \u2014 and the need to properly verify the results \u2014 numerous researchers The Verge<\/em> spoke to said the work appeared to be of a very high caliber, despite shortcomings in its presentation. In a pre-AI world, they said, many of OpenAI\u2019s results would clearly have warranted publication in top-tier journals and could have been enough to secure an academic career for their authors. A handful were described as being the kind of work that could make a mathematician a serious contender for a Fields Medal, one of the discipline\u2019s highest honors.<\/p>\n \u201cI either have to read possibly-not-correct slop, or wait for others to do the same, or wait for someone to formalise them before I can say for sure that the results are even correct.\u201d<\/p>\n Stanford mathematician Jared Duker Lichtman said there were \u201ctens\u201d of results he would put in this category, including progress toward the Riemann hypothesis, a special case of the Hodge conjecture, and a solution to the four-dimensional Kakeya conjecture. These are major problems in mathematics. Riemann \u2014 arguably the most notorious unsolved problem<\/a> in the entire discipline \u2014 and Hodge are both among the seven famed Millennium Prize problems<\/a>. Respectively, they are concerned with the distribution of prime numbers and, very roughly, how complex geometric shapes can be understood in terms of simpler building blocks. Kakeya, meanwhile, roughly asks how little space is needed to rotate a needle or pencil<\/a> in every direction. A proof to the three-dimensional version of Kakeya was among the achievements NYU mathematician Hong Wang was awarded<\/a> a Fields Medal for earlier this year.<\/p>\n \u201cIt\u2019s not the case that these are just silly problems that no one\u2019s ever heard of,\u201d mathematician Scott Armstrong said. \u201cMany of them are like very well-known problems that many people have tried for decades.\u201d<\/p>\n As the dust began to settle, mathematicians were left confronting a landscape that had abruptly changed around them. Many of them had just watched years of work and carefully laid research plans evaporate in an instant, or knew colleagues who had. Across the field, whether reactions were laced with excitement, dread, despair, or something in between, there was a profound sense of disorientation<\/p>\n In Scotland, Colva Roney-Dougal, a professor of mathematics at St Andrews University, described a similarly bleak atmosphere among colleagues and students. The deluge felt somewhat \u201chorrific,\u201d she said, but its arrival brought some relief after weeks of uncertainty. \u201cI have a bunch of friends and colleagues whose grant proposals have just been wiped out,\u201d she said<\/p>\n \u201cI have a bunch of friends and colleagues whose grant proposals have just been wiped out.\u201d<\/p>\n Armstrong said he knew of one group whose entire research program was practically \u201cwiped out\u201d by the release. Tristan Buckmaster, an NYU mathematician who was at the center of OpenAI\u2019s earlier dispute over the Navier-Stokes problem, meanwhile, said he had already heard of \u201cthree people who had entire research programs obliterated.\u201d<\/p>\n Similar stories surfaced repeatedly in The Verge<\/em>\u2019s conversations with mathematicians, though the disruption was concentrated heavily in some areas of the field. Francesco Fournier-Facio, a professor of mathematics at Heriot-Watt University in Scotland, said researchers in probability, combinatorics, and theoretical computer science appeared \u201cparticularly in shock,\u201d adding that some regions of his field, group theory, had been \u201cbulldozed.\u201d<\/p>\n Armstrong and other researchers said some areas appeared to have been aimed at with almost military precision. \u201cThere were definitely some targets,\u201d said Armstrong. He singled out work in the area Wang received the Fields Medal for this year, as well as several Millennium Prize problems. A cluster of results in mathematical physics, he said, makes it clear OpenAI is pursuing Yang-Mills theory<\/a> \u2014 the mathematical framework underpinning much of modern particle physics \u2014 and its unresolved \u201cmass gap\u201d problem, one of the seven Prize problems.<\/p>\n Elsewhere, researchers expressed a kind of surprised relief at how little their own work appeared to have been touched. Roney-Dougal said her own corner of the field \u2014 largely centered on group theory \u2014 appeared to have escaped relatively unscathed. She joked that it is fortunate she works in a \u201cvery unfashionable area,\u201d though later messaged to say she was feeling \u201cunsure\u201d after finding her work cited in one of the papers.<\/p>\n Joshi similarly found little overlap with her work, which is largely focused on integrable systems, complex systems that can be solved exactly. She suggested that may be because her field is less driven by long-standing, formally stated conjectures and definitions and more by questions that wax and wane with d\u00e9veloppement<\/a>s in physics<\/p>\n As of October 8th, that record already listed numerous corrections, including revisions on more than a dozen manuscripts and the removal of three papers due to a \u201csign error\u201d it says invalidates an argument<\/p>\n Whether their own work had been directly affected or not, most mathematicians The Verge<\/em> spoke to shared a sense that the field had crossed some kind of threshold and was no longer the same as it had been a day earlier. Constantin Kogler, a researcher at the Institute for Advanced Study, called it \u201cthe most important single moment in the history of mathematics,\u201d while Yang-Hui He, a fellow at the London Institute for Mathematical Sciences, reached back millennia, comparing AI-driven developments this year to the publication of Euclid\u2019s Elements<\/em>, one of the discipline\u2019s most influential works.<\/p>\n Few researchers were quite so grand in their assessments, but there was a general consensus that mathematics was changing fast \u2014 and that mathematicians would have to change with it<\/p>\n OpenAI knew the release would be disruptive and had made some effort to soften the blow and engage with the mathematical community. After several bruising encounters with researchers earlier this year, the company turned to mathematicians themselves for help, working with the newly formed Advisory Group on Mathematics and Artificial Intelligence (AGMAI) on how to release the results responsibly<\/p>\n AGMAI had already laid out<\/a> what it believed responsible engagement would be. AI labs should ideally release papers \u201cthat a human understands\u201d or otherwise provide the necessary \u201csupport for the additional mathematical activities that are needed for humans to be able to understand and assimilate their AI-generated mathematical output and identify possible applications of it.\u201d They said that, where possible, proofs should be formalized, and that companies should make public what models and prompts they used to create them. The group also urged AI labs to stop treating mathematical releases as \u201cmarketing vehicles to promote their models\u201d and should \u201cstop testing advanced mathematical problems on proprietary models\u201d that are inaccessible to the broader scientific community.<\/p>\n \u201cIt\u2019s not the case that these are just silly problems that no one\u2019s ever heard of. Many of them are like very well-known problems that many people have tried for decades.\u201d<\/p>\n OpenAI followed some of the group\u2019s advice. It said it would be funding a series of workshops and conferences around its work in mathematics to help the community process and understand its work, though it provided no details as to what these might look like or when they may occur. The company also disclosed significantly more information than it had in previous releases \u2014 again, researchers said this was a low bar \u2014 including that its model attempted more than 4,000 problems and that a typical result used around three hours of ChatGPT Pro thinking compute. It has also implemented \u201cprotocols for paper revisions and citations\u201d and on GitHub said it \u201cwill preserve the public release history\u201d of the collection. As of October 8th, that record already listed numerous corrections, including revisions on more than a dozen manuscripts and the removal of three papers due to a \u201csign error\u201d it says invalidates an argument. OpenAI did not respond on the record to The Verge<\/em>\u2019s request for more details.<\/p>\n That change addresses a key d of \u201cparanoia\u201d around the company\u2019s published claims. The company has shown a habit of surreptitiously altering press releases and papers in response to criticism without clearly disclosing those changes<\/p>\n But OpenAI did not follow all of the group\u2019s recommendations \u2014 including some of its most consequential. It did not identify the model behind the release nor did it disclose the prompts used or the full set of problems the model attempted. OpenAI also appeared to acknowledge that its formalizations were lacking \u2014 it said it will add more as it obtains them \u2014 and that papers were subpar, saying that \u201cfor future releases, we are committed to further improving the quality of the papers via the citations, mathematical exposition, and presentation of the results for better understanding.\u201d<\/p>\n \u201cThe write-up of the problem I know best made little sense after a quick read.\u201d<\/p>\n Researchers The Verge<\/em> spoke to questioned why OpenAI couldn\u2019t have improved the quality of these papers and expressed disappointment that it seemingly couldn\u2019t be bothered to formalize \u2014 or even check, in the case of the retracted papers \u2014 many of the results ahead of time. Information like the prompts used would have also been incredibly useful in lessening what many felt was the burden of assessing the flood of material the company suddenly dropped on them.<\/p>\n Most importantly, the company indicated it has no plans to stop testing its models on mathematics problems, and indeed suggested it sees doing so as an imperative. \u201cWe want to directly empower scientists with state-of-the-art capabilities and are working to responsibly release the model that produced these results,\u201d it said when announcing its latest results. \u201cThis is why it is important to continue to evaluate our internal frontier models on mathematics and other sciences, so we can accelerate developing the tools to advance those fields.\u201d<\/p>\n After OpenAI offloaded its results, AGMAI described<\/a> the publication as \u201ca first step,\u201d and reiterated calls for equitable access to compute and research tools. More fundamentally, the group argued that \u201cthe future of mathematical research cannot consist only of understanding results produced by AI labs.\u201d<\/p>\n For all the hundreds of long-standing problems OpenAI claims to have solved, mathematicians say there is an extraordinary amount of work to be done. Many estimated that making sense of everything the company just released could take the community years<\/p>\n Armstrong likened the sudden arrival of so much new mathematics to the commotion that might follow a brief extraterrestrial visit. \u201cIf the AIs would disappear now, as though there were aliens that came to Earth and then just left, we would be studying this for the next 10 years, trying to understand everything.\u201d<\/p>\n Much of that will be exciting in its own right. Researchers will have to fill in gaps, extract useful ideas and connections, and place solutions in a broader mathematical context, all things that typically go hand in hand with producing solutions for humans. \u201cFor many of these results, relevant experts care deeply about the solutions and I am confident that they will be able to digest and present them to the wider world,\u201d Lichtman said. Work involving explaining, verifying, and contextualizing results will need to be valued more as AI changes the fields, he argued. \u201cAs a society, we should be rewarding these digestive efforts more.\u201d<\/p>\n There may be plenty of mathematics left for humans to do, too. As far as he could tell, Lichtman said all of the results, \u201camazing\u201d as they are, come \u201cout of existing methods and techniques.\u201d They fill in parts of the known mathematical landscape rather than creating entirely new ones. \u201cIt turns out there is a lot more room to fill in than experts previously knew!\u201d Lozano-Robledo echoed the point: \u201cThey are all using existing techniques in very ingenious ways.\u201d<\/p>\n And the existing map is hardly the limit. \u201cMath research is essentially infinite,\u201d Lozano-Robledo said. \u201cResearch will go on.\u201d The London Institute\u2019s He said he was particularly excited to see what emerges next, speculating that researchers may end up creating new ideas and \u201cmaybe even new fields of math.\u201d<\/p>\n The companies seem ready to move on instantly, long before the community has had any reasonable chance to digest what they\u2019ve produced<\/p>\n Few mathematicians The Verge spoke to objected in principle to AI producing new mathematics. Indeed, many welcomed it and, to varying degrees, said they were enthusiastic users of AI tools themselves. Most of the unease was directed at how the AI companies building those tools were going about entering their field<\/p>\n Looking at the mathematical releases of OpenAI and other AI labs, you\u2019d be forgiven for thinking that research mathematics essentially amounts to checking problems off a list. The manner in which AI labs unveil their results reinforces this idea: a flashy announcement, a preliminary write-up, and the rest tossed to mathematicians to figure out and contextualize. Multiple researchers told The Verge<\/em> that the companies seem ready to move on instantly, long before the community has had any reasonable chance to digest what they\u2019ve produced.<\/p>\n Researchers described that as an impoverished view of how mathematical research actually functions. Solutions certainly matter, but so does everything that happens on the way to finding them: developing ideas, making connections, and finding new questions or opening up other avenues of research. When companies like OpenAI just find answers without doing any of the surrounding work, mathematicians say the burden of doing so falls back on the community.<\/p>\n \u201cIt\u2019s nice to have new results, but this scale is a different level,\u201d said Bartosz Naskr\u0119cki, a mathematician at the Adam Mickiewicz University in Pozna\u0144, Poland. \u201cIt\u2019s a big mess,\u201d he said. \u201cIt can cause a huge collapse in the academic culture and simply kill most of the faculties. It\u2019s a social problem and it seems that the AI labs are completely ignoring this issue.\u201d<\/p>\n It\u2019s not just the mathematics that will take years to understand. Researchers are also struggling to comprehend what the upheaval means for them. Many described a bleak, almost existential mood hanging over the community as mathematicians decipher where they fit in the rapidly changing field. They may not have much time to figure it out<\/p>\n Rumors are already circulating among mathematicians about further releases from OpenAI, which did not respond to The Verge\u2019s questions about whether more are planned<\/p>\n Roney-Dougal said she dreaded another drop \u2014 or the prospect of Anthropic or another AI lab entering the fray<\/p>\n The disruption is hitting PhD students, junior researchers, and others without permanent tenure particularly hard. Open problems like the ones OpenAI\u2019s models are plowing through can underpin dissertations, grant proposals, job applications, and years of planned research, all important building blocks for academic careers. Several researchers described an increasingly pervasive anxiety that the work they are building their careers around could suddenly be next and that the AI models generate few avenues for future inquiry as they close off others. \u201cFor someone at the end of funding or looking for a job now this is incredibly disruptive,\u201d said Simon Machado, a mathematician at ETH Zurich in Switzerland who is joining the French National Centre for Scientific Research (CNRS).<\/p>\n \u201cMath research is essentially infinite. Research will go on.\u201d<\/p>\n Morale may be particularly low because everything feels relentless. OpenAI\u2019s findings have arrived in increasingly large waves, with little pause between them and frequent indications from the company that yet more are on the way. \u201cYou get a sense that they don\u2019t really care about these individual results,\u201d Roney-Dougal said. \u201cIt\u2019s a really nasty feeling.\u201d<\/p>\n Mathematicians barely have time to digest one set of results before the next, bigger set is dropped on them. \u201cThere\u2019s going to be something in two more months that\u2019s going to blow this away,\u201d Armstrong said. \u201cIt\u2019s just, like, repeated strikes by bigger and bigger bombs.\u201d<\/p>\n Armstrong said he considers himself among the mathematicians most enthusiastic and optimistic about AI. He uses the technology in his own work and believes it has great potential. But even he is growing increasingly uneasy. \u201cIt is kind of hard to sleep at night,\u201d he admitted<\/p>\n Asked what he planned to do next, Armstrong was less certain. Still walking through the streets of Paris on his way to get lunch, he said his immediate priority was to finish some work he\u2019d been doing \u2014 sometimes with the help of OpenAI\u2019s Codex \u2014 \u201cbefore OpenAI scoops us.\u201d<\/p>\n Beyond that, even the self-described AI optimist was unsure and questioned what kind of future there was for him in mathematics. He worried particularly about the young researchers in the field. \u201cIt\u2019s going to be a really weird few years in math,\u201d he said<\/p>\n Follow topics and authors<\/strong> from this story to see more like this in your personalized homepage feed and to receive email updates.<\/p>\n \n En rapport:<\/strong> \n Rejoindre Justfine Infotech<\/strong> et d\u00e9velopper de v\u00e9ritables comp\u00e9tences num\u00e9riques en IA, automatisation, d\u00e9veloppement web, marketing digital, bureautique, e-commerce, travail ind\u00e9pendant et cybers\u00e9curit\u00e9.<\/p>\n Programmes disponibles :<\/strong> WhatsApp :<\/strong>
\nImage: The Verge, Getty Images
\nPart Of
\nAll the drama around AI\u2019s takeover of mathematics
\nsee all update<\/a>s
\nis a London-based reporter at The Verge<\/em> covering all things AI and a Senior Tarbell Fellow. Previously, he wrote about health, science and tech for Forbes<\/em>.<\/p>\n
\n
\n Formation en automatisation num\u00e9rique au B\u00e9nin\u00a0: 5 comp\u00e9tences cl\u00e9s recherch\u00e9es par les employeurs en 2026
\n <\/a>\n <\/p>\n
\n Automatisation du marketing WhatsApp en Afrique\u00a0: 6 erreurs dangereuses commises par les marques au Nig\u00e9ria
\n <\/a>\n <\/p>\n<\/div>\nVous souhaitez apprendre cela de mani\u00e8re pratique ?<\/h3>\n
\n Certificat de 6 semaines \u2022 Certificat professionnel de 3 mois \u2022 Dipl\u00f4me de 6 mois \u2022 Dipl\u00f4me professionnel complet<\/p>\n
\n +229 01 57 57 99 15
\n +229 01 66 68 11 60<\/p>\n