{"id":242870,"date":"2026-08-18T22:03:12","date_gmt":"2026-08-19T03:03:12","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2026\/08\/icm-2026-public-lectures-terence-tao"},"modified":"2026-08-18T22:03:12","modified_gmt":"2026-08-19T03:03:12","slug":"icm-2026-public-lectures-terence-tao","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2026\/08\/icm-2026-public-lectures-terence-tao","title":{"rendered":"ICM 2026 Public Lectures \u2014 Terence Tao"},"content":{"rendered":"<p><\/p>\n<p><iframe style=\"display: block; margin: 0 auto; width: 100%; aspect-ratio: 4\/3; object-fit: contain;\" src=\"https:\/\/www.youtube.com\/embed\/M0--ZH1lOzg?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope;\n   picture-in-picture\" allowfullscreen><\/iframe><\/p>\n<p>Mathematics in the Age of AI<br \/> ~<br \/> Current AI tools, when combined with formal verification and modern collaboration platforms, are enabling new ways to do mathematics at scale, with increasingly broad collaborations between professional mathematicians, other scientists, members of the public, and AI tools. Yet these tools continue to have only a modest impact on more traditional mathematical objectives, such as making progress on individual highly difficult problems. In this lecture we survey the recent achievements of these new paradigms, as well as their continuing limitations.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mathematics in the Age of AI ~ Current AI tools, when combined with formal verification and modern collaboration platforms, are enabling new ways to do mathematics at scale, with increasingly broad collaborations between professional mathematicians, other scientists, members of the public, and AI tools. Yet these tools continue to have only a modest impact on [\u2026]<\/p>\n","protected":false},"author":709,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2229,6],"tags":[],"class_list":["post-242870","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/242870","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/709"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=242870"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/242870\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=242870"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=242870"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=242870"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}