It's not a "bug" but it is disappointing. To mathematicians and non-mathematicians. Being unable to prove or disprove certain statements is a rainy cloud. Lik

It's not a "bug" but it is disappointing. To mathematicians and non-mathematicians. Being unable to prove or disprove certain statements is a rainy cloud. Like maybe the Riemann hypothesis is just impossible to prove. It doesn't mean math is "broken" but it is disappointing, no?