\n<\/p>\n
Imagine knowing that the stock market will likely crash in three years, that extreme weather will destroy your home in eight or that you will have a debilitating disease in 15\u2014but that you can take steps now to protect yourself from these crises. Although predicting the future with certainty will always be impossible, artificial intelligence could come close to doing so, some experts suggest. Predictions of such magnitude would require making billions of connections in immense datasets across enormous distances or time periods. Though such capabilities are beyond current AI systems, a mathematical breakthrough described in a recent preprint paper might provide clues for navigating such vast data and finding the larger patterns within it to reveal outcomes that people wouldn\u2019t otherwise be able to predict.<\/p>\n
To develop an AI system capable of doing such difficult work, a team of researchers at the California Institute of Technology and other institutions used the Andrews-Curtis conjecture\u2014an intractable math problem from group theory, a field that studies symmetry, structure and operations in mathematical groups. Proposed by mathematicians James Andrews and Morton Curtis in 1965, the conjecture suggests that any such complicated mathematical configuration might be reduced to its most basic form by a finite sequence of three moves. One way to visualize the conjecture is to picture a vast maze in which a player is trying to connect all points to a central \u201chome\u201d point. The length of any single path could be unimaginably long and require taking millions or even billions of steps in the maze, says Sergei Gukov, the recent study\u2019s senior author and a professor of mathematics at Caltech. \u201cThat was the reason we picked this problem,\u201d he says, \u201cbecause it\u2019s a mathematical problem where, in order to make any progress, we basically are forced to develop new AI systems which can adapt to this level of complexity.\u201d<\/p>\n
In the 60 years since the Andrews-Curtis conjecture was formulated, the conjecture has never been proved or disproved. Proving it would mean showing that every eligible description can be connected to the single standard \u201chome\u201d description. Disproving it would require showing a so-called counterexample in which there is no \u201cpath\u201d to achieving the conjecture. \u201cA priori, it\u2019s not known whether paths exist [for coordinates], and the goal is to try to prove or disprove whether a path exists or to find one example where a path does notexist,\u201d says the study\u2019s lead author Ali Shehper, a senior AI researcher at Caltech. For decades, mathematicians have attempted to disprove the conjecture by proposing many counterexamples for which no paths could be found\u2014at least until now. The team made its breakthrough by finding complete or partial paths for a number of such unresolved potential counterexamples, thus showing that none of these proposals actually refutes the conjecture.<\/p>\n
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.<\/p>\n
With the Andrews-Curtis conjecture as its model, the team created a game: Picture a chesslike board but with a million or even a billion squares. As player, you must reach a designated \u201chome\u201d square\u2014using a toolbox of just a few moves, similar to how each chess piece can be moved in specific ways. But this is a solitary game: you are the only player, and your job is to take any coordinate you are given and determine whether, using some combination of the available moves as many times as necessary, you can reach home. For coordinates closer to home, the task isn\u2019t so hard. But when the coordinates are far-flung, finding your way by trial and error could easily take a lifetime, especially because you have no way of immediately judging whether each step taken is on the right path until you reach the destination. The path is also much longer than the actual distance between the two points. \u201cIn order to go from A to B you have to go thousands of miles in this complicated maze, even though the actual distance can be very small,\u201d Gukov says. \u201cSo it\u2019s like a devil designed the maze.\u201d<\/p>\n
To train AI to play the game, Gukov\u2019s team used reinforcement learning, a machine-learning technique where an AI agent\u2014a system that makes decisions and takes actions to achieve a goal\u2014learns which actions work best through trial and error and by receiving rewards or penalties. \u201cIf you just show the agent hard problems in the beginning, it won\u2019t know what to do with them. But if you show it easier problems first, then that really helps,\u201d Shehper says.<\/p>\n
But to cross the immense spaces required by the Andrews-Curtis conjecture, small steps aren\u2019t enough. The game addresses this problem by using two AI agents with distinct roles: a player and an observer. By watching the player and evaluating its successes, the observer agent begins to combine basic moves into combinations, or \u201csupermoves,\u201d which the player can then use to make bigger leaps. As the player executes its available moves to excel at the shorter paths, the observer learns to evaluate the difficulty of the coordinates and to gauge which supermoves will best serve the player; it then provides those supermoves strategically when the player is most likely to be able to use them.<\/p>\n
Whereas the easier coordinates can require as few as 10 moves to reach \u201chome,\u201d more difficult coordinates rapidly grow in complexity. \u201cMathematically it\u2019s known that there exist cases where it needs billions of moves, but we have not gotten there yet with our AI system,\u201d Shehper says. \u201cWe are in the range of thousands of moves.\u201d<\/p>\n
Thousands of moves have nonetheless been enough to break ground on some long-standing counterexamples to the Andrews-Curtis conjecture. Using the agentic AI system, the team was able to solve large families of longstanding potential counterexamples that had been open for 30 years. It even made progress on a series of counterexamples that have existed for about four decades, reducing most of them to more simplified forms. A preprint study at the University of Liverpool has since independently confirmed the Gukov\u2019s team\u2019s results.<\/p>\n
\u201cWhat they did, it\u2019s beyond the expectations that I had\u201d for what AI could do with the conjecture, says Alexei Miasnikov, a professor of mathematics at the Stevens Institute of Technology. Miasnikov, who has conducted research on the Andrews-Curtis conjecture and was not involved in the study by Gukov’s team, says their work has shown how useful machine reinforcement might be for experimental math. \u201cIt shows that you can get interesting results that you can\u2019t get without a computer,\u201d Miasnikov says. \u201cI think much more interesting things will be developed soon. We are just at the beginning.\u201d<\/p>\n
Gukov\u2019s team hopes to create tools for a broad range of problems in math and outside of it, Shehper says. Current AI systems, such as AlphaGo (which plays Go) or AlphaStar (which plays the video game Starcraft II), and even many large language models, such as OpenAI\u2019s GPT or xAI\u2019s Grok, deal with problems that are known to be solvable, and they work to find more optimal solutions. \u201cWe know that chess and Go are solvable problems,\u201d Shehper says. \u201cA game ends, and you win or lose, and these systems are actually just finding a better way of doing that.\u201d The team\u2019s goal is to develop systems to tackle problems where mathematicians don\u2019t yet know if solutions even exist\u2014and where the path to evaluating whether an answer might be possible is incalculably long.<\/p>\n
Gukov and Shehper hope the new tools they develop can ultimately be applied to real-world predictions. Perhaps future AI models will be able to foresee how complex machines might fail after years of use, how automated driving systems might produce rare but dangerous errors over long periods and how sickness might arise in an individual over decades. They could potentially be applied to many fields, such as medicine, cryptography, finance and climate modeling. \u201cYou could say that we\u2019re developing AI systems for such applications,\u201d Gukov says, \u201cbut first we\u2019re just training them with math. Math is cheap, so we\u2019re not going to burn somebody\u2019s money or make wrong predictions about hurricanes.\u201d<\/p>\n
As for proving or disproving the Andrews-Curtis conjecture itself, the AI system developed by Gukov\u2019s team is far from being able to do so\u2014and this isn\u2019t even the researchers\u2019 goal. But by ruling out counterexamples, their work has provided some new support for the conjecture. \u201cThe common belief in the [mathematics] community when we started this work was that the Andrews-Curtis conjecture is probably false, so therefore one should try to disprove it,\u201d Gukov says. \u201cBut after spending several years on this conjecture, I have started believing that maybe there is a chance\u2014a good chance\u2014it is actually true.\u201d<\/p>\n","protected":false},"excerpt":{"rendered":"
Imagine knowing that the stock market will likely crash in three years, that extreme weather will destroy your home in eight or that you will have a debilitating disease in 15\u2014but that you can take steps now to protect yourself from these crises. Although predicting the future with certainty will always be impossible, artificial intelligence<\/p>\n","protected":false},"author":1,"featured_media":15207,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[50],"tags":[5236,7428,2284,585,2032,8794,3736,8793],"class_list":{"0":"post-15206","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-environment","8":"tag-breakthrough","9":"tag-crises","10":"tag-future","11":"tag-learning","12":"tag-mathematics","13":"tag-predict","14":"tag-pure","15":"tag-reinforcement"},"_links":{"self":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/15206","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=15206"}],"version-history":[{"count":0,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/posts\/15206\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=\/wp\/v2\/media\/15207"}],"wp:attachment":[{"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=15206"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=15206"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/naijaglobalnews.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=15206"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}