def

Израильские выборы 2019


Сваял сравнительную табличку по голосованиям в кнессет: сентябрь vs. апрель. Под скриншотом ссылка на документ в Google Sheets:

Таблица выборной статистики
См. как таблицу в Google Sheets.

UPD: Объявлены окончательные результаты: внутри правого блока один голос UTJ отошел к Ликуду, иных значимых изменений нет.


def

Рефлексивное


Новости алгоритмостроения:
Об экстрактивном и отвлеченном нейронном аннотировании документов трансформативными языковыми моделями
Sandeep Subramanian, Raymond Li, Jonathan Pilault, Christopher Pal
(Submitted on 7 Sep 2019)

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

Источник: arXiv:1909.03186 (в русском переводе автора этого блога), via @michael_nielsen.
Аннотация статьи по новому методу алгоритмического аннотирования статей была сгенерирована описанным в статье алгоритмом.


def

Машина Рамануджана


Всю ночь бредем мы сквозь сумятицу,
Сумятицу, сумятицу,
И лишь к утру на нас накатится
Догадка, что была в крови…
     — Юрий Визбор


Сриниваса Рамануджан сформулировал множество нетривиальных гипотез о соотношениях между числами. Свои озарения он, как правило, не сопровождал доказательствами. Он вообще не любил строгость, ему вряд ли был свойственен интерес к логически последовательным алгебраическим выкладкам. Он свободно играл с числами, каким-то образом чувствовал и понимал их свойства и закономерности. Изощренная математическая интуиция позволяла ему извлекать из всего многообразия бесконечных числовых рядов те диковинные и примечательные, что неочевидным образом сводились к конечно выражаемым значениям. Многие догадки Рамануджана подтвердились, хотя иные и не выдержали строгой проверки. Его называют «индийским самородком», «повелителем чисел», «человеком, познавшим бесконечность». Он считается гением, чья безвременная кончина в 1920 на 33-м году жизни лишила нас бог весть какого количества ценных математических наблюдений, которыми он непременно поделился бы, если бы прожил дольше. Все это и многое другое о Рамануджане вы знаете и без меня, я просто воспроизвел общеизвестное (и сам с этим согласен).

Перематываем пленку на столетие вперед до лета 2019, когда было объявлено о создании «Машины Рамануджана».
Машина Рамануджана: автоматически генерируемые гипотезы о фундаментальных константах
Gal Raayoni, George Pisha, Yahel Manor, Uri Mendlovic, Doron Haviv, Yaron Hadad, Ido Kaminer
(Submitted on 29 Jun 2019)

Фундаментальные математические константы, такие как e и π, повсеместно присутствуют в самых разных научных областях от абстрактной математики и геометрии до физики, биологии и химии. Тем не менее, на протяжении столетий новые математические формулы, связывающие фундаментальные константы, были скудны и обычно обнаруживались случайно. В этой статье мы предлагаем новый и систематический подход, задействующий алгоритмы для производства новых математических формул с фундаментальными константами и помогающий выявить их структуру. Наши алгоритмы находят десятки как хорошо известных, так и ранее неизвестных представлений π, e и значений дзета-функции Римана в виде непрерывных дробей. Вот две новые гипотезы, созданные нашим алгоритмом наряду с другими:

Две формулы

Мы представляем два алгоритма, доказавшие свою полезность при поиске новых результатов: вариант алгоритма встречи посередине (Meet-In-The-Middle, MITM) и градиентного спуска (Gradient Descent, GD), приспособленные под рекуррентную структуру непрерывных дробей. Оба алгоритма основаны на подборе совпадающих численных значений и обнаруживают таким путем новые предполагаемые соотношения, при этом не предоставляя доказательств и не требуя предварительных знаний о каких-либо математических структурах. Данный подход, обращающий конвенциональный подход последовательной логики в формальных доказательствах, особенно привлекателен применительно к фундаментальным константам, математическая структура которых неизвестна. Взамен конвенционального, наша работа предлагает концептуально новый подход к исследованиям: компьютерные алгоритмы, использующие численные данные для выявления новых внутренних структур и гипотез, тем самым играющие роль математической интуиции великих математиков прошлого и подсказывающие направления новых математических исследований.

Источник: arXiv:1907.00205 (переведено на русский автором данного блога).
Выдержат ли алгоритмически сгенерированные гипотезы подходящую модификацию теста Тьюринга? Например, можно предложить студентам-математикам угадать про подборку формул вперемешку, какие из них придумал Рамануджан, а какие созданы компьютером. Сумеют ли атрибутировать лучше, чем бросая монетку?

Если кто-то может указать принципиальное различие между провидческими догадками гениальных математиков и безжизненными гипотезами примитивных алгоритмов — говорите сейчас или молчите вечно добро пожаловать в комментарии.


Вывод формулы


def

Рекламная пауза


Документальному фильму «Аполлон-11» (Apollo 11, 2019) о первой экспедиции на Луну поставил бы 10 из 10. Режиссер Тодд Миллер определенно отдавал себе отчет, что случилось, и нашел способ смонтировать хронику достоверно и выразительно. Авторского закадрового текста нет, личное отношение выражено в монтаже и музыкальном сопровождении. Четырехминутное изображение посадки лунного модуля, лаконично прокомментированное индикаторами высоты и резерва топлива, — безупречно. Я уже знал и про топливо, и про тревожные коды 1202/1201, — и, все равно, впечатлило. Очень высокое качество цветной хроники, из которой собран фильм. Как я понимаю, часть материала оцифровали с архивных пленок специально для этой ленты. Отсутствие закадрового текста означает, между прочим, что все непонятное предстоит гуглить самостоятельно — это фича, а не баг.


Трейлер д/ф “Apollo 11” (2019), источник: NEON/youtube.


def

"Нам лижут пятки языки костра"


«Парниковый эффект» вряд ли обусловит существенные климатические изменения,
прежде чем средняя глобальная температура поднимется на 1°C над текущими уровнями.
Это может произойти во второй или третьей четверти следующего века.
    — Внутренний меморандум Exxon от 12 ноября 1982 г., стр. 2 (документ, контекст)


На днях появился этот трехминутный ролик об углеродном цикле. Текстовые пояснения только на английском, субтитров на других языках я пока не вижу. Но и без текстовых пояснений кое-как можно понять, наверное.


Источник: Smithsonian's National Museum of Natural History, youtube.

Взыскующие большей детализации могут обратиться, например, к этой страничке или посмотреть еще одно видео.


def

Летний день на пляже


Фото
Разгрузка десантных судов на Омаха-Бич, середина июня 1944,
фото Береговой охраны/Национального архива США (public domain).
Источник и атрибуция исходного ч/б снимка: Wikimedia Commons,
современная расцветка: Marina Amaral (site, twitter), крупнее.



def

В день "Д"


По случаю 75-летия высадки в Нормандии, форсировавшей победу над Германией и завершение Второй мировой войны в Европе, присоединюсь к цитированию «провальной» записки Дуайта Эйзенхауэра. Командующий союзными войсками составил ее от руки непосредственно перед плановым началом операции 5 июня 1944 на случай неудачного вторжения. Судя по содержанию и почерку, генерал сочинял и правил это гипотетическое заявление на ходу, без тщательной проработки текста. Между прочим, он описался в дате, указав июль вместо июня. Чернила на бумаге едва успели просохнуть, как Эйзенхауэру пришлось отложить высадку на сутки из-за плохой погоды. На следующий день, несмотря на все еще трудные погодные условия, долгожданный приказ был отдан. Развитие событий 6 июня избавило Эйзенхауэра от дальнейшей работы над этим черновиком, но адъютант сохранил его для истории:

Наша высадка в районе Шербура-Гавра не позволила занять достаточный плацдарм, и я отвел войска. Мое решение о проведении атаки в это время и в этом месте было основано на наилучшей доступной информации. Сухопутные, воздушные и морские силы сделали все, на что способны храбрость и верность долгу. Если кто и виновен или ответственен за неудачу, то только я.
  — 5 июля



Letter
Рукописная записка генерала Эйзенхауэра на случай провала высадки в Нормандии в июне 1944.
Эйзенхауэр описался в дате: должно быть «5 июня».
Источник: MHN.



def

"Приветливые лица, огоньки весёлых глаз"


Красивое компьютерное реконструирование мимики и поворотов головы с неподвижных снимков я впервые увидел, кажется, пару лет назад. На днях вниманию публики предложили очередную демонстрацию. Алгоритм, выполненный на состязательных нейросетях, получает на входе несколько фотографий человека и с них анимирует ролик говорящей головы. Иногда для реалистичной видеореконструкции достаточно всего одного снимка или даже одного рисованного портрета. Выложу и сюда, оно того стоит:


Видео от создателей алгоритма: Samsung AI Center, Moscow (с временной отметки 4:17), источник: Egor Zakharov/youtube.
Статья: Few-Shot Adversarial Learning of Realistic Neural Talking Head Models.


У инструментария фейков впереди большой апгрейд: «Как пророчески заметил Достоевский в своем последнем интервью <ссылка на “кинохронику”>...» И, разумеется, привет говорящим портретам Хогвартса:


Источник: к/ф Harry Potter and the Prisoner of Azkaban (2004), фрагмент в youtube.

Мы рождены, чтоб сказку сделать былью.