>3.Coqと人工知能の連携を考えること。
ここをもう少し詳しく