Mathematicians can only make these demands because they believe that AI labs get a lot of credibility from math results. So they propose a trade: we give you credibility, you give us funding and let us to gate-keep.