5. Closed companies providing proofs can only add to mathematic, they can't remove. The math community will continue to have all the past tools plus the new proofs, plus, likely, access to advanced AI. So if the math community will be willing to make progresses, it still can.