Aran Nayebi, Carnegie Mellon Machine Learning professor, cites Gödel's First Incompleteness Theorem to argue no algorithm or AI can capture all mathematics

Yep! The "discover all math that can possibly be discovered" program is already ruled out by Gödel's First Incompleteness Theorem. There doesn't exist an algorithm (which AI falls under!) that can capture *all* possible mathematics. Math's just too darn open-ended 😉