英语 ⇄ 俄语 +

be proven to be true with current knowledge 强调
人工智能	быть доказанным в качестве истинного на основе имеющихся знаний (Alex_Odeychuk)