BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:STANDARD
DTSTART:20241103T010000
RDATE:20250309T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20251102T010000
RDATE:20260308T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20261101T010000
RDATE:20270314T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20271107T010000
RDATE:20280312T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:STANDARD
DTSTART:20281105T010000
RDATE:20290311T030000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:America/New_York EST
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20240923T120000
RDATE:20241103T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20250309T030000
RDATE:20251102T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260308T030000
RDATE:20261101T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270314T030000
RDATE:20271107T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280312T030000
RDATE:20281105T010000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:America/New_York EDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:9eb44663035557d4aa4a88d59b470e5a
CATEGORIES:Lie Group Quantum Mathematics Seminar
CREATED:20250830T182445
SUMMARY:AI tools for advanced mathematics
LOCATION:Hill 705 and online through Zoom (see below for the Zoom link\, Meeting ID 
 and passcode)
DESCRIPTION:The main drawback of using generative AI for advanced mathematics via Large
  Language Models (LLM) is that they are probabilistic pattern-matchers, not
  logical reasoning engines. However,  LLMs can pick up on patterns in highe
 r mathematics that are difficult for humans to see. By putting the design o
 f LLMs to their advantage, mathematicians may use them as powerful interact
 ive assistants that can carry out laborious tasks, generate and debug code,
  check examples, formulate conjectures and more. We discuss how LLMs can be
  used to advance mathematics research by careful use of prompt engineering.
  We also discuss the integration of LLMs with a formal proof assistant such
  as Lean.\n
X-ALT-DESC;FMTTYPE=text/html:<p>The main drawback of using generative AI for advanced mathematics via La
 rge Language Models (LLM) is that they are probabilistic pattern-matchers, 
 not logical reasoning engines. However,&nbsp; LLMs can pick up on patterns 
 in higher mathematics that are difficult for humans to see. By putting the 
 design of LLMs to their advantage, mathematicians may use them as powerful 
 interactive assistants&nbsp;that can carry out laborious tasks, generate an
 d debug code, check examples, formulate conjectures and more. We discuss ho
 w LLMs can be used to advance mathematics research by careful use of prompt
  engineering. We also discuss the integration of LLMs with a formal proof a
 ssistant such as Lean.</p>
CONTACT:Lisa Carbone, Rutgers University 
X-EXTRAINFO:Zoom link: https://rutgers.zoom.us/j/93921465287\nMeeting ID: 939 2146 5287
 \nPasscode: 196884, the dimension of the weight 2 homogeneous subspace of t
 he moonshine module 
DTSTAMP:20260827T020621
DTSTART;TZID=America/New_York:20250924T120000
DTEND;TZID=America/New_York:20250924T130000
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR