AI Hilbert: A New Paradigm for Scientific Discovery by Unifying Data and Background Knowledge