В настоящее время завершается работа над технологией, благодаря которой компьютер самостоятельно сможет проверять качество изложения и научную объективность предложенного текста.
Интересно, а сможет ли эта технология правильно идентифицировать фразу: "Глукая куздра куздрячила куздренка"? А тем более, разобраться с "вечными двигателями" и другими софизмами? Кроме того, новое знание содержит в себе новые связи, которые расширяют систему аксиом. Интересно, в каком направлении пойдет расширение аксиоматической базы знаний? Мало того, русский язык по определению не является формальным языком. Следовательно, не существует точных описаний русского языка. Да еще теорема Гёделя "путается под ногами"! Для объективной научной оценки некоего знания эта система уже должна содержать в себе это знание. Полностью описать, исследовать и доказать непротиворечивость некой системы высказываний можно только в более мощной, включающей в себя исследуемую в качестве своей подсистемы.
В общем, сегодня не 1 апреля и мы не в Англии. Значит, этим сообщением заявлено о создании настоящего искусственного интеллекта. Ну чтож. Простой тест все расставит все на свои места: если система сможет сказать про табуретку, что это разновидность стула, а не стола, тогда энциклопедистов надо поздравить с Нобелевской премией по медицине. Такие же "стулья" и "столы" есть и в языке. Иначе - с 1 апреля всех нас в середине лета.