Нещодавно творці пакета Mathematica запустили базу знань Wolfram | Alpha. Ця штуковина приймає запити на англійській мові і намагається видати певні факти і провести розрахунки і графічні побудови. Це щось на зразок оболонки для запитів до решателю Mathematica плюс додаткові факти і дані, які необхідні для формалізації цього запиту. Ось деякі приклади запитів:
Where was Mary Robinson born? How old was Queen Elizabeth II in 1974? San Francisco to Tokyo. Taylor series sin x. Dini’s surface.
За створенням Mathematica і галасом пов’язаної з Wolfram | Alpha стоїть фігура Стефана Вольфраму. Він математик і підприємець, а також автор книги з гучною назвою “A New Kind of Science”. У цій книзі він намагається просунути нову парадигму наукового пізнання через кінцеві автомати. Там він вибудовує масу прикладів застосовності КА для моделювання різних складних явищ і процесів і підносить це як свого роду святий грааль науки і якийсь принципово новий метод. Він вірить, що повинна з’явитися якась нова наука, яка опише світ через КА. Аргументом до використання КА він вважає те, що світ це великий калькулятор і його процеси подібно КА не можуть бути обчислені не пройшовши всі етапи розрахунку. Наприклад мозок ніяк не змоделювати не запустивши його як великий калькулятор. Зрозуміло, що подібні заяви були сприйняті неоднозначно і ця книга отримала обширну критику в наукових колах. Стверджується, що в реалізації Wolfram | Alpha використані ідеї NKS. Цей факт не можна перевірити і це більше схоже на звичайний піар. Особистість самого Вольфрама теж неоднозначна, йому приписують манію величі, яка проявляється у привласненні собі якихось найбільших відкриттів про що він не соромиться говорити в інтерв’ю.
Напевно в його побудовах є раціональне зерно, але подача наукового матеріалу робиться як якесь одкровення. Він намагається звернути читачів у свою нову віру. На цю тему хочу процитувати Станіслава Лема з його збірки філософських есе “Молох”. Ця збірка не раз служив предметом філософських бесід біля вогнища влітку минулого року на Алтаї. Тоді 
dibr пожартував, що у Лема на всі питання є відповіді, от і по цій темі знайшлося:
[Про математику] Вона створює структури, але невідомо чиї. Математик будує моделі, вчинені самі по собі (тобто досконалі за своєю точністю), але він не знає, моделі чого він створює. Це його не цікавить. Він робить те, що робить, оскільки така діяльність виявилася можливою. Звичайно, математик вживає, особливо при встановленні початкових положень, слова, які нам відомі з буденної мови. Він говорить, наприклад, про кулях, або про прямих лініях, або про точках. Але під цими термінами він не має на увазі знайомих нам понять.
…
Математика має прикладне значення. Існує точка зору, яка цю практичну придатність математики пояснює дуже просто: Природа по самій своїй істоті «математична». Так вважали Джеймс Джинс і Артур Еддінгтон; я думаю, що і Ейнштейну така точка зору також не була чужа. Це випливає з його висловлювання: «Raffiniert ist Herrgott, aber boshaft ist er nicht [50]». Заплутаність Природи – так я розумію цю фразу – можна розгадати, піймавши її в мережі математичних закономірностей.
…
Дуже боязко нагадуючи про подібному стані речей, я багато разів говорив про те, що математика для нас є нічим більше, як білою тростиною для сліпого, як «фрагментом буття», до якого пристосувалися всі наші почуття. Так само, як і сліпий, постукуючи перед собою тростиною, завдяки луні створює у своєму розумі наполовину вигадані образи навколишнього світу, так і ми, як фізики, через перепони математики намагаємося побачити те, що «там», у світі, є «в кінцевому рахунку істинно ».
Те, що запропонував Вольфрам – це модель (вірніше прообраз моделі) і єдиний критерій, який може її зробити краще за інших – це практична перевірка. Чи не є це мильною бульбашкою покаже майбутнє.
Ну і нарешті про Kumo. Kumo – це нова засекречена версія пошукача Microsoft, який розуміє запити на природній мові і передбачає певний семантичний аналіз результатів та категоризацію. Нібито він стане доступний в перебігу декількох тижнів, але MS це ніяк не коментує. Є ймовірність, що скоро почнеться ворушіння в технологіях пошуку.