AI models have already been performing quite well on math benchmarks, but they're also making their presence felt in real ...