数学家。Timaeus 研究主管。致力于奇异学习理论和人工智能对齐。