“I think we have pretty good consensus that math is not going to be solved.” Former NFL player and MIT math professor @JohnCUrschel says AI is helping mathematicians move faster than ever, but there’s still plenty left to discover. “There’s so much farther to go.”