05 марта, пятница
  • Aurora,
  • Austra,
  • Георгий,
  • Евстафий,
  • Тимофей
Гороскоп
Опросы
Подписка
LAT
Поиск ПоискRSSFacebook Youtube InstagramЛента новостей
LAT


Гороскоп Опросы Погода
Подписка Конкурс сочинений Люблю! Люблю! Reklama.lv Reklama.lv telegraf.bb.lv Telegraf Программа Программа Видео Видео Facebook Facebook Instagram Instagram Google News Google News

Создана Машина Рамануджана с «интуицией» великих математиков

Размер текста Aa Aa
Техно / Гаджеты
Lenta.Ru 21:00, 9 февраля, 2021

Израильские ученые разработали алгоритмы для поиска математических формул в виде бесконечных дробей, в которых используются такие фундаментальные константы, как π или е. Подход назвали Машиной Рамануджана в честь гениального индийского математика Сринивасы Рамануджана, которому удавалось интуитивно получать сложные и чаще всего верные математические выражения, не доказывая их. Статья исследователей опубликована в журнале Nature.


Фото: Unsplash

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

В поиске гипотез было применено сочетание двух алгоритмов: разновидности метода встречи посередине (meet-in-the-middle algorithm) и алгоритма оптимизации типа градиентного спуска, адаптированного к рекуррентной структуре непрерывных дробей. Оба работают на основе перебора числовых значений, поэтому генерируют формулы без доказательств и не требуют предварительного знания о так называемой математической структуре (то есть как должно быть выстроено соотношение между элементами выражения). Однако эта методология может использоваться вместе с автоматизированным доказательством теорем.

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

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

Подписывайтесь на Телеграм-канал BB.LV! Заглядывайте на страницу BB.LV на Facebook! И читайте главные новости о Латвии и мире!
Комментарии (0)


Читайте также


Также в категории

Техно Названа дата открытия первого космического отеля

Компания Orbital Assembly объявила дату открытия первого космического отеля, который будет расположен на низкой околоземной орбите. Об этом сообщает CNN.

Техно Работу МКС решили продлить до 2028 года

Работа Международной космической станции (МКС) будет продлена до 2028 года. Об этом сообщил заместитель руководителя центра летной эксплуатации космических аппаратов и средств выведения Ракетно-космической корпорации (РКК) "Энергия" Юрий Гидзенко в четверг в интервью телеканалу "Россия 24".

Техно Изобретатель: Латвия поддерживает стартапы на словах, за грантами - в Брюссель

Провозглашенный Министерством экономики курс на инновации де-факто спотыкается через бюрократию, из-за чего реальные заявки на внедрение изобретений будут утекать в Брюссель, минуя Ригу. Такое предположение в программе “Подоплека” на радио Baltkom высказал изобретатель домиков-трансформеров Brette Haus Геннадий Бакунин.

Техно В WhatsApp для компьютеров появилась новая функция

В версии WhatsApp для компьютеров появилась новая функция — голосовые звонки. Об этом пишет ТАСС со ссылкой на заявление компании.

Читайте еще

Наша Латвия Где теперь латвийцам искать российские ТВ каналы: пошаговая инструкция

Жителям Латвии в одночасье отключили самые популярные российские телевизионные каналы. Среди них НТВ, Рен ТВ, «Россия» и еще 14 других. В результате люди лишились любимых программ. А замена, которую предлагают кабельные операторы, далеко не равноценная, пишет Press.lv. Попутно идет наступление на альтернативные средства связи, такие как интернет-ресурсы и спутниковое телевидение. Но заглушить сигналы не удастся, если только Латвия не пожелает воспользоваться опытом Северной Кореи, Ирана или Туркмении. Найти запрещенные телеканалы можно.

Спорт Губерниев извинился перед хотевшим снять с россиян скальп отцом финского лыжника
Спортивный комментатор Дмитрий Губерниев извинился перед отцом финского лыжника Йони Мяки. Губерниев заявил, что неправильно понял слова Теро Мяки о желании снять с россиян скальп, так как тот лишь имел ввиду, что финские лыжники продемонстрировали превосходство над отечественными спортсменами.
Наша Латвия Индивидуальный взгляд: очки из будущего уже в настоящем

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

В мире животных Рыбаки в океане выловили кенгуру

Недалеко от побережья Западной Австралии рыбаки спасли тонувшего в заливе Уилсона кенгуру, сообщает UPI.