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

Искусственный интеллект (ИИ; англ. artificial intelligence, AI) — свойство искусственных интеллектуальных систем выполнять творческие функции, которые традиционно считаются прерогативой человека (не следует путать с искусственным сознанием); наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. Искусственный интеллект — технология, которая позволяет программе воспроизводить и даже превосходить возможности человеческого разума. Последние несколько лет...