Чтобы обойти эти проблемы, программисты и математики еще с пятидесятых годов прошлого века стали развивать область формальных доказательств. Доказательство кодируется на языке формальной логики, а специальная программа проверяет его корректность. И кодировка доказательства, и программа его проверки тоже могут содержать ошибки, но таких программ уже несколько и многократная проверка вселяет уверенность в надежности доказательства. В последние годы программы проверки доказательств стали достаточно мощными, чтобы справляться со сложными теоремами. К сожалению, формальная запись доказательства пока получается примерно в четыре раза длиннее обычной и требует примерно неделю муторной напряженной работы, чтобы формализовать одну страницу. И надо очень любить математику и программирование, чтобы этим заниматься. Тем более что славы проверка известных теорем не приносит. Впрочем, программы совершенствуются, и, возможно, в недалеком будущем запись формального доказательства станет не намного труднее записи обычного. А редакции математических журналов не станут рассматривать статьи без приложения формальных записей сформулированных в них теорем.
Сегодня имеется около двух десятков пакетов для проверки доказательств, пять из которых особенно популярны. С их помощью в общей сложности проверено восемь десятков теорем - капля в море математики. Но пока эта деятельность лишь удел небольших групп специалистов, и не все математики одобряют эту работу. Тем не менее авторы обзоров призывают специалистов и энтузиастов присоединяться к процессу формализации доказательств, чтобы сделать математику еще более надежной основой науки. ГА
Новый суд по старому вопросу
В конце октября медиахолдинг ВГТРК подал несколько исков, связанных с защитой своих авторских прав. Ответчиками по ним являются крупнейшая российская интернет-компания Mail.ru, а также социальная сеть "Вконтакте". Правда, на сайте Арбитражного суда Москвы пока имеются сведения только о двух исках, поданных к Mail.ru, с датами рассмотрения 24 ноября и 10 декабря.
Причина исков не оригинальна: нарушение авторских прав. Вернее, вопрос о том, кто должен за это отвечать - владельцы сайта, на который можно загрузить охраняемые копирайтом материалы, или его пользователи. По словам главного редактора канала "Вести" Дмитрия Медникова, холдинг намерен судиться со всеми, кто незаконно распространяет их контент. Он заявил, что причиной иска стало то, что наряду с короткими роликами на сайтах ответчиков начали появляться программы, сериалы и фильмы целиком. ВГТРК добивается, чтобы все сайты, на которых появляются видеофайлы с их передачами, начали сотрудничать с владельцами смежных прав.
В принципе, короткие ролики вполне подпадают под нормы ГК о цитировании, поскольку закон никак не регламентирует то, какие произведения могут цитироваться. Однако с произведениями целиком этот номер, разумеется, не проходит.
На Западе в таких случаях применяется принцип "безопасной гавани" (safe harbor): владелец сайта, на который пользователи загружают охраняемый авторским правом контент, может быть освобожден от ответственности, если в его действиях не содержится никакой вины (он не мог знать о нарушении чужих прав и предотвратить их). В отечественном законодательстве нечто подобное закреплено в статье 1064 Гражданского кодекса: чтобы избежать ответственности, лицо, причинившее вред, должно доказать отсутствие своей вины. Однако сделать это в случае с Mail.ru будет проблематично: ведь придется сперва установить личность пользователя, загрузившего ролик на сайт, и привлечь его к суду в качестве надлежащего ответчика.
Вдобавок судебные процессы, в ходе которых к ответственности за пиратство пользователей привлекались именно владельцы ресурсов, на которых выкладывались произведения, уже имели место. Самым нашумевшим из подобных случаев последнего времени стало привлечение к суду компании "Мастерхост" - за популярный сайт, распространяющий пиратскую музыку. Хостер не смог доказать, что непричастен к злополучному ресурсу, а только предоставлял техническую площадку для его функционирования, и в результате оказался крайним.
Примерно то же самое может произойти и с ответчиками по искам ВГТРК, причем даже с большей вероятностью: в случае с "Мастерхостом" потенциальным нарушителем было все-таки одно юридическое лицо, а не множество физических.
Однако в пользу Mail.ru может быть истолкован один из пунктов постановления Пленума Верховного Суда от 19 июня 2006 года "О вопросах, возникших у судов при рассмотрении гражданских дел, связанных с применением законодательства об авторском праве и смежных правах". В тринадцатом пункте этого документа суд разъясняет вопрос о том, кто должен считаться надлежащим ответчиком по делам о нарушении авторских прав. В качестве примера ненадлежащего ответчика приводится типография, которая по заказу издательства печатает тираж произведения с предоставленного оригинал-макета. В случае, если издательство нарушит права автора отпечатанного произведения, именно его, а не типографию, нужно будет привлекать к ответственности, поскольку именно издательство осуществляет действия по использованию произведения (в том смысле, который вкладывает в это понятие законодательство об авторских правах). Типография же в данном случае осуществляет только "техническое содействие".
Это, если хотите, и есть та самая отечественная "безопасная гавань". Однако отграничить действия по такому "содействию" от использования произведения в Интернете гораздо труднее, чем в издательской деятельности. Не определяя конкретной "издательской политики", хостеры контента все-таки на нем косвенно зарабатывают, размещая на сайте рекламу, а в самих роликах - свой логотип. Именно этим зачастую обосновывается необходимость "платить и каяться". Ну и еще одним железным аргументом является то, что у хостера водятся деньги…
В общем, чтобы довести свое судно до "безопасной гавани", юристам Mail.ru придется потрудиться. Тем не менее шансы есть: в упомянутом деле "Мастерхоста" при первоначальном рассмотрении в иске было отказано, удовлетворен он был уже при пересмотре. Впрочем, не исключено, что Mail.ru предпочтет договориться с ВГТРК полюбовно. Это еще не поздно сделать. ПП
Новости подготовили
Галактион Андреев
Александр Бумагин
Татьяна Василькова
Владимир Головинов
Евгений Золотов
Денис Коновальчик
Игорь Куксов
Павел Протасов
Дмитрий Шабанов
Metro-Goldwyn-Mayer и Google договорились о том, что голливудский киногигант будет выкладывать на YouTube свои полнометражные фильмы и телесериалы.Для Google, которой не раз приходилось отбиваться от обвинений в нарушении авторских прав на видеопортале, соглашение станет неплохой возможностью продемонстрировать свое желание сотрудничать с правообладателями. Пока MGM ограничился открытием двух каналов: Impact и American Gladiators. Там пользователи могут бесплатно посмотреть фильмы и сериалы прошлого века, однако за это придется терпеть рекламу. О том, стоит ли овчинка выделки и как скоро другие кинокомпании последуют примеру MGM, говорить пока рано. АБ
NASA объявило, что зонд "Феникс" отправлен в отставку. Выборочное отключение оборудования лишь продлило агонию аппарата. С конца октября "Феникс" начал пропускать сеансы связи, что свидетельствовало о критическом состоянии его систем. Спустя неделю после получения последнего сигнала ученым ничего не оставалось, как признать, что марсианская зима вынудила зонд умолкнуть навсегда. Какое-то время специалисты NASA еще будут пытаться установить связь, но особых надежд на успех не питают. Впрочем, грех жаловаться - исследовательская миссия "Феникса" и так продолжалась почти вдвое дольше запланированного срока. АБ
***
Защищенность беспроводных сетей, использующих стандарт WPA, до сих пор считалась достаточно надежной. Но теперь и этот бастион уже нельзя назвать неприступным. Двое исследователей из Германии, Эрик Теус и Мартин Бек (Erik Tews, Martin Beck), обнародовали результаты атаки, позволяющей отчасти скомпрометировать самый популярный стандарт защиты сетей WiFi.
Еще свежа в памяти поучительная история ритейлера T. J. Maxx и других супермаркетов, из чьих беспроводных сетей мошенники многие месяцы тягали номера кредиток (см. "КТ" #746). Брешью в их защите стал стандарт WEP (предок WPA), который давно дискредитировал себя в качестве стража для WiFi-сетей. И вот история повторяется с WPA? Страсти несколько поутихли после того, как Теус с коллегой пояснили, что журналисты, поднявшие было панику, преувеличили потенциальную опасность. О полной компрометации WPA речи не идет, однако первая серьезная зазубрина на его имидже поставлена.
