Машина Рамануджана
Машина Рамануджана (англ. Ramanujan Machine) — созданная группой израильских учёных из Техниона и тель-авивского отделения компании Google компьютерная программа, которая автоматически генерирует математические гипотезы для фундаментальных констант.
Общие сведения[править]
О её создании было объявлено в июле 2019 года.
Названа в честь индийского математика Сриниваса Рамануджана Айенгора.
Является программой, которая самостоятельно находит представления математических констант, например e и π, в виде бесконечных цепных дробей. Иными словами, это компьютерный алгоритм[1].
Приводится следующее описание:
«Машина Рамануджана» является скорее концепцией, чем реальной машиной, — она существует как сеть компьютеров, работающих с алгоритмами, предназначенными для нахождения гипотез о фундаментальных константах в виде непрерывных дробей. Это доли бесконечной длины, в которых знаменатель равен сумме некоторого числа и дроби, у которой знаменатель так же представляет собой сумму числа и дроби и так далее. Цель машины состоит в том, чтобы придумать гипотезы (в виде математических формул), которые люди могут анализировать и затем подтверждать математически[2].
Цель — генерация множества гипотез, отображаемых в виде математических формул, которые учёные впоследствии будут анализировать и подтверждать. Программа обнаружила множество новых цепных дробей, в том числе неизвестных ранее.
Ознакомиться и поработать с программой можно на сайте ramanujanmachine.com — система применяет для своей работы распределённые вычисления, производимые на личных компьютерах пользователей.