我写了一篇关于人工智能时代证明助手的论文。