Tôi đã viết một bài luận về các trợ lý chứng minh trong thời đại AI.