{"id":871486,"date":"2026-08-26T00:06:18","date_gmt":"2026-08-26T00:06:18","guid":{"rendered":"https:\/\/www.newsbeep.com\/ca\/871486\/"},"modified":"2026-08-26T00:06:18","modified_gmt":"2026-08-26T00:06:18","slug":"no-ai-doesnt-mean-the-end-of-mathematics-at-least-not-yet-bruce-schneier-and-kasra-rafi","status":"publish","type":"post","link":"https:\/\/www.newsbeep.com\/ca\/871486\/","title":{"rendered":"No, AI doesn\u2019t mean the end of mathematics \u2013 at least not yet | Bruce Schneier and Kasra Rafi"},"content":{"rendered":"

Earlier this month, about 40 top mathematicians gathered<\/a> at OpenAI\u2019s offices to discuss the future of their profession. The meeting was off-the-record, but if recent<\/a> articles<\/a> by<\/a> mathematicians<\/a> are any guide, it was mostly pretty glum. People fear for their jobs, their careers and the work they love.<\/p>\n

We think the contrary<\/a> view<\/a> is more likely, at least in the short-term. AI models are nowhere near as capable as experienced academic mathematicians.<\/p>\n

This isn\u2019t to say that AIs aren\u2019t producing stunning mathematical results at the level of PhD researchers. In mid-May, OpenAI announced<\/a> that its frontier AI model disproved the unit distance conjecture, a famous 80-year-old problem in discrete geometry. In July, Anthropic\u2019s published two AI-derived results<\/a> in academic cryptanalysis. Earlier this month, OpenAI published<\/a> 10 new mathematical results from its latest AI model. And Anthropic published<\/a> Claude\u2019s attempt to prove the century-and-a-half-old Riemann hypothesis.<\/p>\n

These results are both a vivid demonstration of the amazing capabilities of frontier AI in 2026 and an illustration of their limitations. In general, these AI-powered advances in mathematics fall into one of two categories. Some are counterexamples to mathematical statements that people had been trying to prove. Others are novel applications of known techniques to existing problems that human experts either did not know or did not think of using.<\/p>\n

The counterexample to the Jacobian conjecture is the most notable example of the first kind. Once it had been found, checking it was quick and straightforward. The difficult part was finding it among a large number of possibilities. The AI seems to have combined some sort of intuition acquired through machine learning with extensive computational search, in order to find the right example.<\/p>\n

An example of the second kind is the unit-distance conjecture. It was motivated by an elegant construction, and most mathematicians expected it to be essentially optimal \u2013 so they generally tried to prove rather than disprove it. The counterexample brings in ideas from elsewhere in mathematics: algebraic number theory. If an expert with that background deliberately set out to find a counterexample, they would probably have succeeded. But there was no reason for someone with precisely that expertise to focus on this problem. Because of its scope, AIs don\u2019t have those same limitations.<\/p>\n

These results are relatively low-hanging fruit for AI; none of them required developing an extensive new theory. This does not make the discoveries trivial, or the AI\u2019s achievements less impressive. Choosing the right direction, and recognizing an unexpected connection between subjects, are themselves forms of creativity. They are the same sorts of capabilities that led to AIs playing<\/a> the game of Go at the grandmaster level, or doing Nobel-prize level chemistry<\/a> in the area of protein folding.<\/p>\n

What we have not yet seen is an AI developing a substantial new conceptual framework in order to solve a mathematical problem. Much of mathematics proceeds by identifying the objects that are truly central to a question and then developing a theory that helps us understand them. Current AIs are very strong at searching and recombining existing ideas, but they are weak at building any deep and sustained new theory.<\/p>\n

This speaks to a more general limitation of current AI systems. They are creative in the sense that they can recombine existing ideas in novel ways. But they are not creative in others: they have not yet developed conceptually new theories or structures. And while they have<\/a> larger working memories than humans do, know more about more different things than any particular human does, and can process information faster than humans, can, true novelty is still largely beyond their reach.<\/p>\n

Of course, that distinction may not survive for very long. Predictions are notoriously hard, especially about the future of AI. None of these mathematical capabilities were explicitly designed for, or palled. They\u2019re all emergent properties of increasingly capable AI models. We are both confident that someday we will see AI models that are capable of the type of creativity required to do novel mathematics. Will that be in a few months, a few years or a few decades? Of course we don\u2019t know, but our guess is sooner rather than later.<\/p>\n

Bruce Schneier is a security technologist who teaches at the Harvard Kennedy School at Harvard University and University of Toronto\u2019s Munk School<\/p>\n

Kasra Rafi is a professor of mathematics at the University of Toronto<\/p>\n","protected":false},"excerpt":{"rendered":"Earlier this month, about 40 top mathematicians gathered at OpenAI\u2019s offices to discuss the future of their profession.…\n","protected":false},"author":2,"featured_media":871487,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[20],"tags":[62,276,277,49,48,61],"class_list":["post-871486","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\/871486","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=871486"}],"version-history":[{"count":0,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/posts\/871486\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/media\/871487"}],"wp:attachment":[{"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/media?parent=871486"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/categories?post=871486"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.newsbeep.com\/ca\/wp-json\/wp\/v2\/tags?post=871486"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}