{"692367":{"#nid":"692367","#data":{"type":"event","title":"AI for the Working Mathematician - Lunch Discussion Group ","body":[{"value":"\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003EAI for the Working Mathematician\u003C\/strong\u003E is an informal discussion group for mathematicians interested in practical ways that artificial intelligence can support mathematical research and increase productivity.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003ETopics may include AI-assisted problem solving, literature searches, mathematical experimentation and computation, writing and editing, software development, conjecture generation, proof discovery and verification, and AI-assisted or automated formalization using Lean and other proof assistants.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EWe will also discuss the broader effects of AI on mathematical research and on the profession of mathematics.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EAlthough both are important subjects, the group will generally \u003Cstrong\u003Enot\u003C\/strong\u003E focus on the use of AI in teaching or on the mathematics underlying AI systems.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EThe group is intended primarily for graduate students, postdocs, and faculty, but anyone with an interest in the subject is welcome. Presentations will be aimed at a broad mathematical audience.\u003C\/p\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Ch5\u003E\u003Cstrong\u003EFall 2026 Schedule\u003C\/strong\u003E\u003C\/h5\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cdiv\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ESEPTEMBER 3\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: Matt Baker, \u0022Doing Mathematics with AI\u0022\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ESEPTEMBER 17\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: Kuldeep Meel, \u0022Tex2Lean\u0022\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003EOCTOBER 1\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: TBA\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003EOCTOBER 15\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: TBA\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ENOVEMBER 5\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: TBA\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ENOVEMBER 19\u003C\/strong\u003E\u003Cbr\u003ESpeaker\/topic: TBA\u003C\/p\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003C\/div\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ELunch will be provided at no cost to attendees.\u003C\/strong\u003E RSVPs are not required, and food will be available on a first-come, first-served basis.\u003C\/p\u003E\u003Ch5\u003E\u003Cstrong\u003EWhat happens at a meeting?\u003C\/strong\u003E\u003C\/h5\u003E\u003Cp dir=\u0022ltr\u0022\u003EA typical meeting will begin with a 20\u201330-minute presentation, followed by discussion.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EPresentations might include:\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u2022 a useful way someone has found to use AI in their mathematical work;\u003Cbr\u003E\u2022 a demonstration of a particular AI tool or workflow;\u003Cbr\u003E\u2022 a case study involving AI-assisted mathematical research;\u003Cbr\u003E\u2022 AI-assisted proof formalization using Lean or another proof assistant;\u003Cbr\u003E\u2022 a book-club-style discussion of an essay, blog post, or paper; or\u003Cbr\u003E\u2022 discussion of a recent AI-assisted mathematical discovery, counterexample, or other development.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003ESuggestions and volunteers are very welcome.\u003C\/strong\u003E\u003C\/p\u003E\u003Ch5\u003E\u003Cstrong\u003EJoin the group \/ Suggest a topic\u003C\/strong\u003E\u003C\/h5\u003E\u003Cp dir=\u0022ltr\u0022\u003ETo join the email distribution list, suggest a topic or guest speaker, volunteer to give a short presentation, or give us a rough indication of which meetings you may attend, please fill out the brief form below.\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EThe attendance questions are non-binding and are intended only to help us estimate interest and lunch demand. Join the mailing list or suggest a topic by clicking on the link below.\u0026nbsp;\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Ca href=\u0022https:\/\/forms.gle\/j99NpEDdNsD5zs258\u0022\u003Ehttps:\/\/forms.gle\/j99NpEDdNsD5zs258\u003C\/a\u003E\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Cstrong\u003EOrganizer:\u003C\/strong\u003E Matt Baker\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u003Ca href=\u0022https:\/\/math.gatech.edu\/\u0022 target=\u0022_blank\u0022\u003ESchool of Mathematics\u003C\/a\u003E\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003EGeorgia Institute of Technology\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u0026nbsp;\u003C\/p\u003E\u003Cp dir=\u0022ltr\u0022\u003E\u0026nbsp;\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ETopics may include AI-assisted problem solving, literature searches, mathematical experimentation and computation, writing and editing, software development, conjecture generation, proof discovery and verification, and AI-assisted or automated formalization using Lean and other proof assistants.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"AI for the Working Mathematician is an informal discussion group for mathematicians interested in practical ways that artificial intelligence can support mathematical research and increase productivit"}],"uid":"34518","created_gmt":"2026-09-04 18:11:57","changed_gmt":"2026-09-04 18:18:43","author":"sbarone7","boilerplate_text":"","field_publication":"","field_article_url":"","field_event_time":{"event_time_start":"2026-09-17T11:30:00-04:00","event_time_end":"2026-09-17T12:30:00-04:00","event_time_end_last":"2026-09-17T12:30:00-04:00","gmt_time_start":"2026-09-17 15:30:00","gmt_time_end":"2026-09-17 16:30:00","gmt_time_end_last":"2026-09-17 16:30:00","rrule":"FREQ=WEEKLY;BYDAY=TH","timezone":"America\/New_York"},"location":"Skiles 006","extras":["free_food"],"hg_media":{"681080":{"id":"681080","type":"image","title":"slide_AI_for_the_working_mathematician.png","body":"\u003Cp\u003Eslide_AI_for_the_working_mathematician.png\u003C\/p\u003E","created":"1788545817","gmt_created":"2026-09-04 18:16:57","changed":"1788545817","gmt_changed":"2026-09-04 18:16:57","alt":"slide_AI_for_the_working_mathematician.png","file":{"fid":"265432","name":"slide_AI_for_the_working_mathematician.png","image_path":"\/sites\/default\/files\/2026\/09\/04\/slide_AI_for_the_working_mathematician.png","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2026\/09\/04\/slide_AI_for_the_working_mathematician.png","mime":"image\/png","size":811238,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2026\/09\/04\/slide_AI_for_the_working_mathematician.png?itok=U7EY-nlb"}}},"media_ids":["681080"],"related_links":[{"url":"https:\/\/sites.google.com\/view\/ai-for-mathematicians-at-gt\/home","title":"AI for the Working Mathematician "},{"url":"https:\/\/forms.gle\/j99NpEDdNsD5zs258","title":"Join the mailing list or suggest a topic "}],"groups":[{"id":"1279","name":"School of Mathematics"}],"categories":[],"keywords":[{"id":"173647","name":"_for_math_site_"},{"id":"193733","name":"_for_math_site_manual_feed_"}],"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:comm@math.gatech.edu\u0022\u003ESal Barone\u003C\/a\u003E\u003C\/p\u003E","format":"limited_html"}],"email":[],"slides":[],"orientation":[],"userdata":""}}}