{ "146386-21898980": { "datetime_modified":"20260828T085915", "datetime_start":"20260908T160000", "datetime_end":"20260908T170000", "has_end_time":1, "date_start":"2026-09-08", "date_end":"2026-09-08", "time_start":"16:00:00", "time_end":"17:00:00", "time_zone":"America\/Detroit", "event_title":"Colloquium - First Proof: Mathematics putting AI to the test", "occurrence_title":"", "combined_title":"Colloquium - First Proof: Mathematics putting AI to the test: Lauren K. Williams, Harvard University", "event_subtitle":"Lauren K. Williams, Harvard University", "event_type":"Lecture \/ Discussion", "event_type_id":"13", "description":"Lauren K. Williams received an AB from Harvard University and a PhD from the Massachusetts Institute of Technology. She was a faculty member at the University of California, Berkeley, from 2009 to 2018, prior to returning to Harvard University, where she is currently the Dwight Parker Robinson Professor of Mathematics. Williams has received various honors, including a MacArthur fellowship, a Guggenheim fellowship, and an NSF Career Grant. While her main research area is algebraic combinatorics (including total positivity and cluster algebras), her work is connected to shallow water waves (via soliton solutions of the KP equation), traffic flow and protein synthesis (the asymmetric simple exclusion process), and scattering amplitudes in high-energy physics. She is one of the editors of First Proof, which has been benchmarking the ability of AI models to create mathematical proofs.\n\nFirst Proof provides objective, up-to-date assessments of AI models\u2019 ability to prove specified mathematical statements. This talk will review findings from the project\u2019s first two problem batches and outline plans for its next phase.", "occurrence_notes":null, "guid":"146386-21898980@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/146386", "building_id":"1000166", "building_name":"East Hall", "campus_maps_id":"53", "room":"1360", "location_name":"East Hall", "has_livestream":0, "cost":"", "tags":["Mathematics"], "website":"https:\/\/people.math.harvard.edu\/~williams\/", "sponsors":[ { "group_name":"Colloquium Series - Department of Mathematics", "group_id":"4884", "website":"" }, { "group_name":"Department of Mathematics", "group_id":"3791", "website":"" } ], "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "styled_images":{ "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_thumb\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_thumb\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_thumb_square\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "group_large":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_large\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_large_lightbox\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_large_crop\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_list":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_list\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_grid_2x\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_feature_large\/media\/attachments\/2026\/03\/event_146386_original-1.jpg", "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_feature_thumb\/media\/attachments\/2026\/03\/event_146386_original-1.jpg" }, "occurrence_count":1, "first_occurrence":21898980 } , "149928-21907381": { "datetime_modified":"20260905T003240", "datetime_start":"20260908T160000", "datetime_end":"20260908T170000", "has_end_time":1, "date_start":"2026-09-08", "date_end":"2026-09-08", "time_start":"16:00:00", "time_end":"17:00:00", "time_zone":"America\/Detroit", "event_title":"Go Blue Career Jam: Career Fair Prep", "occurrence_title":"", "combined_title":"Go Blue Career Jam: Career Fair Prep", "event_subtitle":"", "event_type":"Careers \/ Jobs", "event_type_id":"2", "description":"REGISTER HERE:\u00a0Join the University Career Center for a discussion on how to prepare for the upcoming job & internship fairs!In this session, we\u2019ll cover what to expect at a fair, how to research potential employers, and tips for crafting a strong elevator pitch.This event is open to all students interested in learning strategies for making a great impression and getting the most out of career fairs. It\u2019s a supportive space to explore how you can connect your skills, interests, and goals with exciting opportunities.\u00a0This event's information is shown in Handshake as well as on the Happening @Michigan calendar so that it will be seen by a larger number of U-M Students. You can only register to attend this event within Handshake. If you'dlike to indicate that you'll be attending this event and see more details, please go to this webpage: https:\/\/umich.joinhandshake.com\/events\/1985183\/share_previewWe want to ensure full and equitable participation in our events. If an accessibility accommodation would promote your full participation in this event, please indicate your accommodation requirements via the link below, preferably at least 14 days prior to the program to ensure sufficient time for arranging your requested accommodation(s) or exploring suitable alternatives. If you have any questions regarding access to our programs, please don't hesitate to reach out to Jocelyn Gaydos at jmgaydos@umich.edu. Accessibility accommodation form: https:\/\/forms.gle\/FmFn35ZLxJ8kvPfSA\u00a0#UCC", "occurrence_notes":null, "guid":"149928-21907381@events.umich.edu", "permalink":"http:\/\/events.umich.edu\/event\/149928", "building_id":"", "building_name":"", "campus_maps_id":"", "room":"", "location_name":"", "has_livestream":0, "cost":"", "tags":[], "website":"", "sponsors":[ { "group_name":"University Career Center UCC", "group_id":"1140", "website":"http:\/\/careercenter.umich.edu" } ], "image_url":"", "styled_images":{ "event_thumb":"", "event_large":"", "event_large_2x":"", "event_large_lightbox":"", "group_thumb":"", "group_thumb_square":"", "group_large":"", "group_large_lightbox":"", "event_large_crop":"", "event_list":"", "event_list_2x":"", "event_grid":"", "event_grid_2x":"", "event_feature_large":"", "event_feature_thumb":"" }, "occurrence_count":1, "first_occurrence":21907381 } }