Does anyone know of any other examples where computers, artificial intelligence or machine learning have led to mathematical discoveries or insights?
For example: DeepMind Helps Mathematicians Develop New Theorem in Potential Breakthrough
Also, is there any known research in these areas?
Here are some thoughts on research Advancing mathematics by guiding human intuition with AI