>>894
数式から未知の現象を導き出した例なんていくらでもあると思うけど。
数式から未知の現象を「予言」して、実際にその現象が確認された例とか。