UC Berkeley math professor Nikhil Srivastava met with researchers on a mission to create a new way of assessing the mathematical capabilities of AI.