工学で応用するなら、長く、もしくは広く反例が見つかっていないというだけで十分で
厳密な証明がなされている必要など無いのだが
証明がされるとなぜ精度が上がったりするのだろう？