Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

California, along with many other states and nations, has experienced a dramatic increase of student interest in data and computer science careers. Along with the broader tech industry, these fields ...