团队提出悲观验证方法，用于开放式数学证明检查。