The team introduced Pessimistic Verification for open-ended mathematical proof checking.