Does a dog have Buddha nature?

[fregimus]

О чем спросить «Альфу»?

«Альфа» знает и вычисляет множество математических утверждений и оперирует приличным набором фактов. Можете спросить, чему равна константа Фейгенбаума [Feigenbaum constant], узнать длину периода десятичной записи дроби 113/443, разложить на простые множители 12095914091 или записать шестнадцатеричное число DEAD BEEF в десятичной системе счисления [16^^DEADBEEF to base 10].

Если интересуетесь здоровым питанием, можете узнать, сколько калорий в одном кубическом световом годе ванильного мороженого [calories in a cubic light year of vanilla ice cream] (приблизительно 63 424 028 416 141 840 000 000 000 000 000 000 000 000 000 000 000 000.0% дневной нормы), а если физикой и химией — какова плотность пробки [density of cork] (примено в 6 раз легче этилового спирта).

Но оказывается, что «Альфа» может ответить и на некоторые довольно неожиданные вопросы:

What is the airspeed velocity of an unladen swallow?

What is the answer to the ultimate question of life, the universe and everything?

To be or not to be?

How much wood would a woodchuck chuck?

What is the number of roads a man must walk before you can call him a man?

Why did the chicken cross the road?

How much power does the flux capacitor need?

Are you intelligent?

А вот ответа на вопрос в заголовке «Альфа» не знает. И кто убил Лору Палмер — тоже не знает. Будем ждать «Беты»…

Comments

[rezoner.livejournal.com]

Это приближается к Вашей модели гугла!

[fregimus.livejournal.com]

Да, типа того. Только мой воображаемый гугол еще круче. Когда я прошу его принести мне тапочки, он идет на кухню и варит мне кофе.

[(Anonymous)]

Штуковина убойная. Надо беты ждать.
Пока была поставлена в тупик вопросом "Who is mister Putin?"

[(Anonymous)]

Решил, что требую от нее невозможного (после таких прекрасных лирических примеров уж вздумалось, что оно вообще всё знать должно) и спросил чего попроще и "потехничнее": What time is it now? Сломалась японская бензопила...

[fregimus.livejournal.com]

Мне кажется, она сделана немного для других задач.

Путин, кстати, ей известен: http://www19.wolframalpha.com/input/?i=Putin

Сколько времени «сейчас» она не говорит. Спросите "how old are you?"

[(Anonymous)]

Время, как выясняется, она тоже знает. Просто запросов ждет односложных. Великолепно справляется с "now" (восхитило!), ну или просто "time" на худой конец.

Великолепная штуковина

[tielestr.livejournal.com]

О, альфа даже знает ответ на Основной Вопрос (http://www87.wolframalpha.com/input/?i=The+Ultimate+Question+of+Life%2C+the+Universe%2C+and+Everything). И, что не менее ценно, умеет решать дифуры второго порядка! =)

[fregimus.livejournal.com]

Ссылка на основной вопрос у меня в тексте есть.

[tielestr.livejournal.com]

Да, я - тормоз...

[skfd.livejournal.com]

Она не может ответить на запрос "C++" :(

[fregimus.livejournal.com]

Да, данных по языкам программирования там, по-моему, нет.

[janatem.livejournal.com]

Я быстренько подобрал лом попроще, который ее сломал: factor 2^318+1 . Ну еще дифурами легко ломается -- стоит пошевелить параметры, и аналитическое решение перестает выдаваться. Хотелось бы явно различать эти два случая: когда ей не хватило ресурсов посчитать, и когда она принципиально что-то не умеет...

[fregimus.livejournal.com]

Ну, лом-то немного NP-того. Ничего удивительного. А дифурами — дифурами! Кстати, давайте Ваши дифуры, я их попробую в Математике прогнать. Тут мы все сразу и узнаем, чего не хватило — вычислительное ядро одно и то же.

[janatem.livejournal.com]

Ну я и не говорю, что найти лом сложно. (Кстати, я от кого-то слышал про факторизацию, что то ли ее NP-полнота не доказана, то ли вообще не верна. Но с тех пор так и не удосужился проверить источники.)

А с дифурами -- там был пример y'' + y = 0; я умножил y на sin x, и оно спеклось. Я же хорошо помню, что дифуры -- алгоритмически неразрешимая проблема, так что подобрать коэффициенты -- дело нехитрое.

[fregimus.livejournal.com]

Факторизация: 22 секунды (C2 Duo E8300 @ 2.83 GHz):

In[16]:= FactorInteger[2^318 + 1] // Timing

Out[16]= {21.641, 
{{5, 1}, {13, 1}, {10177, 1}, 
 {207973, 1}, {15358129, 1}, {586477649, 1}, 
 {1801439824104653, 1}, 
 {30007459254393181618012897, 1},
 {7971862004867103303293462593, 1}}}

Дифур, конечно, не решается аналитически.

[janatem.livejournal.com]

Наверно там стоит временной лимит, который меньше этих 22 секунд (как мне кажется, страничка с ответом или без ответа выдается секунд за 5). Что в общем логично. А степень 318 -- локально наименьшая, про которой уже ответа нет.

[fregimus.livejournal.com]

Наверно там стоит временной лимит, который меньше этих 22 секунд
Совершенно точно там временной лимит, порядка единиц секунд.

[fregimus.livejournal.com]

Впрочем, ежели согласитесь на что попроще:

In[19]:= DSolve[y''[x] + x^2 y[x] == 0, y[x], x]

Out[19]= {{y[x] -> 
   C[2] ParabolicCylinderD[-(1/2), (I - 1) x] + 
   C[1] ParabolicCylinderD[-(1/2), (I + 1) x]}}

In[20]:= DSolve[y''[x] + x y[x] == 0, y[x], x]

Out[20]= {{y[x] -> AiryAi[(-1)^(1/3) x] C[1] + AiryBi[(-1)^(1/3) x] C[2]}}

In[21]:= DSolve[y'[x] + Sin[x] y[x] == 0, y[x], x]

Out[21]= {{y[x] -> Exp[Cos[x]] C[1]}}

The output has been edited by hand slightly to make it more readable. C[n] are constants of integration. Решение (20) почти тривиально в смысле, что оно едва ли не определяет функции Айри.

Russian orthodox

[dr-magic.blogspot.com (from livejournal.com)]

А мне понравилось, что альфа ответила на запрос "Russia"(http://www69.wolframalpha.com/input/?i=Russia) в главе "Religions":
"religions | Russian Orthodox (17.5%) | Muslim (12.5%) | Christian (2%)".
Интересно, как вы понимаете понятие "Russian Orthodox"? :)

Re: Russian orthodox

[fregimus.livejournal.com]

Православные христиане.

[lastcomm.livejournal.com]

Ну если народу понравится, то здорово

[fregimus.livejournal.com]

Конечно. А не понравится — можно добавить мультики про Микки-Мауса.

[janatem.livejournal.com]

Микки-Маус -- это такой эвфемизм к блэкджеку со шлюхами? ;)

[riki-koen.livejournal.com]

[fregimus.livejournal.com]

Ну да. Там еще много таких «полезных» данных есть.

[(Anonymous)]

Are you sure what to do with my input?

[fregimus.livejournal.com]

Excuse me?