BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Helen Jenne (Pacific Northwest National Laboratory)
DTSTART:20260601T010000Z
DTEND:20260601T020000Z
DTSTAMP:20260604T053251Z
UID:TropicalmathandML/40
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Tropicalmath
 andML/40/">AI-Driven Discovery in Combinatorics</a>\nby Helen Jenne (Pacif
 ic Northwest National Laboratory) as part of Tropical mathematics and mach
 ine learning\n\n\nAbstract\nThe last five years have seen AI-driven breakt
 hroughs in research-level mathematics\, sparking excitement and discussion
  about the future of the field. This talk will begin with an overview of t
 hese developments\, from AI’s role in rigorously verifying proofs to its
  use in discovering mathematical constructions and formulating conjectures
 . AI for mathematics extends well beyond prompting GPT to prove a theorem\
 ; indeed\, the field has seen many success stories from smaller\, targeted
  models. The first half of the talk will survey the current landscape\, an
 d the second half will discuss recent work applying an LLM-based approach 
 called evolutionary program synthesis to the challenge of finding combinat
 orial bijections.\n
LOCATION:https://researchseminars.org/talk/TropicalmathandML/40/
END:VEVENT
END:VCALENDAR