{"687709":{"#nid":"687709","#data":{"type":"event","title":"AI4Math @Georgia Tech Townhall Meeting ","body":[{"value":"\u003Cp\u003EIn recent years we have seen an explosion of interest in AI tools that excel at mathematical reasoning. \u0026nbsp;These tools, such as AlphaProof from Google DeepMind and Aristotle from Harmonic, combine tools and techniques from two core sub-fields of AI, namely, machine learning in the form of LLMs and symbolic reasoning in the form of theorem provers (e.g., Lean) and computer algebra systems (e.g., Maple). In response to these dramatic shifts in the capabilities of AI for math tools, peer universities are setting up AI for math centers.\u0026nbsp;\u003C\/p\u003E\u003Cp\u003EIn this townhall, we will present a vision of a similar AI for math center at Georgia Tech, under the auspices of the Institute for Data Engineering and Science (IDEaS). The goals include enabling GT and GTRI research groups focused on AI4Math by bringing in funding , conducting seminars\/workshops on AI4Math topics, and setting up tutorials such as Introduction to Lean and AI4Math Tools.\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003EJoin us at this townhall to discuss the vision for an Al for math center at Georgia Tech under the auspices of IDEaS.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"Join us at this townhall to discuss the vision for an Al for math center at Georgia Tech under the auspices of IDEaS."}],"uid":"34518","created_gmt":"2026-01-27 15:22:28","changed_gmt":"2026-01-27 15:23:36","author":"sbarone7","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2026-02-03T12:00:00-05:00","event_time_end":"2026-02-03T13:00:00-05:00","event_time_end_last":"2026-02-03T13:00:00-05:00","gmt_time_start":"2026-02-03 17:00:00","gmt_time_end":"2026-02-03 18:00:00","gmt_time_end_last":"2026-02-03 18:00:00","rrule":null,"timezone":"America\/New_York"},"location":"Exhibition Hall Centennial Room (2nd Floor)","extras":[],"hg_media":{"679103":{"id":"679103","type":"image","title":"AI4Math_Feb_2026.png","body":"\u003Cp\u003EAI4Math Townhall Feb 2026\u003C\/p\u003E","created":"1769527369","gmt_created":"2026-01-27 15:22:49","changed":"1769527369","gmt_changed":"2026-01-27 15:22:49","alt":"AI4Math Townhall Feb 2026","file":{"fid":"263222","name":"AI4Math_Feb_2026.png","image_path":"\/sites\/default\/files\/2026\/01\/27\/AI4Math_Feb_2026.png","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2026\/01\/27\/AI4Math_Feb_2026.png","mime":"image\/png","size":378570,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2026\/01\/27\/AI4Math_Feb_2026.png?itok=GBwq3zdS"}}},"media_ids":["679103"],"groups":[{"id":"1279","name":"School of Mathematics"}],"categories":[],"keywords":[{"id":"173647","name":"_for_math_site_"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003E\u003Ca href=\u0022mailto:comms@math.gatech.edu\u0022\u003ESal Barone\u003C\/a\u003E\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}