?

Log in

No account? Create an account
юнит-тесты для ии: теперь по-русски - Поклонник деепричастий [entries|archive|friends|userinfo]
Anatoly Vorobey

[ website | Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

Links
[Links:| English-language weblog ]

юнит-тесты для ии: теперь по-русски [дек. 21, 2016|01:27 pm]
Anatoly Vorobey
[Tags|, ]

Русский перевод моей зарисовки на заданную тему "Очередная версия искусственного интеллекта не проходит юнит-тесты". За перевод с английского искреннее спасибо 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:
[User Picture]From: mopexod
2016-12-21 11:38 am
Маквелле -> Макcвелле

Это предельно гиковское произведение :)
(Ответить) (Thread)
[User Picture]From: melkiythegreat
2016-12-21 12:14 pm
Почему? Уровень обычной твердой НФ.
(Ответить) (Parent) (Thread) (Развернуть)
(Удалённый комментарий)
[User Picture]From: langsamer
2016-12-21 12:04 pm
Первое начало термодинамики
(Ответить) (Parent) (Thread)
[User Picture]From: ushastyi
2016-12-21 12:29 pm
Отлично!
(Ответить) (Thread)
[User Picture]From: gegmopo4
2016-12-21 12:32 pm
И как он с этим смог открыть общую теорию относительности?
(Ответить) (Thread)
[User Picture]From: varera
2016-12-21 12:34 pm
программистам все можно. вернее, им все равно
(Ответить) (Parent) (Thread)
[User Picture]From: aneta
2016-12-21 12:52 pm
А ведь кто-нибудь бы за «одеть пальто» заморозил. В английском наверняка тоже что-то такое бывает.
(Ответить) (Thread)
[User Picture]From: avva
2016-12-21 12:57 pm
Как всегда, недавний XKCD :)
http://xkcd.com/1771/
(Ответить) (Parent) (Thread)
From: (Anonymous)
2016-12-21 01:18 pm
Объясните тупому, в чем прикол. Ну завис он на законе сохранения. И...?
(Ответить) (Thread)
[User Picture]From: langsamer
2016-12-21 01:20 pm
Он не завис, он нашел опровержение (тест завершен, результат не совпадает с ожидаемым). По сути, сконструировал вечный двигатель первого рода.
(Ответить) (Parent) (Thread) (Развернуть)
[User Picture]From: fortunatus
2016-12-21 01:52 pm
Остроумно, но ОТО без (локального) сохранения энергии работать не будет. Тензор энергии-импульса не построится.
(Ответить) (Thread)
[User Picture]From: vlad_suh
2016-12-22 11:13 am
Поэтому это просто очередная бага нашлась в их модели.
А дежурная ночная лаборантка про зависимость ОТО от начала термодинамики не в курсе, и уже грезит о нобелевке.
(Ответить) (Parent) (Thread)
[User Picture]From: freedom_of_sea
2016-12-21 02:01 pm
Ее выключили, зацементировали все входы и выходы, отвели от нее энергию, заминировали и обнесли колючей проволокой. Самой настоящей ржавой колючей проволокой – хотите верьте, хотите нет.
Медведев сказал что новые технологии могут угрожать нефтяной отрасли России.
А Путин ничего не сказал, но больше тех программистов никто не видел
(Ответить) (Thread)
From: (Anonymous)
2016-12-22 05:23 am
Петросян.жпг
(Ответить) (Thread)
[User Picture]From: akuklev
2016-12-22 03:09 pm
Очень здорово!
(Ответить) (Thread)
[User Picture]From: amarao_san
2016-12-23 09:54 am
Расказ хороший.

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