I'd go with no. I think there's some classic examples people pull out, but whether the relevant community actually thought them to be correct but unproven, I'd

I'd go with no. I think there's some classic examples people pull out, but whether the relevant community actually thought them to be correct but unproven, I'd like to know. I find this an interesting topic, the concept of we 'know' this is true but can't prove it yet. I wonder if the idea of 'absolutes' sets back Mathematics sometimes. But maybe there are whole fields that rely on yet unproven but assumed true ideas? Complex engineering for instance relies on 'this is probably true'. They make catastrophic mistakes, but they just pick themselves up and move on. Unless they are NASA I guess.