Proving a program to be secure down from applying Schrödinger's equation on the quarks and electrons the computer is made of is way beyond our current abilities, and will remain so for a very long time.

Challenge accepted! We can do this, we just need some help from a provably friendly artificial superintelligence! Oh wait...