There is no risk of being scooped. There are multiple ways of preregistering this, from timed crypto hashes, to showing the proofs to influential mathematicians before releasing them.
It this had happened and been shared with mathematicians, there would be leaks.