Are there any particularly interesting mathematical problems that we KNOW are provable but have yet to prove? If so, what would the real-world effects of a proof be?