Прямые доказательства (список постоянно обновляется, в комментах можно оставлять ещё примеры для добавления)
( Read more... )

Wolfram Alpha, запуск которой запланирован в мае сего года (2009) - проект, которому предрекают будущее, сравнимое с Google. Система будет давать ответ на поставленный вопрос в человеческой форме, учителей в школах и ВУЗах сменят программисты-инструктора, а сбор информации для принятия решений займёт считаные минуты. Вот только непонятно пока, из ( Read more... )