> For years, AI researchers have used math as a proving ground for their models.

For years?