- This event has passed.
Mathematics and Machine Learning Program Opening Workshop
September 3, 2024 @ 10:00 am - September 5, 2024 @ 4:00 pm
Mathematics and Machine Learning Program Opening Workshop
Dates: September 3 – 5, 2024
Location: Room G10, CMSA, 20 Garden Street, Cambridge MA & via Zoom Webinar
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 (link to downloadable pdf)
Videos from the Opening Workshop (Youtube Link)
| Tuesday Sep. 3, 2024 | |
| 9:30–10:00 am | Morning refreshments |
| 10:00–11:30 am | Mike Douglas: Overview of AI for mathematics Slides (pdf) |
| 11:30 am–12:00 pm | Discussion |
| 12:00–1:30 pm | Break |
| 1:30–2:30 pm | David McAllester: Logic and formal methods Slides (pdf) |
| 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 Slides (pdf) |
| 11:30 am–12:00 pm | Discussion |
| 12:00–1:30 pm | Break |
| 1:30–2:30 pm | Adam Wagner: Case studies I: Reinforcement learning and pattern finding Slides (pdf) |
| 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 (slides-pdf) and Geordie Williamson: 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 Slides (pdf) |
| 2:30–3:00 pm | Coffee break |
| 3:00–4:00 pm | Panel Discussion: How might AI change mathematics? |