There is one intriguing, annoying and painful fact that not many security experts want to see, let alone accept.
Not a single modern cryptographic algorithm is mathematically proved secure.
It sounds flat-out wrong, but it is an undeniable fact. But not as unpleasant as you might think at first