Цифровой журнал «Компьютерра», 2010 № 21 | страница 41



Посетителям достаточно лишь кликнуть кнопку браузера «Обновить», и лично для них программа тут же выпекает — автоматически и случайным образом — совершенно новые статьи по физике высоких энергий, нередко за подписями таких светил, как Виттен, Фейнман или Гейзенберг. Точнее сказать, выпекаются пока не полноценные работы, а карточки библиоучета типа «заголовок, автор и краткое резюме». Удовольствие же заключается в том, что выдаваемые программой заголовки и резюме генерируемых статей выглядят на редкость реалистично — даже по мнению развлекающихся физиков, не говоря уже об их восприятии всеми остальными.

Ну а чтобы в итоге стало совсем уж смешно, здесь же на сайте посетителям предлагается сыграть в простенькую, на первый взгляд, игру под названием "arXiv против snArxiv". Суть забавы: по заголовку очередной статьи определить, откуда она взята, из реального архива препринтов или же с выхода программы-генератора. Несмотря на кажущуюся простоту, задача отделения «смысла» от «бреда» в условиях относительно короткой фразы заголовка оказывается делом нетривиальным даже для профессионалов. Тем более, что и в абсолютно настоящих научных работах заглавие порой умышленно формулируется авторами вызывающе парадоксально (типа «Новая старая теория инфляции»)... По этой причине среднестатистический игрок-физик дает правильные ответы лишь где-то в 60-70% попыток.

Автором всей этой провокационной затеи является Дэвид Симмонс-Даффин (David Simmons-Duffin), аспирант-третьекурсник Гарвардского университета, специализирующийся на теоретической физике высоких энергий, с особым интересом к областям пересечения струнной теории, дополнительных измерений и эффективных теорий поля. Устройство своего побочного детища и историю его появления на свет автор описывает примерно так:

"Программа snarXiv построена на основе контекстно-свободной грамматики или кратко CFG (context free grammar) — по существу, наборе формальных правил для генерируемых компьютером безумных библиотек. Каждое правило в CFG состоит из выражения и некоторого набора выборов относительно того, как конструировать это выражение. Сейчас автор уже точно не помнит, почему решил всё это сделать. Но толчком послужил уже имевшийся костяк программы, оставшийся от прошлого (более серьезного) проекта под условным названием «генератор теорем»..."

Хотя в области теоретической физики неординарную работу Д. Симмонса-Даффина вполне можно считать новаторской, в других приложениях искусственного интеллекта у неё имеется множество весьма знаменитых предшественников. И есть, наверное, смысл вкратце напомнить о некоторых из этих работ, дабы все мы почаще задумывались о реальной ценности довольно многих из интеллектуальных изысканий человечества.