I mean once they release the proof you can check the maths yourself and I’m pretty sure it would be peer verified as well.