（代号Aletheia），Gemini负责证明、Aletheia负责验证，对7oo个开放问题发起冲锋。