对话 DeepSeek-Prover 核心作者辛华剑
辛华剑，现在是爱丁堡大学人工智能专业的一年级博士生，研究方向是使用大语言模型进行形式化数学定理自动证明的任务。本科就读于中山大学哲学系逻辑学专业，深入学习了这类形式化方法的理论基础，后来在中山大学梁小丹老师的指导下开始以 AI 研究的视角切入这个问题，随后分别在华为诺亚方舟实验室和 DeepSeek AI 做了一系列探索性的工作，现在在读博士的同时也在字节跳动 Seed 团队继续进行这一方向的研究实习。