16.07.2019

В Израиле ученые создали «машину Рамануджана»

Компьютерный алгоритм, генерирующий математические гипотезы, создали сотрудники Израильского технологического института и Тель-Авивского отделения компании Google.

Этот алгоритм получил название «машина Рамануджана» в честь индийского математика Сриниваса Рамануджана, который интуитивно получал конечные математические выражения, без применения каких-либо доказательств. Многие из полученных им таким образом формул были значительно позднее доказаны другими математиками. Фактически созданное учеными из Израиля устройство представляет собой целую сеть работающих с алгоритмами компьютеров.

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

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

Источники:

1. planet-today.ru
2. nplus1.ru