{"id":1813,"date":"2026-02-05T13:46:04","date_gmt":"2026-02-05T04:46:04","guid":{"rendered":"https:\/\/ai4math.kaist.ac.kr\/?page_id=1813"},"modified":"2026-05-26T11:21:25","modified_gmt":"2026-05-26T02:21:25","slug":"about","status":"publish","type":"page","link":"https:\/\/ai4math.kaist.ac.kr\/en\/about\/","title":{"rendered":"About"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1813\" class=\"elementor elementor-1813\" data-elementor-post-type=\"page\">\n\t\t\t\t<div class=\"elementor-element elementor-element-88ea543 sub-wrap e-flex e-con-boxed e-con e-parent\" data-id=\"88ea543\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t\t<div class=\"e-con-inner\">\n\t\t<div class=\"elementor-element elementor-element-8719c4e e-con-full sub-title e-flex e-con e-child\" data-id=\"8719c4e\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-6717be7 title elementor-widget elementor-widget-heading\" data-id=\"6717be7\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">About<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-840f60a icon elementor-widget elementor-widget-image\" data-id=\"840f60a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"200\" height=\"200\" src=\"https:\/\/ai4math.kaist.ac.kr\/wp-content\/uploads\/2026\/03\/detail-icon04.png\" class=\"attachment-large size-large wp-image-1691\" alt=\"\" title=\"\">\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-f8755a2 e-con-full sub-con about-wrap e-flex e-con e-child\" data-id=\"f8755a2\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-9b4b349 title elementor-widget elementor-widget-heading\" data-id=\"9b4b349\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">We sincerely welcome you to the <span class=\"underline\">Graduate School of AI for Math,<br>\nCollege of Natural Sciences, KAIST<\/span> website.<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-96e000a line elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"96e000a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-1a9d289 e-con-full info-wrap e-flex e-con e-child\" data-id=\"1a9d289\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-dff08c3 elementor-widget elementor-widget-image\" data-id=\"dff08c3\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"350\" height=\"525\" src=\"https:\/\/ai4math.kaist.ac.kr\/wp-content\/uploads\/2026\/02\/about-img-1.png\" class=\"attachment-large size-large wp-image-740\" alt=\"\" title=\"\">\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-19aa900 e-con-full txt-wrap e-flex e-con e-child\" data-id=\"19aa900\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t<div class=\"elementor-element elementor-element-3054f07 e-con-full item-wrap e-flex e-con e-child\" data-id=\"3054f07\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-efa94b9 txt elementor-widget elementor-widget-heading\" data-id=\"efa94b9\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">In June 2025, the Graduate School of AI for Math opened its doors, breaking down the boundaries between AI and mathematics to pioneer a new frontier.<br>\nAt this pivotal moment, when artificial intelligence is transforming every field, I am both deeply honored and humbled to take on this significant responsibility as the inaugural Dean.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-966db30 txt elementor-widget elementor-widget-heading\" data-id=\"966db30\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">The core vision of our graduate school is <strong>'AI for Math'<\/strong>.<br>\nWhile mathematics has traditionally advanced through human intuition and logic, recent developments\u2014such as Google DeepMind winning a gold medal at the International Mathematical Olympiad (IMO)\u2014demonstrate that AI is now entering the field of mathematics with reasoning capabilities that surpass human thought.<br>\nIn response to this era, where AI goes beyond simple computation to tackle complex mathematical challenges, our graduate school aims to <strong>solve mathematical problems using AI<\/strong> and <strong>develop AI models optimized for mathematical research<\/strong> by nurturing the next generation of interdisciplinary talent.<br>\nOur English acronym, <strong>AI4MATH<\/strong>, embodies this core mission.<br>\nHere, <strong>4M<\/strong> represents the following key values:<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-b6e895e txt elementor-widget elementor-widget-heading\" data-id=\"b6e895e\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\"><strong>Machine-Assisted Proof<\/strong>: Utilizing AI as an assistive tool to prove complex mathematical theorems and perform computations.<br>\n<strong>Mathematics Automation<\/strong>: Automating mathematical proofs and computational processes to maximize research efficiency.<br>\n<strong>Mathematical Formalism<\/strong>: Translating mathematical concepts into machine-interpretable formats to enhance AI\u2019s reasoning capabilities.<br>\n<strong>Mathematical Reasoning and Discovery<\/strong>: Driving new mathematical reasoning and discoveries beyond human intuition through AI.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-04d3307 txt elementor-widget elementor-widget-heading\" data-id=\"04d3307\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">Based on these four core values, KAIST seeks to establish a foundation for leading academic advancement in the era where AI and mathematics converge.<br>\nTo achieve this, our graduate school fosters close collaboration among the Department of Mathematical Sciences, Kim Jaechul Graduate School of AI, School of Computing, and the Department of Industrial and Systems Engineering,<br>\nproviding an innovative educational environment where top researchers jointly mentor students.<br>\nThis will offer broader and deeper insights to students who are passionate about both AI and mathematics.<br>\nThe Graduate School of AI for Math embarks on new research that transcends academic boundaries and contributes to the intellectual advancement of humanity.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ebbdc57 txt elementor-widget elementor-widget-heading\" data-id=\"ebbdc57\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">We sincerely ask for your continued interest and warm support as we embark on this exciting journey.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-cb604d6 txt elementor-widget elementor-widget-heading\" data-id=\"cb604d6\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">Thank you.<\/p>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t<div class=\"elementor-element elementor-element-365aa38 e-con-full item-wrap row e-flex e-con e-child\" data-id=\"365aa38\" data-element_type=\"container\" data-e-type=\"container\">\n\t\t\t\t<div class=\"elementor-element elementor-element-daedf43 txt dot elementor-widget elementor-widget-heading\" data-id=\"daedf43\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">Dean of Graduate School<\/p>\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e9b406e name elementor-widget elementor-widget-heading\" data-id=\"e9b406e\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t\t<p class=\"elementor-heading-title elementor-size-default\">Hyung Ryul Baek<\/p>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>About We sincerely welcome you to the Graduate School of AI for Math, College of Natural Sciences, KAIST website. In June 2025, the Graduate School of AI for Math opened its doors, breaking down the boundaries between AI and mathematics to pioneer a new frontier. At this pivotal moment, when artificial intelligence is transforming every&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-1813","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/pages\/1813","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/comments?post=1813"}],"version-history":[{"count":1,"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/pages\/1813\/revisions"}],"predecessor-version":[{"id":2693,"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/pages\/1813\/revisions\/2693"}],"wp:attachment":[{"href":"https:\/\/ai4math.kaist.ac.kr\/en\/wp-json\/wp\/v2\/media?parent=1813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}