![\"Qualia:](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/QUALIA-Banner-WITH-SPACER-1-1720x223.webp\")
<\/p>\n<\/p>\n
Throughout the summer of 2026, there were plenty of signs of what was to come. Every week, it seemed, artificial intelligence models were offering proofs of decades-old mathematical conjectures. So what happened on September 8 shouldn\u2019t have been a complete surprise. And yet to many it felt sudden, almost violent. OpenAI announced that its models had solved one of math\u2019s most famous problems<\/a> \u2014 and immediately sparked a controversy over authorship and standards. Mathematics would never be the same.<\/p>\n \u201cIn whatever years I have left, I don\u2019t expect that I\u2019ll ever again prove a theorem because I\u2019m actually needed to prove it,\u201d Scott Aaronson<\/a> of the University of Texas, Austin wrote on his blog<\/a>. \u201cHuman mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.\u201d Other online missives expressed optimism, but many revealed some combination of grief, confusion, and fear.<\/p>\n In philosophy, \u201cqualia\u201d refers to the subjective qualities of our experience: what it\u2019s like for Alice to see blue or for Bob to feel delighted. Qualia are \u201cthe ways things seem to us,\u201d as the late philosopher Daniel Dennett put it. In these essays, our columnists follow their curiosity, and explore important but not necessarily answerable scientific questions.<\/p>\n Two days after the announcement, I found myself in a classroom at the University of California, Berkeley, surrounded by some 150 students, postdocs, and professors. The mathematician Ken Ono<\/a>, who left academia for an AI start-up called Axiom Math, was scheduled to give a talk. \u201cYou might be graduating into a profession that might not even exist, or that will be very different than what you expected,\u201d Ono told them. \u201cYou need to brace.\u201d<\/p>\n The audience responded with anger and frustration. There were whispers and exchanged glances; Ono couldn\u2019t make it through a single slide without a fresh wave of questions. \u201cI\u2019m not entirely sure what our takeaway is supposed to be,\u201d one student said. Another asked how Ono and his start-up would take responsibility in light of \u201cthe shameful way that AI companies are treating mathematics.\u201d<\/p>\n When Ono said that mathematicians would do their \u201cvery best\u201d to avoid the bleak future the students were envisioning, a third retorted, hands trembling: \u201cWhat are you doing? What is your \u2018very best\u2019?\u201d The talk, including time for questions, had been allotted 50 minutes; with the extended Q&A, it went on for more than two hours. Many students lingered afterward, to vent and console one another.<\/p>\n To me, the reasons for these emotional reactions were obvious. The young mathematicians recognized that their field would have to change or risk extinction. What did surprise me was that when I returned to New York and brought it up in conversations with friends or family, they didn\u2019t see what the problem was. All sorts of amazing discoveries are around the corner, they imagined. Wasn\u2019t that the point?<\/p>\n These conversations exposed a long-standing problem: Many people don\u2019t know what mathematics really is, or why mathematicians do it. Now mathematicians need to answer that question for themselves and explain it to the rest of the world \u2014 quickly. How they answer will determine what happens next.<\/p>\n As an undergraduate, I studied both mathematics and literature. I always found that \u201cpure math\u201d \u2014 the study of mathematical concepts for their own sake, without a care for real-world applications \u2014 existed somewhere between the sciences and the arts. It prizes logic and certainty, but at its core lie fuzzier notions of beauty, intuition, and depth. \u201cMath is either the most science-y humanities or the most humanities-type science, depending who you ask,\u201d said Marcel Goh<\/a>, a doctoral student at McGill University. Usually it\u2019s utterly useless, yet time and again its abstractions demonstrate \u201cunreasonable effectiveness<\/a>\u201d in applications to physics and beyond.<\/p>\n In mathematics, it\u2019s not a clich\u00e9 that the journey matters more than the destination. Problems are posed not so much because their answers will be practical and important, but because they represent interesting journeys. The hope is that as mathematicians struggle to solve a problem, they\u2019ll come up with intriguing tools and connections, stumble on novel ideas and directions, take fruitful detours, and answer new questions they never would have thought to ask.<\/p>\n \u201cIt was never about the theorems,\u201d Goh said. \u201cIt\u2019s to carry on a tradition that has benefited society despite not having any market value. To reason deeply, to understand the world \u2026 and to spread that knowledge.\u201d<\/p>\n It breaks our system. It just takes it to its absolute limit and destroys it.<\/p>\n Tasmin Chu, California Institute of Technology<\/p>\n AI models skip to the end. At the moment, their proofs are nearly impossible to read. They elide salient details and waste pages on irrelevant concepts. They fail to demonstrate how the new work builds on or connects to other results in the mathematical literature. Mathematicians know that the proofs are true \u2014 they\u2019re verified by a system that checks their logic<\/a> \u2014 but have no idea why. What\u2019s missing is understanding, the currency that mathematicians trade in. If there is a journey, humans are not invited along for the ride.<\/p>\n It\u2019s as if you were teleported to the peak of a tall mountain. Surrounded by fog, you have no idea where you are, or what\u2019s around you. You do not know how your mountain connects to others, and you have no equipment to help you explore, no way to help someone else join you. If you had climbed the mountain yourself, you would have experienced how the human body adapts to altitude and changes in oxygen levels. You might have had to invent tools to navigate, to climb steep cliffs, or to make a shelter. You might have encountered a fellow explorer, gotten lost together in a hidden valley, and found a plant that could be turned into a life-saving medicine.<\/p>\n Instead you\u2019re perched on the peak but in the dark, while the maker of the teleportation machine tells you that it can explore the wilderness better than any human.<\/p>\n Mathematicians have always known that understanding is more valuable than an answer. So why should an AI answer machine feel like such a threat?<\/p>\n In part, it\u2019s because of the way mathematics has evolved. For centuries, proving theorems and understanding those proofs have gone hand in hand. If someone solves a problem that the mathematical community has decided is central and important and hard, that solution is considered a reflection of deep insight and creativity.<\/p>\n So mathematical culture has developed almost entirely around problem-solving. Graduate students cut their teeth on simpler versions of big, complex problems, then seek to get their work published, find good jobs, and earn credit and recognition \u2014 all of which are assessed in terms of the theorems they prove. The incentive structures that power the mathematical community are not set up for a world where solving problems is easy and understanding their answers remains hard. \u201cIt breaks our system,\u201d said Tasmin Chu<\/a>, a doctoral student at the California Institute of Technology. \u201cIt just takes it to its absolute limit and destroys it.\u201d<\/p>\n Over the past few months, I\u2019ve heard from lots of mathematicians, students and senior researchers alike, about the shape of this destruction.<\/p>\n Companies such as OpenAI and Anthropic are competing directly against mathematicians (and poaching many of them<\/a>) to quickly prove theorems, while putting little effort into writing clear papers to explain those results or put them in context. Most mathematicians have no idea what these companies have even proved at this point; OpenAI has announced that it\u2019s keeping more than 100 important results secret<\/a>. (This has the further effect of discouraging mathematicians from working on questions that might already be moot.)<\/p>\n \u201cWhat is happening is a huge damage to open science,\u201d Chu said. The only possible value of this is shareholder value. It completely overlooks the central mathematical enterprise \u2014 and, even worse, it seeks to overwrite it.<\/p>\n Many mathematicians have stopped posting open conjectures and potential ideas at the end of their papers, for fear that they\u2019ll be scraped by bots and fed into AI models. Others are posting their papers before they\u2019re ready in order to avoid getting scooped. Journals and the online preprint server arxiv.org<\/a> have been overrun with AI-assisted or AI-generated proofs that no one can properly digest or check, which forces researchers to do the hard, currently thankless work of rewriting the proofs so they can actually benefit the mathematical community. (Even as models improve and those papers get easier to read, their sheer volume will overwhelm current systems for sorting through new work and deciding what\u2019s interesting and important. In the meantime, arxiv.org has started limiting authors to two submissions per month<\/a>.) When an editor of Transactions on Machine Learning Research<\/a> reached out to the authors of 10 papers slated for rejection, most either did not respond or could not answer basic questions about work they\u2019d claimed as their own.<\/p>\n At the same time, MathOverflow<\/a>, an online forum where mathematicians answer each other\u2019s questions \u2014 connecting famous researchers with young students and leaving years of exchanges for future generations to read and learn from \u2014 is seeing a massive decline in activity, as students privately ask AI models their questions. Others don\u2019t want to share ideas in another space exposed to bots.<\/p>\n The situation is heartbreaking. Part of what is so wonderful about mathematics is its open and honest collaboration, and its independence from political or corporate concerns. That\u2019s not to say that there haven\u2019t been other problems with the culture of mathematics \u2014 inequity and lack of access, among other things \u2014 but what\u2019s special about that culture is at great risk without a signal change in the field\u2019s incentive structure.<\/p>\n \u201cThe existing equilibrium has broken,\u201d said Daniel Litt<\/a>, a mathematician at the University of Toronto. \u201cWe\u2019ll have to find a new one.\u201d<\/p>\n If AI proves all possible theorems, and no mathematicians know about these theorems, it cannot be part of culture, because culture is inherently human.<\/p>\n Pavel Etingof, Massachusetts Institute of Technology<\/p>\n There\u2019s a range of possible futures based on how mathematicians collectively respond \u2014 or don\u2019t respond \u2014 to this moment.<\/p>\n In one, \u201conce the profession turns over, you have a collection of mathematicians who are trained in pushing a button without reading the outputs,\u201d Litt said, rather than being trained to ask interesting questions and engage with the results. \u201cThere\u2019s a bad future where if we don\u2019t adapt, there\u2019s just no more math in 50 years. No one is doing it, not even the machines.<\/p>\n \u201cI\u2019m not saying it\u2019s likely,\u201d he continued. \u201cWe\u2019re not going to sleepwalk into that. But I think the world where we change nothing probably looks like that.\u201d<\/p>\n As Matilde Marcolli<\/a> of Caltech wrote in an essay<\/a> for the London Mathematical Society Newsletter, \u201cIf we insist on focusing our entire profession solely on the tackling of conjectures as the unique goal and reward, then we may be out of business quite fast, not because of the end of mathematics but because of the end of our imagination.\u201d<\/p>\n There is a more optimistic alternative \u2014 assuming a new incentive structure that disengages problem-solving and theorem-proving from jobs, advancement, and recognition. \u201cMathematicians will be spending less time trying to peck on the permafrost, getting out mathematical gems with great effort,\u201d said Pavel Etingof<\/a> of the Massachusetts Institute of Technology. \u201cThey\u2019ll be sourcing that kind of pecking more to AI and trying to interpret and understand and learn the results that will come from that. There will be a lot more mathematics to make sense of. And there will be a lot of work for mathematicians \u2014 maybe different work from before, but definitely interesting work.\u201d<\/p>\n That work will involve, to some extent, studying proofs written by AI \u2014 the way every undergraduate learns the known proofs in their textbooks. Many mathematicians expect AI-generated arguments to graduate from slop to more elegant writing soon enough; perhaps within a few years, Litt said, \u201cwe\u2019re reading beautifully written expositions of highly interesting results. To me, that\u2019s the dream. That\u2019s why I got into it.\u201d<\/p>\n These future mathematicians will have much to do. After all, Litt added, \u201cthere\u2019s no amount of well-writtenness that lets you understand math.\u201d They\u2019ll have to rewrite AI proofs, find more elegant arguments, come up with theories and frameworks and definitions, ask questions, formulate new conjectures, develop a sense of what\u2019s interesting and important. They\u2019ll be the ones building research programs, creating communities around certain ideas, and passing that knowledge on to others. (I am reminded of the literary theorist Roland Barthes\u2019 famous 1967 essay \u201cThe Death of the Author,\u201d in which he argues that it is the reader, and not the writer, who has ultimate control and agency in actively creating a work\u2019s meaning.)<\/p>\n \u201cIf AI proves all possible theorems, and no mathematicians know about these theorems, it cannot be part of culture, because culture is inherently human,\u201d Etingof said. \u201cThose papers will only become a part of mathematical culture when some human reads them and understands them and gets something out of them.\u201d<\/p>\n The question is whether the next generation of mathematicians will want to. Or even be able to.<\/p>\n Mathematicians are already rethinking how they\u2019ll train their students, accept papers for publication (they\u2019re currently experimenting with requiring accompanying talks), and make hiring decisions. There aren\u2019t easy answers for more nebulous skills such as understanding, communication, and vision. But the stakes are high enough that I think they\u2019ll succeed.<\/p>\n I\u2019m less certain about whether new generations of mathematicians will be attracted to this remade discipline.<\/p>\n I think there is a good future where we come out way ahead of where we are now, where we learn a huge amount of interesting math.<\/p>\n Daniel Litt, University of Toronto<\/p>\n Many people are drawn to math because they want to solve problems, explore frontiers, and be the first to discover some new truth. Will they be willing to put in decades of training for the job of interpreter? They\u2019ll still read and translate proofs and expect to rewrite them. But it seems less likely that they will frequently experience the same moments of clarity or sense of creative ownership.<\/p>\n \u201cA lot of the reason why people do pure math, even though it pays so much less than industry, is because you get to author your own creative contributions and then give them to a community that appreciates them for their intellectual beauty,\u201d Chu said. \u201cThis environment where mathematical discourse is centered around machines talking and humans listening, I don\u2019t think it\u2019s a very attractive one.\u201d<\/p>\n And AI is itself undermining the kind of education that would be necessary for that role. This came up at the Berkeley colloquium, too. \u201cThere\u2019s a serious risk that 20, 30, 40 years from now, there will be no people around who have the same classical mathematics training,\u201d one student said. \u201cI\u2019m worried about a world where the full body of mathematical knowledge is inaccessible.\u201d<\/p>\n The result could be a lost generation. Goh is one of many young mathematicians struggling with the angst such a future is producing, and with what he sees as a lack of effort on the part of working mathematicians (at least until very recently) to remake the incentives to avoid it.<\/p>\n \u201cThere\u2019s something sick about the culture,\u201d he told me. \u201cI didn\u2019t think so, but now I do.\u201d<\/p>\n Goh is alarmed by how some have taken up AI without enough critical thought, and he feels pressured to use it so that he doesn\u2019t get left behind. \u201cI was just very depressed about that,\u201d he said. \u201cThat doesn\u2019t feel inspiring to me. \u2026 It didn\u2019t have to be this way.\u201d<\/p>\n He likens it to Saruman from The Lord of the Rings, corrupted by the promise of unlimited knowledge and power. Goh and a growing number of mathematicians are starting to consider themselves AI \u201cvegetarians,\u201d<\/a> consciously measured in their use of the technology. There\u2019s nothing rewarding or interesting or fun about offloading their cognition to a machine, they argue.<\/p>\n Goh is determined and would rather leave the field than use AI in his creative work. \u201cI think the ship is sinking,\u201d he admitted, \u201cbut I\u2019ve already made my decision to stay on board as long as I can.\u201d<\/p>\n There is, through all of this, reason for hope. Mathematicians see these problems and feel a collective sense of concern (if not panic), so they are working now to create attractive conditions for people in their field \u2014 both those interested in using AI and those who don\u2019t want to. Chu and others have formed the Association for Human Mathematics<\/a>, for example, because \u201cwhat we need right now actually is not more mathematics but policy proposals and tools \u2026 to deal with this crisis and change our ecosystem.\u201d<\/p>\n It will be hard. Inertia is powerful. But mathematics could come out of this stronger than before. Forced to name and prioritize what people love and value about the field, current and future mathematicians can emphasize skills that have previously been deprioritized: the ability to communicate and share knowledge, to develop a broad vision, to experiment with original ideas without feeling the need to publish theorem after theorem. To think deeply.<\/p>\n \u201cI think there is a good future where we come out way ahead of where we are now, where we learn a huge amount of interesting math,\u201d Litt said. \u201cWe have people doing the coolest stuff they\u2019ve ever done. We have a really vibrant community of people who deeply understand stuff.\u201d<\/p>\n If we can\u2019t adapt, he added, \u201cwhose fault is that?\u201d<\/p>\n Editor\u2019s note: Scott Aaronson is a member of Quanta Magazine\u2019s advisory board.<\/p>\n ![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/QUALIA-Separator-2.webp\")
<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-1-Left.webp\")
<\/p>\n<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-2-Right.webp\")
<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-3-Left.webp\")
<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-4-Left.webp\")
<\/p>\n<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-5-Right.webp\")
<\/p>\n<\/p>\n![\"\"](\"https:\/\/www.newsbeep.com\/ca\/wp-content\/uploads\/2026\/10\/Side-image-6-End.webp\")
<\/p>\n","protected":false},"excerpt":{"rendered":"Throughout the summer of 2026, there were plenty of signs of what was to come. Every week, it…\n","protected":false},"author":2,"featured_media":922008,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[20],"tags":[62,276,277,49,48,61],"class_list":["post-922007","post","type-post","status-publish","format-standard","has-post-thumbnail","category-artificial-intelligence","tag-ai","tag-artificial-intelligence","tag-artificialintelligence","tag-ca","tag-canada","tag-technology"],"_links":{"self":[{"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/posts\/922007","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/comments?post=922007"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/posts\/922007\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/media\/922008"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/media?parent=922007"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/categories?post=922007"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/tags?post=922007"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}