После провала идеи создания универсального «решателя» задач в сфере искусственного интеллекта (ИИ), работы пошли по нескольким, казалось бы, совершенно разным направлениям. В некоторых из них машины уже превзошли человека, в других люди пока ещё удерживают «пальму первенства». Доказательство теорем Машины хорошо справляются с этими задачами тогда, когда доказательство может занимать несколько тысяч страниц, и математики порой теряют возможность проследить логику доказательства. Это связано с крайней переусложнённостью математического знания...

Исследованиями в области искусственного интеллекта занимаются специалисты из разных стран. Осознавая огромные перспективы высокоинтеллектуальных систем, российские разработчики также уделяют этому направлению особое внимание. В данном обзоре мы собрали информацию о российских компаниях, занимающихся исследованиями в области искусственного интеллекта. Компания Яндекс Компания Яндекс уже на протяжении нескольких лет применяет технологии искусственного интеллекта в своих поисковых механизмах. В настоящий...