AI for Math

This is a participating seminar organized by Ivan Losev and Ro Wang. Its primary audience is Yale Math graduate students and its goal is to explain how one could and should use AI for Math research and education. Participate are strongly encouraged to make presentations on various aspects of using AI for Math!

Some online resources:

  • Pavel Etingof's note on use of AI for Math research.
  • Lisa Carbone's note on advancing Math research using AI.
  • Leiden declaration on AI and Math.
  • The letter on severe misalignment of AI in Math.
  • Discussions on AI and Math organized by Martin Bauer.

    Schedule:

  • Oct 2 (3.40-4.40 on zoom): organizational meeting followed by a presentation by Ro.