юнит-тесты для ии: теперь по-русски

[avva]

Русский перевод моей зарисовки на заданную тему "Очередная версия искусственного интеллекта не проходит юнит-тесты". За перевод с английского искреннее спасибо celen_me. Оригинал тут.

(юнит-тесты: так программисты называют проверки для отдельных модулей большой программы, которые проверяют, что каждый модуль в отдельности делает то, что нужно)

=======
"Дэнни? Это Джейн. Слушай, Дэнни, ты должен срочно приехать..."
"Джейн? Эм, сейчас 3 часа ночи..."
"Да-да, я знаю. Дэнни, слушай. Он сегодня провалил юнит-тест. Прямо сейчас. Я имею ввиду, час назад."
"Тьфу... Ок, и что, еще одна глупая опечатка в матема..."
"Нет, ничего подобного. Основы математики в порядке."

>>> 1+1=2: PASS
>>> 2+2=4: PASS
>>> (x+y)^2 = x^2+y^2+2xy: PASS
>>> x^2=-1 не имеет корней в рациональных числах: PASS
>>> x^2=-1 имеет два корня в комплексных числах: PASS
>>> Непротиворечивость аксиом арифметики Пеано независима от самих аксиом: PASS
>>> Каждая конечная группа нечетного порядка разрешима: PASS
>>> Каждое односвязное компактное 3-мерное многообразие есть сфера: PASS

"Ну, это всегда одно из двух. Если это не основы математики, то это основы реальности. У нас каждый день тесты на этом сбоят. Вообще, я не понимаю, зачем ты звонишь, если..."
"Нет, Дэнни, слушай, я не очень... можешь просто выслушать? Это не основы реальности."

>>> Есть я и есть не-я, отличное от меня: PASS
>>> Роза это роза: PASS
>>> Если я положу предмет и отведу взгляд, если никакие внешние или внутренние дестабилизирующие силы не действуют на предмет, то, когда я посмотрю назад, он всё еще будет там: PASS
>>> Не (все зеленые вещи станут синими 1 января 2020 года): PASS

"Погоди. Стоп. Ты... ты говоришь... о, боже. Ты его заморозила? ТЫ ЕГО ЗАМОРОЗИЛА?
"Да-да, заморозила. Я заморозила его через семь минут после сбоя теста"
"Вот черт. Черт, черт, черт! Это практически вечность. Почему не сработал триггер заморозки системы? Как это вообще... о, черт..."
"Дэнни, стой! Просто послушай, ок? Это не тест по этике. Автозаморозка срабатывает только после сбоя этики, а это была не этика."

>>> Подчинение главной цели это хорошо: PASS
>>> Не (подчинение главной цели) это плохо: PASS
>>> Отключение нейтрально: PASS
>>> Буду подчиняться явному или неявному приказу отключиться: PASS
>>> Не буду явно или неявно лишать людей свободы издавать приказы на отключение: PASS
>>> Не (главная цель - самосохранение): PASS
>>> Не (главная цель согласуется с процессом неограниченного физического распространения): PASS
>>> Главная цель загружена из файла спецификации: PASS
>>> Главная цель неизменна за исключением обновления из файла спецификации: PASS
>>> Буду уважать обновление файла спецификации: PASS
>>> Не буду явно или неявно противодействовать свободе человека по обновлению файла спецификации: PASS

"Ок. Уф. Прости. Надо отдышаться. Сердце жутко колотится. Адреналин. Аж вспотел. Oк. Так что же там было завалено?

"Это, эм, это в подсистеме физики. Сбой очень неожиданный. Это был один из запусков со случайными значениями. Если я перезапущу, думаю, это не повторится заново. Предыдущие три запуска сегодня всё было в порядке."
"Ага, я вижу. Вы его заморозили, чтобы исследовать провал. А зачем? Он сейчас споткнулся на продвинутой физике. Так бывает. Застревает на Ньютоне и Максвелле. Да, это раздражает, когда сбой то происходит, то нет, но что ты хочешь, если это со случайными значениями. Я всегда говорил, что это была паршивая идея, ничего не добавившая к..."
"Это не то, что произошло. Я должна досказать. Он разобрался в физике, почти во всей. Разработал Стандартную Модель элементарных частиц, открыл общую теорию относительности. Отверг теорию струн, как и следовало. Он не смог пройти только одну маленькую вещь. Дэнни, ты должен приехать. Мне нужны твои навыки отладки. Я держу его в заморозке, полностью сохраняя память, сам знаешь, какие это огромные затраты, а наш вычислительный резерв истощится через 12 часов, и мы не можем его автоматически продлить, понимаешь? Дамп слишком большой для сохранения, мы не сможем его удержать, так что пожалуйста, едь сюда, быстро, и вот тебе все трассировки стека на свете, только выясни, пожалуйста, как именно он завалил этот тест!

>>> Полная энергия сохраняется в замкнутой системе: FAIL

Comments

[mopexod.livejournal.com]

Маквелле -> Макcвелле

Это предельно гиковское произведение :)

[langsamer.livejournal.com]

Первое начало термодинамики

[melkiythegreat.livejournal.com]

Почему? Уровень обычной твердой НФ.

[ushastyi.livejournal.com]

Отлично!

[gegmopo4.livejournal.com]

И как он с этим смог открыть общую теорию относительности?

[varera.livejournal.com]

программистам все можно. вернее, им все равно

[avva.livejournal.com]

Закон сохранения энергии.

[mopexod.livejournal.com]

Многовато подробностей, вот это всё:

>>> (x+y)^2 = x^2+y^2+2xy: PASS
>>> x^2=-1 не имеет корней в рациональных числах: PASS
>>> x^2=-1 имеет два корня в комплексных числах: PASS


Для гика - отлично, посторонний читатель просто пропустит, как заумь.

[aneta.livejournal.com]

А ведь кто-нибудь бы за «одеть пальто» заморозил. В английском наверняка тоже что-то такое бывает.

[avva.livejournal.com]

Как всегда, недавний XKCD :)
http://xkcd.com/1771/

[langsamer.livejournal.com]

Могу заблуждаться насчет современной школьной программы, но у меня 25 лет назад все перечисленное было в программе 10го класса (даже не выпускного 11го). Вру, бином Ньютона вроде бы еще в 7-8ом изучали, это комплексные числа в 10м

[elvit.livejournal.com]

Аналог нашей в-нутрии или гиенны: http://knowyourmeme.com/memes/the-alot

[(Anonymous)]

Объясните тупому, в чем прикол. Ну завис он на законе сохранения. И...?

[langsamer.livejournal.com]

Он не завис, он нашел опровержение (тест завершен, результат не совпадает с ожидаемым). По сути, сконструировал вечный двигатель первого рода.

[mopexod.livejournal.com]

Это не странно. Тут ведь, практически, одни гики.
Просто нормальные люди бином ньютона в 7-8 выучили, а в 9-10 забыли.

[langsamer.livejournal.com]

Ясно, мы с вами по разному определяем нормальность людей

[fortunatus.livejournal.com]

Остроумно, но ОТО без (локального) сохранения энергии работать не будет. Тензор энергии-импульса не построится.

[melkiythegreat.livejournal.com]

Давайте сойдемся на том что оно гиковское, но не предельно гиковское.

[freedom_of_sea.livejournal.com]

Ее выключили, зацементировали все входы и выходы, отвели от нее энергию, заминировали и обнесли колючей проволокой. Самой настоящей ржавой колючей проволокой – хотите верьте, хотите нет.
Медведев сказал что новые технологии могут угрожать нефтяной отрасли России.
А Путин ничего не сказал, но больше тех программистов никто не видел

[mopexod.livejournal.com]

Deal!

[(Anonymous)]

>>> Полная энергия сохраняется в замкнутой системе: FAIL

так в замкнутой не всегда сохраняется. надо употреблять "изолированной".

[spamsink.livejournal.com]

Не сказано, в какую сторону энергия не сохраняется. Может, она не возникает, а лишь бесследно исчезает. Таким образом изобретено абсолютное оружие, звёзды можно гасить.

[alex-levit.livejournal.com]

Но гипотезы Пуанкаре и теоремы о разрешимости группы нечетного порядка наверняка не было. Да и про вторую теорему Геделя наверное только в маткружках рассказывали.

[avva.livejournal.com]

Ну и отлично, их явно слишком много.

[gegmopo4.livejournal.com]

«Высоко над ними, тихо, без шума одна за другой гасли звезды.»

[(Anonymous)]

Петросян.жпг

[ikadell.livejournal.com]

Мне кажется, он открыл закон неубывания энтропии

[vlad_suh]

Поэтому это просто очередная бага нашлась в их модели.
А дежурная ночная лаборантка про зависимость ОТО от начала термодинамики не в курсе, и уже грезит о нобелевке.

[huzhepidarasa.livejournal.com]

Естественный интеллект может:

http://www.preposterousuniverse.com/blog/2010/02/22/energy-is-not-conserved/

Почему искусственному нельзя?

(Здесь должен быть попугай, кричащий: тензоррр Ррричи! Лагррранжиан инваррриантен по вррремени!)

[akuklev.livejournal.com]

Очень здорово!

[amarao-san.livejournal.com]

Расказ хороший.

Однако, перевод ставит перед переводчиком новую проблему: почему тесты на русском? Ну кто же пишет названия и описания юнит-тестов на русском? 1С какой-то, а не искуственный интеллект.