a1. This theory is yet to be proven.
a2. This theory is not yet to be proven.
I feel both a1 and a2 denote the same meaning that this theory hasn't been proven yet and probably will be proven, which seems to me that NOT doesn't take any effect. I am not sure if my suspicion is correct. Or if there is some difference between a1 and a2?