Motivation

Advances in artificial intelligence, machine learning, and data analysis in the last decade have made it possible to develop more sophisticated AI systems which are being used in a broad range of applications.  

We focus on such applications to mathematics, especially on papers and talks which are based on concrete, explicit computational results through implementation and use of AI packages and methods. 

Topics 

Some of topics suggested, but not limited to:

• Machine Learning 

  1. Machine Learning and automorphism groups of curves

  2. Using ML for superelliptic families of curves of high genus 

  3. Arithmetic in the moduli space: an ML approach

  4. Data analysis of Calabi-Yau hypersurfaces via weighted heights

  5. Machine learning and isogenies of Abelian varieties of dimension 2 and 3

  6. Machine learning and toric varieties

  7. Machine learning and cryptography

  8. Support vector machines

• Deep Learning

  1. Convolutional Neural Netwrks

  2. Connections between neural networs and invariant theory

  3. Geometric Deep Learning

• Automatic Theorem Proving

  1. Formal proofs and AI

• Cybersecurity and Cryptography

  1. Homomorphic encryption and graded rings 

  2. Machine Learning and Cybersecurity

• others

Deadline to submit abstracts

February 20, 2024

Contact us

Using AI in Mathematics is a new field and many mathematicians are just venturing in it. Reasearch groups are relatively new and new researchers are getting involved every day. In case we have missed someone, please fill the following form to get in touch with us and to tell us about your intentions on participating or speaking in our session.  We will continue to contact people until the deadline of February 20.