Related: The Potential for AI in Science and Mathematics - Terence Tao https://www.youtube.com/watch?v=_sTDSO74D8Q