Критерии истинности в математике и в естественных науках отличаются. В естественных науках критерий истинности -- эксперимент, а в математике -- доказательство, то есть согласие с системой аксиом.
Но кроме истинности есть еще критерии пользы и удобства. Поэтому остаются в математике не просто согласованные с аксиомами идеи, но полезные и удобные на практике. В этом смысле математика с практикой согласуется.
Алгоритмы умножения чисел постоянно совершенствуются. Математики придумаывают такие алгоритмы, в которых требуется все меньше и меньше элементарных операций для умножения. Серьезный прогресс в этом отношении был достигнут в 2019 году.
Так и да! По определению!