How would you know? Its easy to also accidentally use AI. They are mathematicians, they know mathematics demands proofs. If they pledge they shall not use AI, they should provide cryptographic proof otherwise the statement is considered untrue.