A poster advertising the Harvard CMSA Mathematics and Machine Learning Program Opening Workshop.

CMSA Mathematics and Machine Learning Program Opening Workshop

CMSA EVENTS

When: September 3, 2024 - September 5, 2024
9:00 am - 5:00 pm
Where: CMSA, 20 Garden St, Common Room
Address: 20 Garden Street, Cambridge 02138, United States
See event webpage here: https://cmsa.fas.harvard.edu/event/mmlworkshop_924/

Mathematics and Machine Learning Program Opening Workshop

Dates: September 3 – 5, 2024

Location: Room G10, CMSA, 20 Garden Street, Cambridge MA

Registration is required.

In-person registration

Register for Zoom Webinar

Directions to CMSA

AI for Mathematicians, with Leon Bottou, François Charton, David McAllester, Adam Wagner, Boris Hanin, and Geordie Williamson.  A series of 6 tutorial lectures introducing concepts of AI and of theorem proving, with many case studies of AI applied to mathematics, and including lectures and discussion sessions on open questions, future prospects, and ethical questions.

 

Speakers

  • Leon Bottou (Meta AI)
  • François Charton (Meta AI)
  • Michael R. Douglas (Harvard CMSA)
  • Boris Hanin (Princeton)
  • David McAllester (TTIC)
  • Adam Wagner (WPI)
  • Geordie Williamson (University of Sydney)

Schedule

Tuesday Sep. 3, 2024
9:30–10:00 am Morning refreshments
10:00–11:30 am Mike Douglas: Overview of AI for mathematics
11:30 am–12:00 pm Discussion
12:00–1:30 pm Break
1:30–2:30 pm David McAllester: Logic and formal methods
2:30–3:00 pm Coffee break
3:00–4:00 pm Panel Discussion: Automated mathematical discovery

 

Wednesday Sep. 4, 2024
9:30–10:00 am Morning refreshments
10:00–11:30 am Boris Hanin: Theory of Machine Learning
11:30 am–12:00 pm Discussion
12:00–1:30 pm Break
1:30–2:30 pm François Charton, Geordie Williamson, and Adam Wagner: Case studies I
2:30–3:00 pm Coffee break

 

Thursday Sep. 5, 2024
9:30–10:00 am Morning refreshments
10:00–11:30 am François Charton, Geordie Williamson, and Adam Wagner: Case studies II
11:30 am–12:00 pm Discussion
12:00–1:30 pm Break
1:30–2:30 pm Leon Bottou: Open questions in AI
2:30–3:00 pm Coffee break
3:00–4:00 pm Panel Discussion: How might AI change mathematics?