For the first time, mathematicians have partnered with artificial intelligence to suggest and prove new mathematical theorems.<\/p>\n\n\n\n
The work was done in a collaboration between the University of Oxford, the University of Sydney in Australia and DeepMind, Google’s artificial intelligence sister company.<\/p>\n\n\n\n
While computers have long been used to generate data for mathematicians, the task of identifying interesting patterns has relied mainly on the intuition of the mathematicians themselves. However, it\u2019s now possible to generate more data than any mathematician can reasonably expect to study in a lifetime, writes the University of Oxford in a press release<\/a>. Which is where machine learning comes in.<\/p>\n\n\n\n A paper, published today in Nature<\/em><\/a>, describes how DeepMind was set the task of discerning patterns and connections in the fields of knot theory and representation theory. To the surprise of the mathematicians, new connections were suggested; the mathematicians were then able to examine these connections and prove the conjecture suggested by the AI. These results suggest that machine learning can complement mathematical research, guiding intuition about a problem.<\/p>\n\n\n\n Using the patterns identified by machine learning, mathematicians from the University of Oxford discovered a surprising connection between algebraic and geometric invariants of knots, establishing a completely new theorem in the field. The University of Sydney, meanwhile, used the connections made by the AI to bring them close to proving an old conjecture about Kazhdan-Lusztig polynomials, which has been unsolved for 40 years.<\/p>\n\n\n\n Professor Andras Juhasz<\/a>, of the Mathematical Institute at the University of Oxford and co-author on the paper, said: \u2018Pure mathematicians work by formulating conjectures and proving these, resulting in theorems. But where do the conjectures come from?<\/p>\n\n\n\n \u2018We have demonstrated that, when guided by mathematical intuition, machine learning provides a powerful framework that can uncover interesting and provable conjectures in areas where a large amount of data is available, or where the objects are too large to study with classical methods.\u2019<\/p>\n\n\n\n Professor Marc Lackeby<\/a>, of the Mathematical Institute at the University of Oxford and co-author, said: \u2018It has been fascinating to use machine learning to discover new and unexpected connections between different areas of mathematics. I believe that the work that we have done in Oxford and in Sydney in collaboration with DeepMind demonstrates that machine learning can be a genuinely useful tool in mathematical research.\u2019<\/p>\n\n\n\n Professor Geordie Williamson<\/a>, Professor of Mathematics at the University of Sydney and director of the Sydney Mathematical Research Institute and co-author, said: \u2018AI is an extraordinary tool. This work is one of the first times it has demonstrated its usefulness for pure mathematicians, like me.<\/p>\n\n\n\n \u2018Intuition can take us a long way, but AI can help us find connections the human mind might not always easily spot.\u2019<\/p>\n\n\n\n Also interesting: <\/strong><\/em>Developing AI involves much more than just numbers<\/a><\/p>\n","protected":false},"author":2084,"featured_media":321859,"template":"","meta":{"_acf_changed":false,"advgb_blocks_editor_width":"","advgb_blocks_columns_visual_guide":""},"categories":[8553],"tags":[29080,85931,22509,48840,125948],"location":[55977],"internal_archives":[],"class_list":["post-321858","selected","type-selected","status-publish","has-post-thumbnail","hentry","category-digital","tag-artificial-intelligence-en","tag-deepmind","tag-mathematics","tag-university-of-oxford","tag-university-of-sydney","location-united-kingdom"],"blocksy_meta":[],"acf":[],"featured_img":"https:\/\/ioplus.nl\/archive\/wp-content\/uploads\/2022\/04\/yka0m9VD-geometry-gc24cf7b39_1920-1.jpg","coauthors":[],"author_meta":{"author_link":"https:\/\/ioplus.nl\/archive\/author\/mauro-mereu\/","display_name":"Mauro Mereu"},"relative_dates":{"created":"Posted 5 years ago","modified":"Updated 5 years ago"},"absolute_dates":{"created":"Posted on December 2, 2021","modified":"Updated on December 2, 2021"},"absolute_dates_time":{"created":"Posted on December 2, 2021 11:00 am","modified":"Updated on December 2, 2021 11:00 am"},"featured_img_caption":"\u00a9 Pixabay","tax_additional":{"category":{"linked":["Digital<\/a>"],"unlinked":["Digital<\/span>"],"slug":"category","name":"Categories"},"post_tag":{"linked":["Artificial Intelligence<\/a>","deepmind<\/a>","Mathematics<\/a>","University of Oxford<\/a>","University of Sydney<\/a>"],"unlinked":["Artificial Intelligence<\/span>","deepmind<\/span>","Mathematics<\/span>","University of Oxford<\/span>","University of Sydney<\/span>"],"slug":"post_tag","name":"Tags"},"language":{"linked":["EN<\/a>"],"unlinked":["EN<\/span>"],"slug":"language","name":"Tags"},"post_translations":{"linked":["pll_61a8c0ce22726<\/a>"],"unlinked":["pll_61a8c0ce22726<\/span>"],"slug":"post_translations","name":""},"location":{"linked":["United Kingdom<\/a>"],"unlinked":["United Kingdom<\/span>"],"slug":"location","name":"Locations"},"internal_archives":{"linked":[],"unlinked":[],"slug":"internal_archives","name":"Internal Archives"}},"series_order":"","_links":{"self":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/selected\/321858","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/selected"}],"about":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/types\/selected"}],"author":[{"embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/users\/2084"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/media\/321859"}],"wp:attachment":[{"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/media?parent=321858"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/categories?post=321858"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/tags?post=321858"},{"taxonomy":"location","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/location?post=321858"},{"taxonomy":"internal_archives","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/internal_archives?post=321858"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Machine learning as a powerful framework <\/h3>\n\n\n\n