|
16.07.2019 В Израиле ученые создали «машину Рамануджана»Компьютерный алгоритм, генерирующий математические гипотезы, создали сотрудники Израильского технологического института и Тель-Авивского отделения компании Google. Этот алгоритм получил название «машина Рамануджана» в честь индийского математика Сриниваса Рамануджана, который интуитивно получал конечные математические выражения, без применения каких-либо доказательств. Многие из полученных им таким образом формул были значительно позднее доказаны другими математиками. Фактически созданное учеными из Израиля устройство представляет собой целую сеть работающих с алгоритмами компьютеров. С технической точки зрения «Машина Рамануджана» представляет собой программу распределенных вычислений, которая итеративным образом находит выражения с цепными дробями, комбинируя алгоритмы встречи в середине и градиентного спуска. Оба алгоритма работают путем постепенного подбора все более точного численного значения, поэтому в результате получают лишь недоказанные формулы-гипотезы, которые люди позднее смогут анализировать и подтверждать. Уже сейчас новая программа нашла довольно внушительно количество новых цепных дробей, причем среди них оказались не только ранее известные, но также и абсолютно новые. По мнению разработчиков, создание такой машины даст новый импульс новым поколениям математиков, для которых теперь открывается обширное поле деятельности. А для популяризации своей работы, ученые создали специальный сайт, где все желающие могут начать сотрудничество. Источники:
|
|
|||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |