AI for math.

People type this into the App Store's search box. Google puts it near 2,900 searches a month.