{"id":321873,"date":"2021-12-02T13:57:24","date_gmt":"2021-12-02T12:57:24","guid":{"rendered":"https:\/\/innovationorigins.com\/?post_type=selected&p=321873"},"modified":"2021-12-02T13:57:24","modified_gmt":"2021-12-02T12:57:24","slug":"wiskundigen-zetten-ai-in-om-nieuwe-stellingen-te-bewijzen","status":"publish","type":"selected","link":"https:\/\/ioplus.nl\/archive\/nl\/selected\/wiskundigen-zetten-ai-in-om-nieuwe-stellingen-te-bewijzen\/","title":{"rendered":"Wiskundigen zetten AI in om nieuwe stellingen te bewijzen"},"content":{"rendered":"\n

Voor het eerst hebben wiskundigen Artifici\u00eble Intelligentie (AI) ingezet om nieuwe wiskundige stellingen te bewijzen. Daarbij werkte de Universiteit van Oxford, de Universiteit van Sydney in Australi\u00eb samen met DeepMind<\/em>, het zusterbedrijf van Google op het gebied van kunstmatige intelligentie. <\/p>\n\n\n\n

Hoewel computers al lang worden gebruikt om gegevens voor wiskundigen te genereren, kwam het bij het identificeren van interessante patronen voornamelijk aan op de intu\u00eftie van de wiskundigen zelf. Het is nu echter mogelijk om meer gegevens te genereren dan een wiskundige redelijkerwijs in zijn hele leven kan bestuderen, schrijft de universiteit van Oxford in een persbericht.<\/a> <\/p>\n\n\n\n

In een artikel dat vandaag is gepubliceerd in Nature<\/a>, beschrijven de wiskundigen hoe DeepMind de taak kreeg om patronen en verbanden te ontdekken op het gebied van knooptheorie en representatietheorie. Tot verrassing van de wiskundigen werden nieuwe verbanden gesuggereerd. De wiskundigen waren vervolgens in staat deze verbanden te onderzoeken en de door de AI gesuggereerde vermoedens te bewijzen. Deze resultaten suggereren dat machinaal leren een aanvulling kan vormen op wiskundig onderzoek, en de intu\u00eftie over een probleem kan sturen. <\/p>\n\n\n\n

Met behulp van de patronen die door machinaal leren werden ge\u00efdentificeerd, ontdekten wiskundigen van de Universiteit van Oxford een verrassend verband tussen algebra\u00efsche en geometrische invarianten van knopen, waarmee zij een geheel nieuwe stelling op dit gebied opstelden. De universiteit van Sydney gebruikte de door AI gelegde verbanden om bijna een oude stelling te bewijzen over Kazhdan-Lusztig polynomen<\/a>, die al 40 jaar onopgelost is.<\/p>\n\n\n\n

Machine learning<\/h3>\n\n\n\n

Professor Andras Juhasz, van het Mathematisch Instituut van de Universiteit van Oxford en co-auteur van het artikel, zei: “Zuivere wiskundigen werken door vermoedens te formuleren en deze te bewijzen, wat resulteert in stellingen. Maar waar komen de vermoedens vandaan? Wij hebben aangetoond dat, wanneer we ons laten leiden door wiskundige intu\u00eftie, machine learning een krachtig kader biedt. Dat kader kan interessante en bewijsbare vermoedens kan blootleggen op gebieden waar een grote hoeveelheid gegevens beschikbaar is, of waar de objecten te groot zijn om met klassieke methoden te bestuderen.<\/p>\n\n\n\n

Volgens professor Marc Lackeby, van het Mathematical Institute van de Universiteit van Oxford en co-auteur, was het fascinerend om machinaal leren<\/em> te gebruiken om nieuwe en onverwachte verbanden te ontdekken tussen verschillende gebieden van de wiskunde. “Ik geloof dat het werk dat we in Oxford en in Sydney in samenwerking met DeepMind<\/em> hebben gedaan, aantoont dat machinaal leren een echt nuttig instrument kan zijn in wiskundig onderzoek.” <\/p>\n\n\n\n

Ook professor Geordie Williamson, hoogleraar wiskunde aan de Universiteit van Sydney en directeur van het Sydney Mathematical Research Institute en co-auteur, noemt AI ‘een buitengewoon instrument’. “Dit werk is een van de eerste keren dat het zijn nut heeft aangetoond voor zuivere wiskundigen, zoals ik. Intu\u00eftie kan ons een heel eind op weg helpen, maar AI kan ons helpen verbanden te vinden die de menselijke geest misschien niet altijd even gemakkelijk opmerkt.”<\/p>\n\n\n\n

Ook interessant: <\/strong><\/em>Bij de ontwikkeling van AI gaat het om veel meer dan <\/a>cijfers<\/a> alleen<\/a><\/p>\n","protected":false},"author":1760,"featured_media":321859,"template":"","meta":{"_acf_changed":false,"advgb_blocks_editor_width":"","advgb_blocks_columns_visual_guide":""},"categories":[90877],"tags":[16158,131137,131140,92911,131143,88642],"location":[55893],"internal_archives":[],"class_list":["post-321873","selected","type-selected","status-publish","has-post-thumbnail","hentry","category-digital-nl-nl","tag-ai-nl","tag-axioma-nl","tag-bewijsvoering-nl","tag-kunstmatige-intelligentie-nl","tag-sstellingen-nl","tag-wiskunde-nl","location-verenigd-koninkrijk"],"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\/arnoud-cornelissen\/","display_name":"Arnoud Cornelissen"},"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 1:57 pm","modified":"Updated on December 2, 2021 1:57 pm"},"featured_img_caption":"\u00a9 Pixabay","tax_additional":{"category":{"linked":["Digital<\/a>"],"unlinked":["Digital<\/span>"],"slug":"category","name":"Categories"},"post_tag":{"linked":["AI<\/a>","axioma<\/a>","bewijsvoering<\/a>","kunstmatige intelligentie<\/a>","sstellingen<\/a>","wiskunde<\/a>"],"unlinked":["AI<\/span>","axioma<\/span>","bewijsvoering<\/span>","kunstmatige intelligentie<\/span>","sstellingen<\/span>","wiskunde<\/span>"],"slug":"post_tag","name":"Tags"},"language":{"linked":["NL<\/a>"],"unlinked":["NL<\/span>"],"slug":"language","name":"Tags"},"post_translations":{"linked":["pll_61a8c0ce22726<\/a>"],"unlinked":["pll_61a8c0ce22726<\/span>"],"slug":"post_translations","name":""},"location":{"linked":["Verenigd Koninkrijk<\/a>"],"unlinked":["Verenigd Koninkrijk<\/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\/321873","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\/1760"}],"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=321873"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/categories?post=321873"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/tags?post=321873"},{"taxonomy":"location","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/location?post=321873"},{"taxonomy":"internal_archives","embeddable":true,"href":"https:\/\/ioplus.nl\/archive\/wp-json\/wp\/v2\/internal_archives?post=321873"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}