AI math verification