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

Александр Гурьянов

Математические константы вроде отношения длины окружности к ее диаметру π, основания натурального логарифма e или золотого сечения φ естественным образом возникают в задачах математики. Они встречаются не только в разных ее разделах, но и в других науках, использующих ее язык. Знания об известных и малоизвестных широкой публике константах, а также соотношений между ними, ученые добывали по крупицам в течение тысячелетий. Частенько их рождали не строгие теоретические выводы, а интуитивные догадки.

Сриниваса Рамануджан, родившийся в конце позапрошлого века в бедной семье касты брахманов, поражал современников своими математическими озарениями в теории чисел. Они позволили молодому индийскому бухгалтеру независимо сформулировать несколько известных и неизвестных до него результатов, к примеру равенство Эйлера exp(iπ) = —1, где i — мнимая единица. Поучившись и плодотворно поработав в Кембридже всего несколько лет, Сриниваса вернулся на родину и вскоре скончался в возрасте Христа. Однако рассказы о его исключительной интуиции остаются эпосом математики.

Только что именем Рамануджана названа компьютерная программа; ее создала группа из восьми студентов разных факультетов Израильского технологического института (Технион) под руководством профессора Идо Крамера, главы лаборатории квантовой динамики электронных пучков. Эта программа с помощью ИИ реализует систематический подход к поиску соотношений между известными константами. Программа имитирует интуицию математика и посредством вычислительных алгоритмов безо всяких априорных предположений получает гипотезы о соотношениях между числами.

Программа за несколько часов получила все формулы для числа π, открытые Гауссом за свою жизнь, а также дюжину найденных после него. Она также сгенерировала несколько прежде неизвестных соотношений для π, e, значений дзета — функции Римана и нескольких более специальных констант. Самым интересным результатом профессор Каминер считает новые алгебраические соотношения для часто встречающейся в комбинаторике постоянной Каталана.

Авторы планируют расширить свои вычислительные подходы и на другие области теоретической математики и физики. Все интересующиеся могут ознакомиться с этими алгоритмами на специально созданном сайте ramanujanmachine.com Здесь можно также принять участие в доказательстве новых гипотез. Еще до публикации статьи ресурс посетили сотни интересующихся. Ученые надеются, что некоторые из их гипотез окажутся верными и послужат отправными точками для доказательства новых математических теорем.

(Nature, 590, 67, 4 февраля 2021 года) 



Разные разности
Пингвины во сне
Все мы знаем, как важен сон. В этом смысле очень тяжело молодым мамам. Первый месяц-два, когда детеныша надо кормить каждые три часа, о ночном сне можно забыть. И это тяжело, женщины знают. А как животные с этим справляются? Например — птицы? Би...
Долгожители обязаны вирусам
Почему при прочих равных условиях одни доживают до ста лет, а другие — нет? Исследователи из Копенгагенского университета решили поискать ответ на этот вопрос в кишечнике долгожителей, а точнее — в том гигантском сообществе бактерий, которы...
Сердце требует движения
Огромное количество исследователей во всем мире изучает сердечно-сосудистые заболевания и пытается найти универсальное решение. И на самом деле все они сходятся в одном: универсальное решение есть, и это — движение.
Фантастический телескоп
Два года назад NASA запустило в космос уникальную инфракрасную обсерваторию, до сей поры невиданную — телескоп Джеймс Уэбб. Мы уже рассказывали об этом, но не грех и повторить, потому что это настоящее рукотворное чудо.