BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:David Roe (MIT)
DTSTART:20261110T190000Z
DTEND:20261110T200000Z
DTSTAMP:20261114T003621Z
UID:AI-CoNT/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/AI-CoNT/4/">
 Absolute Galois groups of 2-adic fields\, AI\, and formalization</a>\nby D
 avid Roe (MIT) as part of AI\, Combinatorics and Number Theory Seminar\n\n
 \nAbstract\nIn 1982\, Jannsen and Wingberg gave an explicit presentation f
 or the absolute group of any $p$-adic field\, as long as $p \\ne 2$.  I wi
 ll describe the journey to completing this result by giving presentations 
 for $2$-adic fields.  Along the way I will discuss my experiences with AI-
 generated solutions\, different methods for verification of proposed solut
 ions\, auto-formalization in Lean and the Tau Ceti project\, which is rapi
 dly expanding into a formal library spanning all of mathematics.\n
LOCATION:https://researchseminars.org/talk/AI-CoNT/4/
END:VEVENT
END:VCALENDAR