Will machines replace mathematicians and physicists?

Description

Artificial intelligence is increasingly being used to prove theorems in mathematics and theoretical physics. This project requires the student to research this topic and provide a survey of the different approaches used so far and what progress has been made, giving multiple examples. The student will also develop some of their own examples depending on their knowledge and expertise. Some initial reading sources are: https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ https://harmonic.fun/ https://axiommath.ai/ https://adam.math.hhu.de/#/g/djvelleman/stg4 https://www.youtube.com/watch?v=TFBzP78Jp6A https://arxiv.org/abs/2506.20729